{"entities":{"Q5713743":{"pageid":7743297,"ns":120,"title":"Item:Q5713743","lastrevid":48613753,"modified":"2026-01-05T09:39:35Z","type":"item","id":"Q5713743","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238993"}},"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":"Q5713743$E80926DE-6A6F-412F-9370-B42BC55B5FAE","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":"Q5713743$74795425-A73E-46FB-904B-4C2BA8AAB556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe013fb4bf498256ee7f63e5e39f4d33ceaa67c9","datavalue":{"value":"1128.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713743$E024C578-625F-486E-879F-987CD26A532E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a8ceece294270cdd3e0740817fe33ec4f8e10a","datavalue":{"value":{"entity-type":"item","numeric-id":862391,"id":"Q862391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713743$CCD38E05-CF4A-48AE-808D-324E1DAEE9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713743$237B15C1-67B0-4B68-881D-CAB5809BDE49","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":"Q5713743$053D52B6-92CD-424A-87A1-9C6B4B619EA8","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":"Q5713743$24ECC77F-720C-4761-ACF7-2C431491FEBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713743$FF3D1A6D-82F1-497E-88C5-294669931187","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388a17b150d630c43915c1504070c05b05da5b70","datavalue":{"value":"2238993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713743$DBC8084F-0189-431C-BE69-7F36B87B36A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713743$04B38DAB-9C3A-48F5-9582-8005292883DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713743$E99437F7-3568-4413-97A8-BE7BEF266A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713743$D9EB9FA2-9336-40E8-935C-3F8FB2A2C1EA","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":"Q5713743$B38F7DAA-D46B-47AA-8912-1507BF596A11","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":"Q5713743$64F897DF-62F2-4FCD-8B43-DE32005B3212","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713743$A06E9584-FACF-4F2B-8F9C-8196F81C37C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713743$318F9F6D-6EE2-485C-B79C-B4FB8127C5E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9eeda9f73782e09848b91a1fdb327b808a01d9","datavalue":{"value":{"entity-type":"item","numeric-id":5899116,"id":"Q5899116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751483bd948e7139968cfb2e13281390db044fb7","datavalue":{"value":{"amount":"+0.7664406895637512","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":"Q5713743$4C1CA432-40B6-481E-9C20-EBE691C39D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066a1a9083166a3b36a7678e275b10a31c0153e9","datavalue":{"value":{"entity-type":"item","numeric-id":3429155,"id":"Q3429155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9b01e04f3aacfb1c0df1f05380700685a6310e","datavalue":{"value":{"amount":"+0.7494626641273499","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":"Q5713743$86FABCD2-C3AF-4DBF-AB40-FE2330337665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7f470638441c8536e9acea9af09605fb53b201","datavalue":{"value":{"entity-type":"item","numeric-id":5406224,"id":"Q5406224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f10023f8c00237809b905dbe30008d1a2288924","datavalue":{"value":{"amount":"+0.7449543476104736","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":"Q5713743$DDF6C944-307D-484A-B79D-37A59651526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ec5decd8a2de4ba0bffe506f6c78a70150606d","datavalue":{"value":{"entity-type":"item","numeric-id":5377330,"id":"Q5377330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e05d516c073f509e6f7d9e04eb63849d6f1209","datavalue":{"value":{"amount":"+0.7391102313995361","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":"Q5713743$00DDF601-D069-4D9C-8C3F-D7C62B1CA409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313862bf8c9f4fc6d70623982b9ceff5538d0978","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de89f72804713dd91799cd0c3b3702151eed0f19","datavalue":{"value":{"amount":"+0.7390609979629517","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":"Q5713743$4242312A-DBB2-410A-9558-0197526EB603","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713743"}}}}}