{"?xml":{"@version":"1.0"},"edm:RDF":{"@xmlns:dc":"http://purl.org/dc/elements/1.1/","@xmlns:edm":"http://www.europeana.eu/schemas/edm/","@xmlns:wgs84_pos":"http://www.w3.org/2003/01/geo/wgs84_pos","@xmlns:foaf":"http://xmlns.com/foaf/0.1/","@xmlns:rdaGr2":"http://rdvocab.info/ElementsGr2","@xmlns:oai":"http://www.openarchives.org/OAI/2.0/","@xmlns:owl":"http://www.w3.org/2002/07/owl#","@xmlns:rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","@xmlns:ore":"http://www.openarchives.org/ore/terms/","@xmlns:skos":"http://www.w3.org/2004/02/skos/core#","@xmlns:dcterms":"http://purl.org/dc/terms/","edm:WebResource":[{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:doc-FGJTD77Q/47ea9540-f028-4398-8436-922a79359158/PDF","dcterms:extent":"355 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:doc-FGJTD77Q/fe341def-d4d0-4063-91e4-1a38b4812432/TEXT","dcterms:extent":"27 KB"}],"edm:TimeSpan":{"@rdf:about":"1977-2026","edm:begin":{"@xml:lang":"en","#text":"1977"},"edm:end":{"@xml:lang":"en","#text":"2026"}},"edm:ProvidedCHO":{"@rdf:about":"URN:NBN:SI:doc-FGJTD77Q","dcterms:isPartOf":[{"@rdf:resource":"https://www.dlib.si/details/URN:NBN:SI:spr-EE5UIE2V"},{"@xml:lang":"sl","#text":"Informatica (Ljubljana)"}],"dcterms:issued":"2013","dc:creator":["Al-Yahya, Tasniem Nasser","Menai, Mohamed El Bachir"],"dc:format":[{"@xml:lang":"sl","#text":"številka:3"},{"@xml:lang":"sl","#text":"letnik:37"},{"@xml:lang":"sl","#text":"str. 245-251"}],"dc:identifier":["ISSN:0350-5596","COBISSID:277358592","URN:URN:NBN:SI:doc-FGJTD77Q"],"dc:language":"en","dc:publisher":{"@xml:lang":"sl","#text":"Slovensko društvo Informatika"},"dc:subject":[{"@xml:lang":"sl","#text":"Boolove enačbe"},{"@xml:lang":"sl","#text":"CNF"},{"@xml:lang":"sl","#text":"informatika"},{"@xml:lang":"en","#text":"information science"},{"@xml:lang":"sl","#text":"PMSAT"},{"@xml:lang":"sl","#text":"rešljivost"},{"@xml:lang":"sl","#text":"umetna inteligenca"},{"@rdf:resource":"http://www.wikidata.org/entity/Q407816"}],"dcterms:temporal":{"@rdf:resource":"1977-2026"},"dc:title":{"@xml:lang":"sl","#text":"Influence of CNF encoding of AtMost-1 constraints on UNSAT-based PMSAT slovers|"},"dc:description":{"@xml:lang":"sl","#text":"Revija Informatica je mednarodni časopis za računalništvo in informatiko, izhaja četrtletno in je glasilo, ki interdisciplinarno povezuje raznovrstna področja informatike. Revija izhaja od leta 1977 in jo izdaja Slovensko društvo Informatika"},"edm:type":"TEXT","dc:type":[{"@xml:lang":"sl","#text":"znanstveno časopisje"},{"@xml:lang":"en","#text":"journals"},{"@rdf:resource":"http://www.wikidata.org/entity/Q361785"}]},"ore:Aggregation":{"@rdf:about":"http://www.dlib.si/?URN=URN:NBN:SI:doc-FGJTD77Q","edm:aggregatedCHO":{"@rdf:resource":"URN:NBN:SI:doc-FGJTD77Q"},"edm:isShownBy":{"@rdf:resource":"http://www.dlib.si/stream/URN:NBN:SI:doc-FGJTD77Q/47ea9540-f028-4398-8436-922a79359158/PDF"},"edm:rights":{"@rdf:resource":"http://rightsstatements.org/vocab/InC/1.0/"},"edm:provider":"Slovenian National E-content Aggregator","edm:intermediateProvider":{"@xml:lang":"en","#text":"National and University Library of Slovenia"},"edm:dataProvider":{"@xml:lang":"sl","#text":"Slovensko društvo Informatika"},"edm:object":{"@rdf:resource":"http://www.dlib.si/streamdb/URN:NBN:SI:doc-FGJTD77Q/maxi/edm"},"edm:isShownAt":{"@rdf:resource":"http://www.dlib.si/details/URN:NBN:SI:doc-FGJTD77Q"}}}}