{"entities":{"Q5713751":{"pageid":7743305,"ns":120,"title":"Item:Q5713751","lastrevid":48613777,"modified":"2026-01-05T09:39:36Z","type":"item","id":"Q5713751","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239001"}},"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":"Q5713751$B931E2EE-65E1-47EE-9C2C-04968C4F2374","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":"Q5713751$CF38C5C5-7AF9-4115-B3F0-0934A74FD66B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f0418067861cf2f35a26483fb9faa69eb57ec7","datavalue":{"value":"1128.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713751$BFAF0751-06FB-4285-A8F2-A0900D069E89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea246280c5eb4245575c165ce4390137ed45ebc","datavalue":{"value":{"entity-type":"item","numeric-id":479821,"id":"Q479821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713751$AE27A099-7D9C-4F16-A1DB-CC8A093BDFFD","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":"Q5713751$0CF8296C-6CA3-469E-84F3-26506B4B9253","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":"Q5713751$7517A304-834F-4976-A51C-209CB70F6D52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713751$D75E6F63-AA5B-4C93-8A57-FE15BE6796C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713751$0542223F-0FB8-4A65-8D4A-47BA0F3F9998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e08be5ebc60cb7d9696e04d0389d0bb1b15cc933","datavalue":{"value":"2239001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713751$20C5DC46-9C25-4438-9361-78592E576471","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":"Q5713751$E31D67CE-052E-49AA-A626-22637AC62482","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":"Q5713751$B1A5415E-DBD8-400B-8B69-C47591B151EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713751$3BB98BDA-DC65-499E-BD74-9809BBF4285B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713751$C7D27EF1-4E3F-4188-8F8C-06B05372E091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9e85c383fe41407b3aa61df74a39f4733a69a","datavalue":{"value":{"entity-type":"item","numeric-id":2746577,"id":"Q2746577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64aa9f9380d55401a027f37992e3f4457d63a9bd","datavalue":{"value":{"amount":"+0.7389557957649231","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":"Q5713751$00933284-ECD9-4BBB-A492-3B97768710AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83be064734b750ceffc13f0f209f54b77117acf2","datavalue":{"value":{"entity-type":"item","numeric-id":4427895,"id":"Q4427895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c53509d8c1470fc9345a9ddbef9bc372dbf8923","datavalue":{"value":{"amount":"+0.7100133299827576","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":"Q5713751$AA086656-4A0D-42F3-A13E-0D4AE38B0D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33649cfdba779cac12a1d78f063a7edb69d4e94","datavalue":{"value":{"entity-type":"item","numeric-id":4825215,"id":"Q4825215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab32d9a1db01877dd4acc1013006a66cefdce7d","datavalue":{"value":{"amount":"+0.7060863375663757","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":"Q5713751$E5FC9803-004F-4D8D-BDD1-0C94AB2D3DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d96b7548c1a7539d92f24bd1b60d54b5e9a694","datavalue":{"value":{"entity-type":"item","numeric-id":2783110,"id":"Q2783110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81db73493f2104c09d4aea469525419b77d5361d","datavalue":{"value":{"amount":"+0.7031571865081787","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":"Q5713751$0B7057BD-15AC-4A7D-99BC-0F898B85C64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd409c17aa4be5206703b529c25236352fd49eec","datavalue":{"value":{"entity-type":"item","numeric-id":3842661,"id":"Q3842661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c782a801f0af1d261c74e3d84f6988c44ea5abd3","datavalue":{"value":{"amount":"+0.7003040313720703","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":"Q5713751$A7CCEC43-5ACB-40A7-A26B-4BB44692DC32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713751"}}}}}