{"entities":{"Q5713719":{"pageid":7743273,"ns":120,"title":"Item:Q5713719","lastrevid":48613705,"modified":"2026-01-05T09:39:32Z","type":"item","id":"Q5713719","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238974"}},"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":"Q5713719$95057CA2-CBCF-4CC0-A3A0-08D1AEA8D332","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":"Q5713719$03B1A244-2909-4439-BCDA-AA6C0E3D64F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"407596b1a0c07c9045931f80469f25e7bce968e9","datavalue":{"value":"1128.03315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$C66FC3FC-F626-456A-8A74-BAE2D15B3B50","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":"Q5713719$B0172A08-FC7D-4ADE-A7E2-3156F4ED6BCC","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":"Q5713719$C99E6386-FAA5-4EC0-9557-5A7481A89835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$ADE7B3ED-8474-4149-8C9D-00DAE215F724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$53B43F16-026B-4699-8FD8-05CDC1803827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$FC164AF1-3F75-4FF3-9A82-83AD47F5C5EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d48de9add31960ff4f090de556beab2c5095498a","datavalue":{"value":"2238974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$ECDCF976-488C-4A4C-BAA3-2C1926EED37C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5713719$4CCE260A-BE47-45C3-814C-8E9F1D8EB683","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":"Q5713719$0F7B1F1B-301A-496F-B972-0188EA1E420D","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":"Q5713719$FE9F4328-715E-4A30-A447-1D694E72D5CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27cb569ce05ea7d5068f7c4c9e4a78f789eebc5b","datavalue":{"value":"W2497844642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$28B75292-C664-4533-9805-9CE7426CD227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1afac04859384005528f8a8d1ef4ab30dee60cfd","datavalue":{"value":"10.1007/B137280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5713719$61BB288E-2D58-406D-BEC2-1866E0F7F35A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015fddc83432beb7b3c4637431d6e17b8d478793","datavalue":{"value":{"entity-type":"item","numeric-id":5756556,"id":"Q5756556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42faa2f350ecf4de1f95a9d62b24d00bed05b99","datavalue":{"value":{"amount":"+0.8254702687263489","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":"Q5713719$51C4C44E-A5EB-438F-993D-ABE1B58E680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6625923aaad00ec3fac4f42e4a1a91e0e8dd7d0","datavalue":{"value":{"amount":"+0.7624172568321228","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":"Q5713719$B2AB1121-AFD1-4A1F-9708-AC163170B681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d0349cfc9513c4bd698c20c2329792e6b3faa8","datavalue":{"value":{"entity-type":"item","numeric-id":3181650,"id":"Q3181650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1be67ec23b684a0a338030c329bb17580e156a6","datavalue":{"value":{"amount":"+0.7548205256462097","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":"Q5713719$EBAC7AED-68B2-46CB-B199-89009B381EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a6c4493ca716a159faf277846dcca29f7ab368","datavalue":{"value":{"amount":"+0.751374363899231","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":"Q5713719$7A400554-8EE2-48A0-9CDD-89F1639CD960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46d5dfa63c64662a52760689daccf3b5abc30e","datavalue":{"value":{"entity-type":"item","numeric-id":647405,"id":"Q647405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce5247ba9167eeed08c3ef32957a8df3d80b636","datavalue":{"value":{"amount":"+0.7505816221237183","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":"Q5713719$18B35AC2-950F-4FF7-BFE7-E3CFD109F158","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5713719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5713719"}}}}}