{"entities":{"Q5713752":{"pageid":7743306,"ns":120,"title":"Item:Q5713752","lastrevid":48613780,"modified":"2026-01-05T09:39:36Z","type":"item","id":"Q5713752","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239002"}},"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":"Q5713752$A0C34426-3866-4CCE-9EDD-3245C2DC215B","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":"Q5713752$D19CF617-9686-4BD0-9AE3-E19F0BF515C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39079f2953ab714e4cdbfe06371563d16b1d8596","datavalue":{"value":"1128.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$56ED0B71-926F-4F24-9C32-39AC74C048CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713752$3A995DE4-5D57-4480-A92C-A76E19383888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cb96374a43f3f14d8cd16b2e37b388cb6e41289","datavalue":{"value":{"entity-type":"item","numeric-id":186236,"id":"Q186236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713752$546C6027-8E5C-4901-A80B-D1B9A6F3DC53","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":"Q5713752$94704444-38AA-43A8-BA72-3389E3F84F08","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":"Q5713752$22581AEA-8790-46CE-9D5D-FB0FF4D3AB76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$DBFE39E1-35C5-4C4F-8241-D4B28354B8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$AE6EBE76-AAB2-4867-9565-EE224ACEB8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$D8ECB5E8-EBB5-4C78-9D07-3D1490B38E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b1c67d8f63233f787c5f2c2504e82b6e4986ae8","datavalue":{"value":"2239002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$0EA854C0-3CEA-49B9-B63F-49B7BAE5D128","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":"Q5713752$16DB58CF-D0C6-4CE7-B3F5-2011546083DA","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":"Q5713752$8091F543-B599-43CA-99FC-C6853D2734C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$FF2AC5A8-ECC0-4857-A7CE-74CA9C13B3D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713752$60B29DE6-AA82-4ED4-BE5F-5CB2921654A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb4fa602d1fe7268a66c26f1b414c1ae252a999","datavalue":{"value":{"amount":"+0.7815551161766052","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":"Q5713752$7F92B736-694F-4D73-8319-C61F1689E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc356a18244e2efa65bc6e99caf8f44b86aa243","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72d1e696ecae517fc32a255509043e21c031652","datavalue":{"value":{"amount":"+0.7749545574188232","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":"Q5713752$C48F54A1-7326-4BE9-BBE5-9D27BD36840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206a24395fa24929e2a73548c67f01336c918229","datavalue":{"value":{"entity-type":"item","numeric-id":5212799,"id":"Q5212799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c5b9895b7ff12db77045f23c0cde0b5fb3b0b8","datavalue":{"value":{"amount":"+0.7691159844398499","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":"Q5713752$F5D1EB4F-5F77-4B36-B632-7B0711C9FB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab6960da7e50f78b8d3505d37f4c632463913d8","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33d4d82dba8e09bcacc1def1997147d484a3d8f","datavalue":{"value":{"amount":"+0.7664821743965149","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":"Q5713752$127686AC-3483-4DB7-9025-59D32B6CF916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965c98c40b11cd23ef6f57cc4a94dc8f72992b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2946386,"id":"Q2946386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5ab92e47c264c9a18ab35976cea4def171b5f1","datavalue":{"value":{"amount":"+0.7531402707099915","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":"Q5713752$4B4D2630-A0C5-445B-B29D-40B7BB59126A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713752"}}}}}