{"entities":{"Q5713747":{"pageid":7743301,"ns":120,"title":"Item:Q5713747","lastrevid":48613765,"modified":"2026-01-05T09:39:36Z","type":"item","id":"Q5713747","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238997"}},"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":"Q5713747$0773498A-94B7-485E-A564-0B67B7F2005F","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":"Q5713747$94B03147-3655-44BE-907D-6E22C390F750","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b1100ba49cf60007e834ef05db397f6ae6fefd","datavalue":{"value":"1128.68488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713747$132F00BF-9980-4556-865E-ECD52CE4E82B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde83ede530e1fe1cb9a964c0ec29389b0cef5c8","datavalue":{"value":{"entity-type":"item","numeric-id":3390242,"id":"Q3390242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713747$1A741169-2C4A-435F-964B-50724F76DBA8","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":"Q5713747$CBC02E5F-3938-4A85-AAE6-B6CD046A9F2A","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":"Q5713747$D12390DD-E646-40CA-A86C-8CAF97C26EE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713747$B46C43B1-1A2D-455A-BFB9-F50C59DB601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713747$1A4D554F-6BED-4F30-8123-E4F701C990E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb5c4eab81073052eb2e35e8778c74a8b105ebd","datavalue":{"value":"2238997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713747$7962AF8F-43B2-4DB6-AEA2-48A11DEE6BAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713747$A0FED375-B71E-468F-B875-20F8F82CDEDC","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":"Q5713747$7131ED98-46E3-451C-A6CF-ACA5A1C4AAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713747$CCB9C47A-DA35-4421-886E-C9168A5E48C6","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":"Q5713747$430480E2-EE9D-4C65-BA5F-FA34B1CDD987","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":"Q5713747$642AE929-CDC2-4890-910D-1B3717E1B5E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713747$D720A4CF-19BE-41D5-AEEA-93B5E52CBC99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713747$66C750E7-977D-478E-A9B6-6B5E1FAAE4DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7d4f963e6140eee104f8bc9927781326d99f0","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a5829a4ff7675de34fce4424559ee02f8c9be6","datavalue":{"value":{"amount":"+0.8252573609352112","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":"Q5713747$AA7E0005-8E10-4776-9A67-8824A23D4353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4269f24f54f163866a6d0eb10fc176bfd58f3a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb634c8115be30f2bfb19731f6bf047abc312f8a","datavalue":{"value":{"amount":"+0.8147175312042236","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":"Q5713747$EE275FC4-B24C-4767-850F-01AF7FA2EBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788f0a16c79ab56e04ce284ffb35c3613ed56c1d","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552041e21aefc37560331e35d67d72537ad6cca0","datavalue":{"value":{"amount":"+0.7619166374206543","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":"Q5713747$60F8433A-B802-4FC5-9619-80954D248914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315c16449054fae5c1ee179ce36cf29449155eeb","datavalue":{"value":{"amount":"+0.7443270683288574","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":"Q5713747$B2009B2B-C632-4195-B1C8-D58FDA078B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1e351da301eda941a9aed31b0663af6c948af","datavalue":{"value":{"entity-type":"item","numeric-id":3453233,"id":"Q3453233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811f009b3962635671221edf74a226fefb4ed0c9","datavalue":{"value":{"amount":"+0.7432829737663269","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":"Q5713747$B1235ED5-5D86-4681-993E-CF0D765AD076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713747"}}}}}