{"entities":{"Q5713718":{"pageid":7743272,"ns":120,"title":"Item:Q5713718","lastrevid":48613702,"modified":"2026-01-05T09:39:32Z","type":"item","id":"Q5713718","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238973"}},"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":"Q5713718$408E3A66-21B9-45F1-9B37-F27B20B2F064","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":"Q5713718$EC53914D-EE96-45F6-8F11-2FC10C4340E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cf0a9a89c62c87100ee240f835ff2520080ebfe","datavalue":{"value":"1128.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713718$19BE5E42-0AD3-4A97-BCA4-887ABC046EFA","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":"Q5713718$5CCCBA30-5980-421F-AA29-382C2BA0C81F","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":"Q5713718$ADF4BD7E-ECC0-42C5-B4BD-B3ACEC90729A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713718$1963E18C-F4D9-4EB5-9D48-1795FDF8D809","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3810046ed494e994c2545d3cbfb4b48e65d81cbd","datavalue":{"value":"2238973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713718$5E49C216-2A26-407D-856E-E668B1F0BB9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b5161656e69d643faf651a358b50cd0dbe10fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1009315,"id":"Q1009315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713718$FA5717CC-B064-4FF0-8673-C6DFC708102F","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":"Q5713718$396784A4-DCD2-4657-BE69-0966C32E0A7B","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":"Q5713718$9D6808C1-72CD-42BB-B60E-183AE25F2293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713718$C0E6F223-8B73-411C-AB51-A1CA99A7CF3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713718$CC8BA947-B891-4893-ABAA-956E47C5D941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802d22372f080bacfbef67b6c47d7589651f3048","datavalue":{"value":{"entity-type":"item","numeric-id":930151,"id":"Q930151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5424cbdc4f72d7b0eb5a0056dc741bae959205b5","datavalue":{"value":{"amount":"+0.768886923789978","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":"Q5713718$89AF4CA4-5E05-4066-96B2-D2B9ED9AB176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcce7491e3f3df09e83119df179120a07d033a0","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e976620d2ee8e49146da09450d95987e891c2416","datavalue":{"value":{"amount":"+0.7618192434310913","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":"Q5713718$4B2107DA-C131-4C81-A517-28C97926627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a658ab11c892389c1e0a3a75b8544b8d514abf6","datavalue":{"value":{"entity-type":"item","numeric-id":5958635,"id":"Q5958635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3e164d002d3d5746b0f5e327eed501f4daf1e5","datavalue":{"value":{"amount":"+0.7597934603691101","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":"Q5713718$99E3B1C3-1B17-42B6-9C8D-E9F04FD9A540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56269419517fdbbf368cf98297e5e34da18a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb33b43564967cb3e6721aa1cad8fa2e1bd61fe1","datavalue":{"value":{"amount":"+0.7547035813331604","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":"Q5713718$E49B10F4-2652-4C9E-AE4F-6793A2DBC5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef04500975d5d588d8e907758698790320bc544b","datavalue":{"value":{"entity-type":"item","numeric-id":2749857,"id":"Q2749857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e388746a5c232bf7b32e3bc68fe6e016439a02","datavalue":{"value":{"amount":"+0.7536986470222473","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":"Q5713718$6CF53566-D28B-4B58-A4B1-8644F2285C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713718"}}}}}