{"entities":{"Q5714749":{"pageid":7744303,"ns":120,"title":"Item:Q5714749","lastrevid":41208274,"modified":"2025-04-19T11:25:45Z","type":"item","id":"Q5714749","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239202"}},"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":"Q5714749$0C571BE3-C9B2-4A70-B3D7-ED0E630C93F9","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":"Q5714749$F0F15ADF-A2D1-4CC7-B4F9-71D42716624E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59396aa9c5754f9a4020584fdeb6f9968870d4d9","datavalue":{"value":"1122.68602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714749$34D50731-57D3-4FDA-ABB4-E0E3E3C1DC1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714749$2E38E846-AAAA-484E-91F6-4C39D59D9FD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"193320f327ae4d3c6cc05cdb97f90cf8ab3715dd","datavalue":{"value":{"entity-type":"item","numeric-id":862409,"id":"Q862409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714749$229BA994-6F11-415F-84C1-8020D5462295","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":"Q5714749$9F7415C9-5B27-4A30-A584-A2C02CDA3861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5714749$8BBC6BE9-9FC9-4479-91E5-3CA8727F3D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714749$648FF34D-5E0D-41D7-962E-2CAE9904B07F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81a3707efc1f842892800df17a654aeec47b5b3c","datavalue":{"value":"2239202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714749$7CAF2EFF-4D07-4EE8-B931-F045CF805134","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":"Q5714749$BB93E151-BD8F-4AAB-9271-CB119696B8D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714749$1AE61FC2-680C-47B0-B60E-CC2122BD009C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714749$43A4D086-50AB-4AF9-8E75-E2DC1CBAF2DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fe182f2824d587b4639896ebe1ffc6bd8ade68","datavalue":{"value":{"entity-type":"item","numeric-id":4229151,"id":"Q4229151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06495a1cf56b60cf26a457a8133fff057315134","datavalue":{"value":{"amount":"+0.9407623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$EBE5EE7F-5651-488C-BF83-3686825E6A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c4efc956ffaa3a08d46dc8a3d080374a331004","datavalue":{"value":{"entity-type":"item","numeric-id":4524463,"id":"Q4524463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414bc870fcd72cfc3e950429feea12d130927f1e","datavalue":{"value":{"amount":"+0.9314424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$7656F654-73D2-4926-AF28-C6C2646C2188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e594ce052884f75c999015bb2f323729e835a015","datavalue":{"value":{"entity-type":"item","numeric-id":5313018,"id":"Q5313018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9091e5119c508de3734bcfc03cc2814cf4008fd8","datavalue":{"value":{"amount":"+0.9313419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$D839F4D5-C3D9-4B9F-BBA1-AB5A7FB07777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a74852a946417e17fb84c7771c4cbe5bbd791b7","datavalue":{"value":{"entity-type":"item","numeric-id":3129924,"id":"Q3129924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9250dabc30fedf53cb08e2b51cfa3ee5a41b2719","datavalue":{"value":{"amount":"+0.92624813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$CF6552A8-EAA4-4434-951C-89436FEDF59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ac7b34fa770669b9357ceb30a82e3f7751ffd8","datavalue":{"value":{"entity-type":"item","numeric-id":4375642,"id":"Q4375642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9250dabc30fedf53cb08e2b51cfa3ee5a41b2719","datavalue":{"value":{"amount":"+0.92624813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$6FDE114C-7E85-4BBA-9D16-763BA358A2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860aa1507f229dcc38f76e60cea7e79578ab6775","datavalue":{"value":{"entity-type":"item","numeric-id":4247437,"id":"Q4247437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ff8e33f02d7024a33cf7776589f1838f8a3efc","datavalue":{"value":{"amount":"+0.92553806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$265584FA-2CB3-43CE-B128-EF72F9390867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b50193cc4d7f3854f5bd152b70c13c55f857ac","datavalue":{"value":{"entity-type":"item","numeric-id":5405076,"id":"Q5405076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf698799f1bee6f9bacfdbb1ad5df703c1c8dd7","datavalue":{"value":{"amount":"+0.92444503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$17B06F84-40F6-4F55-914E-E718B47E5CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cc790a3ed13be41e4f0f1941c000da147799a8","datavalue":{"value":{"entity-type":"item","numeric-id":877837,"id":"Q877837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05467f37ddb645cdb47cf76ebb402cf7966b23a1","datavalue":{"value":{"amount":"+0.9231399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$078BF25A-2E8E-4240-9EC2-41D4258D243B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd93331c11a7ad169a21b98a09d878f83c40384a","datavalue":{"value":{"entity-type":"item","numeric-id":4600615,"id":"Q4600615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f697b687a42a14aab79e9207406988e785fe7782","datavalue":{"value":{"amount":"+0.9191327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5714749$CF0DC104-40A9-4A8D-A97C-05A15E77BA4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714749"}}}}}