{"entities":{"Q5713746":{"pageid":7743300,"ns":120,"title":"Item:Q5713746","lastrevid":48613762,"modified":"2026-01-05T09:39:36Z","type":"item","id":"Q5713746","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238996"}},"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":"Q5713746$AD80DB27-48EC-4D83-9FD2-458FDB32055B","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":"Q5713746$08E04911-1F12-4C0F-8FE5-C342802FF6FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7035129666194d5e2679556bee883e696f5ccb7","datavalue":{"value":"1128.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713746$FA2BEBF0-0227-45E2-9242-61CFA4CFE1AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef23a54b8a04b6fc3bdd290049f9743c5c4cf867","datavalue":{"value":{"entity-type":"item","numeric-id":3439116,"id":"Q3439116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713746$6261D836-B600-4F3A-9E94-BC2BFAE1C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29c904fe67dee7c3242a57c9c3a6b13a2575522c","datavalue":{"value":{"entity-type":"item","numeric-id":841947,"id":"Q841947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713746$5865DF41-59E3-4B2C-A93E-50025B148953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a644df4a4e50751f0ed1cfeba15d4b2804901a7a","datavalue":{"value":{"entity-type":"item","numeric-id":395020,"id":"Q395020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713746$848995BF-1E3E-433E-9350-227E5C69EC11","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":"Q5713746$56F3C2FD-97C6-46CE-884B-02E25FABC459","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":"Q5713746$6970483A-09CD-4614-A44C-67232CF99A2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713746$03FF0F66-7C21-4CAB-9A02-60E5ED756FC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea41df71dc6d02c4a51d3c3a57d238675b41b56f","datavalue":{"value":"2238996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713746$806F9BBC-597F-4D99-8C32-B272FC52BC54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713746$CB82380C-9261-440D-BC3F-DE60CD8843A5","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":"Q5713746$EB3E6D51-F25A-40A0-B1F2-91448A17F0D0","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":"Q5713746$81ADE427-1B63-4023-A71B-5591892539EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713746$7B089167-EFD9-4079-BCEE-231A72DD2EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713746$6F092D68-B958-4CC2-A591-B594104D10DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85570080ab34fdbedbd6a5b343bbe7b3b587d46","datavalue":{"value":{"entity-type":"item","numeric-id":3439117,"id":"Q3439117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b007e0d4e813d67e410faa061f2437bfabd89c4b","datavalue":{"value":{"amount":"+0.8369825482368469","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":"Q5713746$70A9D159-B7A9-40C9-8C71-C8DA9D6A5EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5452939a61f1a8f86d5a8eb4958d665e50e79c97","datavalue":{"value":{"entity-type":"item","numeric-id":5267998,"id":"Q5267998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6a1b2b6df4d64e7e2f92486064d055aa494a9d","datavalue":{"value":{"amount":"+0.8198516964912415","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":"Q5713746$D8BB72D2-792E-45AD-96A9-6C9794E555F0","rank":"normal"},{"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":"ebee0b9bc9b0f56924c5c11d8bee67ab647e0ed3","datavalue":{"value":{"amount":"+0.8190741539001465","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":"Q5713746$6A8203C2-6D7E-4329-A0BB-D9894D9E309B","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":"2a1d426ae221abbc8d855614a820ad44420b55e2","datavalue":{"value":{"amount":"+0.8095016479492188","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":"Q5713746$72882B63-A86C-4893-8A5C-646B714ADBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcce7491e3f3df09e83119df179120a07d033a0","datavalue":{"value":{"entity-type":"item","numeric-id":2749854,"id":"Q2749854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7877e52f7bb6d67e6d1c610d2ec332aacfdefb90","datavalue":{"value":{"amount":"+0.8036006093025208","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":"Q5713746$754905BB-1260-4BDD-B53B-C8A512AB53A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713746"}}}}}