{"entities":{"Q5900666":{"pageid":8006741,"ns":120,"title":"Item:Q5900666","lastrevid":50958380,"modified":"2026-01-15T22:39:47Z","type":"item","id":"Q5900666","labels":{"en":{"language":"en","value":"Interpolation and SAT-based model checking."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695345"}},"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":"Q5900666$AF16D2EA-AA4E-4538-9ED3-03822DB2EB8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900666$5BD9CB7D-2E5E-40D0-BD99-C5BE3C4836EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c95d2d7502fc59e38a2e7549ab4f4e65b53f2f","datavalue":{"value":"1278.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$89E5BA83-9139-4A66-A3A6-6A7197185CCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900666$46F506C2-5F57-484B-B8B1-C702C8E2FDF8","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":"Q5900666$4BB4E5F5-E3EB-482A-93D0-0B0D53A98BB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900666$969E03B3-6C04-40EF-A42E-A34F63EFCC43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$392C3446-2C10-43BC-BEE1-E69996AB8529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$4EFFD0F3-4D1F-4445-A1EA-BC8E0772CB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$C8F32AEB-37CA-4229-90C5-F98EE7D6030A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e234d64931fa6ca779e663c82c7827efe59a7be","datavalue":{"value":"5695345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$0A97943B-0900-455D-9165-D732A40B11F8","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":"Q5900666$A558E51B-5293-4209-9A59-78723645DCB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900666$E99903C2-F276-41CD-B208-C9224625001A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$66294B99-A5AE-4BF7-9276-0233A60D05B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900666$A86E0754-503B-48A7-9C8B-889C39433512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5e44f140dab8a31109329358c415520b0ce897","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dd7f9e921e0a5a7186a9a86b2cf33d114bfab3","datavalue":{"value":{"amount":"+0.8719033598899841","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":"Q5900666$3BBA59BC-D8BC-4612-A7C1-4C33A2C3020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e84fac7a9de73739bb2c566a9278681d8fa82f","datavalue":{"value":{"amount":"+0.8587008714675903","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":"Q5900666$4E767A9F-2637-4DD3-A542-82BA3D59A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176ad676256d70e6de51bb6da4f7f4c7779216e8","datavalue":{"value":{"entity-type":"item","numeric-id":5452708,"id":"Q5452708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f96cec101c8650c16a17665559a4583517ed3bf","datavalue":{"value":{"amount":"+0.8467432856559753","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":"Q5900666$506E9C00-D5F1-40DE-A313-86CB9674461C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5798812b499c0fce505cdce0fba5d8623f8ecdda","datavalue":{"value":{"entity-type":"item","numeric-id":2864382,"id":"Q2864382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d62e63c6eb21155eba0c03b0d541dc13986a74","datavalue":{"value":{"amount":"+0.8458521366119385","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":"Q5900666$C4C8B893-58CF-4D13-809A-8F0D9E0AB672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af70bf3bef198d95145c1f463b28866cb8d9697","datavalue":{"value":{"entity-type":"item","numeric-id":5493247,"id":"Q5493247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6325b5b4941244347ef92c6247a8485d5a6802","datavalue":{"value":{"amount":"+0.8266968727111816","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":"Q5900666$D1C351E6-8513-4652-A99E-5B15A19D257C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900666"}}}}}