{"entities":{"Q5713749":{"pageid":7743303,"ns":120,"title":"Item:Q5713749","lastrevid":48613771,"modified":"2026-01-05T09:39:36Z","type":"item","id":"Q5713749","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238999"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713749$DC40B48A-4C89-4B91-817C-FE0043157646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af242482719519b4548624feb679f823aedd048a","datavalue":{"value":{"text":"Theory and Applications of Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5713749$B0CCC8DE-6D83-434E-B67E-FB68EE421B67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af47923df85503798d3a2b9ef28ed3f26231dd73","datavalue":{"value":"1128.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$618D1E13-934E-4C04-B455-1C235D8FC5BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713749$3FE3B0FE-D9CD-439C-9A22-951577DDB250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20891ef55d2a5c027c71fa5443ab52ee86634717","datavalue":{"value":{"entity-type":"item","numeric-id":647333,"id":"Q647333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713749$46612578-16CC-4A5F-ABEC-F63D9E08D5FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713749$E81F607B-FF76-4E42-B66D-0724BCC3AB35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b520865fd883bc73fc620b09c86f160900096aa","datavalue":{"value":{"time":"+2005-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5713749$44CC4DBE-77D2-4065-A4C4-BDB4620FACA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$9F2B40AC-51DD-4A7F-958F-4A0772CA1791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$3B6D51ED-B3D4-408D-8CE1-B2AFC3966F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$27ACDC6E-AF5A-4278-9F70-129F63DF3471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9969ce71e65cc848ce7bf09ee775fc300f8f60e2","datavalue":{"value":"2238999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$3AFE228F-170B-4719-B953-84F2F6382706","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713749$CE2A63DF-FDED-45EA-BF07-6E6EA5E43966","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64dc5720e0a37f50535f68f0b7d0dea92dd100ee","datavalue":{"value":"https://doi.org/10.1007/b137280","type":"string"},"datatype":"url"},"type":"statement","id":"Q5713749$42A20B5F-1CE8-4072-AB2B-A2AAA063E10A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$5A33A004-A10D-4DA9-9D1D-501764F10EF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713749$A009568B-02FE-410A-B6D8-36151917345D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25a3951c02329823d9875c35ea89767b3602616","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9e54da97137470fe9de3de1704a74a786863ea","datavalue":{"value":{"amount":"+0.8265334367752075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713749$5E27E3C6-11A0-4044-A06C-8F3388C7819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f397caa0aec546306f9003bf30eeecb943765bb","datavalue":{"value":{"amount":"+0.8240746259689331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713749$1116825D-7CFA-4865-AC0F-1C4702CB5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90f4037e4d371ccce702432c153e6fa4ce53872","datavalue":{"value":{"amount":"+0.8033481240272522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713749$449C7395-C8BA-4217-AAE1-277A83219199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb467cd5a4cfa833248dd944fc5fa4949416df33","datavalue":{"value":{"entity-type":"item","numeric-id":2946664,"id":"Q2946664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b07ceb5efefb6d49828dd95489f2efa9b965ecd","datavalue":{"value":{"amount":"+0.7987998127937317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713749$3F3FB487-50CF-4467-A1E9-5957DC4F61CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3a88331ccffb7f9225eda682324093981fedba","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b85bc42adc319a2164ee2b30ac97dbbf0be36f","datavalue":{"value":{"amount":"+0.7937301993370056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5713749$2A991B8D-100B-445A-8288-9CA0C58E9EAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713749"}}}}}