{"entities":{"Q5713708":{"pageid":7743262,"ns":120,"title":"Item:Q5713708","lastrevid":48613504,"modified":"2026-01-05T09:35:15Z","type":"item","id":"Q5713708","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238965"}},"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":"Q5713708$906F946F-7C25-45D9-A105-58666A0856E9","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":"Q5713708$65E1C353-0948-43E5-AB45-66F81DE66809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"186f0958a52be74ac8106fd9d89b7b271761658f","datavalue":{"value":"1128.68473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$F8041E59-C7A6-43D5-A266-A44C92E14A4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529723ee5f6982b56cdb7507d9245342c9f966b8","datavalue":{"value":{"entity-type":"item","numeric-id":272006,"id":"Q272006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713708$2765357E-58C4-4A18-A13C-FE2F12482B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713708$E49DD349-01AE-48F0-9FFA-A53248327A0D","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":"Q5713708$27E2958E-F2C8-4331-B5FC-0A15ECD8779A","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":"Q5713708$47C82933-A749-46E5-93D7-6D0E52EF6706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$CABFC136-3740-4CD2-82E2-93083E4E2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$EF9344AA-EBE8-4A68-B258-668F23F2EA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$F7A53EBB-EA34-447E-B2BD-0B49C15197D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9b93c8b6d496d42046ef7cfdf93ba4ba217c6ab","datavalue":{"value":"2238965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$0E8DBEB9-095C-4467-9A65-66A30A20B155","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713708$F77955E4-3435-4436-9517-7870B50964E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713708$4156AA61-38A9-4244-8398-0A9F3D74F94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713708$FDFFC568-0DD2-484C-A82D-DFDFFF14C2B1","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":"Q5713708$6CB55B14-FE01-4A97-A3C6-CF415256450C","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":"Q5713708$F9CD9519-2B9A-47F3-9F7A-AE6B271DC27B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$953E425D-E5A4-42ED-9FE4-224A3433677E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713708$4CB4FD29-FBF4-4652-A5C4-D24367C0BB28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0244e38e380e10f0bd0fd463e93642af90322e05","datavalue":{"value":{"amount":"+0.8863542675971985","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":"Q5713708$E5FD73EC-2825-433C-88D0-37807CCD235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e919585733e4e0e444af90ed3a2b761251c84723","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377083872a735f0483ead3a5a37ae3987f6efc1b","datavalue":{"value":{"amount":"+0.8798008561134338","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":"Q5713708$ABC1837C-B4E2-4E23-8673-E8BD3EA6AB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dfa35810581070e46f5460196bbfa0b7cfee83","datavalue":{"value":{"entity-type":"item","numeric-id":4473049,"id":"Q4473049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4c5f87bc263187858de1fb22084fdd40885654","datavalue":{"value":{"amount":"+0.8728035092353821","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":"Q5713708$5FCD8098-4230-4946-9E54-F802050AF77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9557bfd0102b2b6f1ac660476e81b4600f223ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3502716,"id":"Q3502716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a400cbd3c562ae739e02c35771b9241a01aaa84","datavalue":{"value":{"amount":"+0.8657578229904175","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":"Q5713708$2160B648-60D4-4116-90E0-FC873EF387D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d78e76115a51ba3497ed472251f0345044b210e","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318cb4b7e11860db1215e7e8d66ce553ce2ad361","datavalue":{"value":{"amount":"+0.8601659536361694","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":"Q5713708$A6220C79-FFD8-4095-9557-40616B0AB330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713708"}}}}}