<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="http://www.bibsonomy.org/group/big"><title>BibSonomy publications for /group/big</title><link>BibSonomypublrss/group/big</link><description>BibSonomy RSS feed for /group/big</description><dc:date>2012-02-15T10:56:28+01:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/big"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/24cf0e8d82edc8a41b1678926837adeee/big"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/289bbe854d1d4f5ca38200777e63a720d/big"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/big"><title>A Solver for QBFs in Nonprenex Form: Overview and Experimental Results</title><link>http://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/big</link><dc:creator>big</dc:creator><dc:date>2008-12-18T09:41:24+01:00</dc:date><dc:subject>imported </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Egly&#034;&gt;Uwe Egly&lt;/a&gt;, &lt;a href=&#034;/author/Seidl&#034;&gt;Martina Seidl&lt;/a&gt;,  and &lt;a href=&#034;/author/Woltran&#034;&gt;Stefan Woltran&lt;/a&gt; &lt;/span&gt;&lt;em&gt;Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/imported"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/24cf0e8d82edc8a41b1678926837adeee/big"><title>SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.</title><link>http://www.bibsonomy.org/bibtex/24cf0e8d82edc8a41b1678926837adeee/big</link><dc:creator>big</dc:creator><dc:date>2008-12-16T22:09:10+01:00</dc:date><dc:subject>SmartMatcher </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Kargl&#034;&gt;Horst Kargl&lt;/a&gt;,  and &lt;a href=&#034;/author/Wimmer&#034;&gt;Manuel Wimmer&lt;/a&gt; &lt;/span&gt;&lt;em&gt;CISIS, &lt;/em&gt;&lt;em&gt;page 879-885. &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/SmartMatcher"/></rdf:Bag></taxo:topics><description>dblp</description></item><item rdf:about="http://www.bibsonomy.org/bibtex/289bbe854d1d4f5ca38200777e63a720d/big"><title>How Web 2.0 can Leverage Model Engineering in Practice.</title><link>http://www.bibsonomy.org/bibtex/289bbe854d1d4f5ca38200777e63a720d/big</link><dc:creator>big</dc:creator><dc:date>2008-12-16T12:22:37+01:00</dc:date><dc:subject>MetaModelbrowser </dc:subject><content:encoded>&lt;span class=&#034;authorEditorList&#034;&gt;&lt;a href=&#034;/author/Wimmer&#034;&gt;Manuel Wimmer&lt;/a&gt;, &lt;a href=&#034;/author/Schauerhuber&#034;&gt;Andrea Schauerhuber&lt;/a&gt;, &lt;a href=&#034;/author/Strommer&#034;&gt;Michael Strommer&lt;/a&gt;, &lt;a href=&#034;/author/Flandorfer&#034;&gt;Jürgen Flandorfer&lt;/a&gt;,  and &lt;a href=&#034;/author/Kappel&#034;&gt;Gerti Kappel&lt;/a&gt; &lt;/span&gt;&lt;em&gt;DSML, &lt;/em&gt;&lt;em&gt;volume 324 of CEUR Workshop Proceedings, &lt;/em&gt;&lt;em&gt;page 31-44. &lt;/em&gt;&lt;em&gt;CEUR-WS.org, &lt;/em&gt;(&lt;em&gt;2008&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/MetaModelbrowser"/></rdf:Bag></taxo:topics><description>dblp</description></item></rdf:RDF>
