{"entities":{"Q5713737":{"pageid":7743291,"ns":120,"title":"Item:Q5713737","lastrevid":48613741,"modified":"2026-01-05T09:39:34Z","type":"item","id":"Q5713737","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238989"}},"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":"Q5713737$8E2F10A5-99A2-44E4-BC7C-8458FE10132B","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":"Q5713737$17905052-C6F6-4D8E-94D4-1B736A7BCE89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a5adf6633730f0583ea61d89bd9a1fa130c73f8","datavalue":{"value":"1128.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713737$3630D02A-CE7D-4038-AEDA-AD10B3CFB73C","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":"Q5713737$DFB24D39-C8B6-455E-8796-3F1B7A97514D","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":"Q5713737$CFB28B96-9C23-4A11-8CB9-E958AE1F0529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713737$6596E9DF-867D-486F-8B8B-2E55BEC3D2F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8272c861718f81cc78ae9a331537ed3883fa9d5","datavalue":{"value":"2238989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713737$D2D266B4-253F-43AE-83F5-23FA67370412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"063157bf65bc20e92e5fe70d62bf6e86c4c12861","datavalue":{"value":{"entity-type":"item","numeric-id":1625134,"id":"Q1625134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713737$F2376801-1F4C-49F7-A447-7B289FD4A896","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":"Q5713737$F8456537-8CCE-47C5-A450-7413A2F58A36","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":"Q5713737$62DFAF5E-743F-4781-BCEC-1155323DA46D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713737$3BD8DC67-1CE8-4B65-9242-7FF2F93BBCD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713737$A9A03C3E-E4CB-48BB-A1C3-2EB1A222405A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fbd8b20a0d5e16077812f2e9f70430654902d94","datavalue":{"value":{"entity-type":"item","numeric-id":5460921,"id":"Q5460921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2c486f52a19c56e4ca340732d8b75b00134947","datavalue":{"value":{"amount":"+0.8609551191329956","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":"Q5713737$830E1E9A-3431-475D-8494-B4CBAD352406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c8b5b951712fe89d02247ba793aed62253a69e","datavalue":{"value":{"entity-type":"item","numeric-id":5311517,"id":"Q5311517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128571532a2962827ef383f767a5cb71e3afbbfc","datavalue":{"value":{"amount":"+0.8472814559936523","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":"Q5713737$6B33D338-3A7B-48C6-8B45-9B8DD16F85AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d4b832dcced774bee8e907a04090e6f44ff42","datavalue":{"value":{"entity-type":"item","numeric-id":2749858,"id":"Q2749858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f484568fabdb5931769bc441a06ec676516019","datavalue":{"value":{"amount":"+0.8073837757110596","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":"Q5713737$BC7650B1-2767-4180-A03B-64EEFE7FE518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cb7fed5dc8e819720448a70301ce5b7029eea","datavalue":{"value":{"entity-type":"item","numeric-id":3499776,"id":"Q3499776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f484568fabdb5931769bc441a06ec676516019","datavalue":{"value":{"amount":"+0.8073837757110596","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":"Q5713737$A077B4DC-271D-4BBC-9172-A319447A3DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da09072ba16986a4daf17cdd80049c123546b75","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171f0fb2462c2922a84dc019049bd372d3dfdca5","datavalue":{"value":{"amount":"+0.8068280816078186","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":"Q5713737$E9D52F90-AFAC-4091-AE0B-ECC05EC1284E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713737"}}}}}