{"entities":{"Q5310686":{"pageid":7340260,"ns":120,"title":"Item:Q5310686","lastrevid":50182718,"modified":"2026-01-13T10:29:22Z","type":"item","id":"Q5310686","labels":{"en":{"language":"en","value":"Predicate Abstraction via Symbolic Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200156"}},"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":"Q5310686$67A24531-7B0A-4A33-B02A-2A2904AA0358","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bc4147a47d15d4a3f3bb169194efb0bb4a98155","datavalue":{"value":{"text":"Predicate Abstraction via Symbolic Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310686$E113232C-C3EA-461E-AF5F-38BC0F7F924B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdfdbcae06c649b90e5abbe36ffc30a4fcfb2d3f","datavalue":{"value":"1128.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$2B325036-0DD0-4BDB-A7A0-F25037E06A12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc445a1627949ed41688e5c33bfb59789961ba3c","datavalue":{"value":"10.2168/LMCS-3(2:1)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$E0C54E67-CF88-40C5-A29E-649CA3A49F6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310686$A2D7185A-D291-432F-8981-B35BDB7A14D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef04502a0cfdb62a3f751f54f67cd2b646ae92f9","datavalue":{"value":{"entity-type":"item","numeric-id":1856259,"id":"Q1856259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310686$B9887B95-83F7-4D35-9132-296F614EE399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310686$1D4564DF-50BD-45F5-8DC3-8696320895AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310686$A7999FC8-DCDB-4883-B992-168E9C45BD4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310686$FA9B5340-66EB-4FF1-A65E-FB22EA0275B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$1FA25536-CC66-4656-96DD-B8FF96D5EE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$DBD848CB-704E-435E-AFFB-BAF072AF1F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$48CA5392-64B5-49BC-BA3A-DF9C13567CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20bd5db18a5ce16fc4aa9246ab107148f701eb63","datavalue":{"value":"5200156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$E2E4330B-7858-49D5-9C5F-22CE392F77CB","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":"Q5310686$3AB74DA9-72D2-4D3B-8F2E-EF8C68DB2723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bffec19109536858e3490f54f0d396af34efd08","datavalue":{"value":"https://doi.org/10.2168/lmcs-3(2:1)2007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310686$3825B650-8AD1-4E35-8245-F19F76922DB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52a6b2cba08e4647b25bfdb91aac62cc7f1fbbf5","datavalue":{"value":"W3103629895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310686$BA34E56E-5DDE-493D-B60F-4FD516AD16E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b91559bd30f3b8b0605475a027817190720da81","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23430cd043076a41044684d3b3c5fff6ec16a937","datavalue":{"value":{"amount":"+0.98476380109787","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":"Q5310686$0E2E0298-4604-4A48-BD89-3080957DB850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545e7860357cf9f1ee9e4b7cecb27cd402b0e27","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a141a9a818e4c3b3a9e3d28900c48194285937","datavalue":{"value":{"amount":"+0.9136906862258912","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":"Q5310686$A662DE83-AC44-42A8-B4AF-9C89F5726BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18177d8357753c8dd75456ee7c56c747f213d512","datavalue":{"value":{"entity-type":"item","numeric-id":5308422,"id":"Q5308422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaadddebe7eb77205cbf14c3062bed8fc6a72b3","datavalue":{"value":{"amount":"+0.7988092303276062","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":"Q5310686$85E9ED44-7E46-4C01-B5C7-E8E5CFBF31C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32bcb08b914105f35b32b1fd55111f84a27b081","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61965dd61615a35a04f7cfd59be0063837eedb02","datavalue":{"value":{"amount":"+0.7896642684936523","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":"Q5310686$2665AA45-C91B-4502-9EEE-E526854679C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf15a86ab27de24c71c6278f501043afe2c895","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef518927f60f594bbf94a2a60bd2b2f3ac9f0b9","datavalue":{"value":{"amount":"+0.7833572626113892","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":"Q5310686$96352D12-62C8-4198-938A-32D11D5473ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310686"}}}}}