{"entities":{"Q5191115":{"pageid":7220687,"ns":120,"title":"Item:Q5191115","lastrevid":50728742,"modified":"2026-01-14T23:14:07Z","type":"item","id":"Q5191115","labels":{"en":{"language":"en","value":"Automated Inference of Finite Unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587952"}},"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":"Q5191115$711985C1-0D45-452F-A0A7-E64F4435937B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6709da3ad51d1887703ccfd28cdcb0a6214aa7d1","datavalue":{"value":{"text":"Automated Inference of Finite Unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191115$57D0854C-8F4F-4DBE-806C-23D03352CD6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dca07036ab90b839fab3073482062f045b98572b","datavalue":{"value":"1237.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191115$17D8E085-E6E9-4BF6-82EB-89B0916F2E4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c61120afc58726be0e49acc8386066fa1dc23746","datavalue":{"value":"10.1007/978-3-642-02959-2_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191115$051D5A21-9B41-439C-B0C6-7F7E7B459764","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$E5099ACB-474A-4910-AA94-03CBB41D562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98813b9f434f6a88bc404ff2ea2f8e4c67626ae8","datavalue":{"value":{"entity-type":"item","numeric-id":438539,"id":"Q438539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$3011BD40-C078-41F1-B847-2D5E216B46E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$61A2DB48-E6D1-4785-A791-3856AAB740D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191115$CF7688C5-3001-4938-A04B-B442EE05011A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191115$022B28B0-D7FC-47AA-A6E4-135276802200","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"339b35444f8855530630f88f859d28fa98d1215a","datavalue":{"value":"5587952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191115$721BD1C1-1DED-4D95-82EF-E73F9DF6232C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$2B2F6789-AC3E-421A-90E5-5BAC957C6D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$0AC6DA80-6544-4D47-83F4-34E0A910C387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$FFAD76F0-70BC-4A3F-8B37-3A0059F0D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$67B1F1D0-F5BF-406C-AA27-70423D657C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$878BB375-4CD0-4973-BE92-B75083B83923","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":"Q5191115$5DB247E8-8417-4F36-9C84-C63A2C95F9D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"523f9bbcc2bc38f876e3997fed14504ffe4e7f88","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191115$6C18A754-EB7D-4D80-A186-6DEE3CBCD814","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b95eba7c54b37241f725ed50d3a2361bc0b50300","datavalue":{"value":"W1963220690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191115$76EE1270-6D1A-4D20-AE40-ECC04828BF7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$BC9442C0-E697-46DC-8B4B-D7A1048DE222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$67551BE8-E99A-4790-AF65-D2BE8AD11563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$1D680788-603C-4CE5-9711-00C6A4BB85B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191115$8FD10977-9ACD-46E1-9E9F-6E6F6C343219","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3cc0da975ad85fc43f51c8dfeb8e1bc04a4b51","datavalue":{"value":{"entity-type":"item","numeric-id":438540,"id":"Q438540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b207f73ad7526d6df9a79fe90659ee39d5ad7bd4","datavalue":{"value":{"amount":"+0.9949392080307008","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":"Q5191115$A87E33F7-7D80-4F80-91E6-A34CE490FC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cefb701784a16939bba13f30dadcd92d23de286","datavalue":{"value":{"entity-type":"item","numeric-id":5505496,"id":"Q5505496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab3fbe43f556074f5c6874e2fc5f14b294945fd","datavalue":{"value":{"amount":"+0.7323545813560486","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":"Q5191115$BD6FB34D-8C65-41BB-9FCF-550BAC6BE73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e14787651e93bfe1fa0ed3046e7a940302c5a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2281661,"id":"Q2281661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727d21a4efa22067c0d429fb69d3e0e79383e91d","datavalue":{"value":{"amount":"+0.7245392799377441","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":"Q5191115$548E444E-57B1-4A9B-ACDD-748CC5C4D66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67c8d20ae5b9edf979a7ab3a91e204c0ee550d4","datavalue":{"value":{"entity-type":"item","numeric-id":3192187,"id":"Q3192187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f8b98513cd1e4db1ec4b45dcd68441ca244d4a","datavalue":{"value":{"amount":"+0.7227783203125","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":"Q5191115$2B43081A-9DD4-4898-91B4-153AC737037C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d087bc689afa181873c6e1fdc2d092ef94a025","datavalue":{"value":{"entity-type":"item","numeric-id":4209295,"id":"Q4209295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0e43ad9fc3d6ec5f71ea1f8aa33be2859a61b8","datavalue":{"value":{"amount":"+0.7026141285896301","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":"Q5191115$C8085B6F-46E2-47F6-BF35-78726A0D7B52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191115"}}}}}