{"entities":{"Q5901908":{"pageid":8010416,"ns":120,"title":"Item:Q5901908","lastrevid":97689998,"modified":"2026-06-05T15:14:13Z","type":"item","id":"Q5901908","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554384"}},"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":"Q5901908$8575F706-3C1C-4297-AA4C-D67DD60B47D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a02cd8b709edfe4ef5e948e182769b4812906466","datavalue":{"value":{"text":"Verification, Model Checking, and Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901908$BCDFC743-2C4B-40A2-B672-EC516AB61742","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9131310d6d7c8f9839a247f6ec67cb9c314728c6","datavalue":{"value":"1202.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901908$11D1B41D-1BA9-4A8F-802E-F8094FAD63CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3b99c8b3c6001875ac17a703808bd4c9cb52b47","datavalue":{"value":{"entity-type":"item","numeric-id":3627268,"id":"Q3627268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901908$DEADA858-BDEA-42F5-B8BF-65EC188CF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf58ef407eea0fbbe0fd830c238f5b8af9ee40f","datavalue":{"value":{"entity-type":"item","numeric-id":3627269,"id":"Q3627269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901908$6675246D-0ABE-4A4E-92EF-5EBB573A434C","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":"Q5901908$2F41DCD4-536D-4257-98EE-1D90FF2C3D63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408a918e70ee5b19afcb31048964c12b8f75a07b","datavalue":{"value":{"time":"+2009-05-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":"Q5901908$91E4314B-19ED-4AA3-9265-56EC08657152","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901908$AE8926CE-5DA2-4FA4-A3E4-D8CE5FDF8B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901908$F150BCC7-23AA-46FC-BFC3-5845BFCE151F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e60b175dae38aeb9e38c9b3dbd867bf73acfc4c1","datavalue":{"value":"5554384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901908$5AE6A99F-5430-4B76-9606-7B2D453F94E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901908$E9906D6C-251C-4CC2-AB36-D5C5CE7B8277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad2b3344c52c34ac80e60ade2b62882d88ad99f0","datavalue":{"value":"finitary property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901908$1AB95D33-AB86-4C18-B0B5-D90885439724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed758d98b3e9847079dbc303878ea040a0bd64b4","datavalue":{"value":"reactive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901908$C23C2A4D-08CF-451E-997A-A02F93F0A3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901908$B25C46D2-3418-4383-BEB8-4ABF0FF5BC67","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb73df82459d3f25f40c06b78cfd0d0320c4914d","datavalue":{"value":{"entity-type":"item","numeric-id":21902,"id":"Q21902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901908$115FDAF5-8AB6-4229-8FD7-19F578F02A47","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":"Q5901908$9C662636-825A-42CD-A46E-E6834B603219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b0db9d5a63dbbf112231eedb1ea3402e4a8184","datavalue":{"value":"https://doi.org/10.1007/b94790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901908$BB80AEF7-1D34-410C-BA5E-129D7F3B538C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901908$3EC8495A-F938-4035-B169-80D8AF22040E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901908$F427E40C-36D9-4928-9650-754ED6A27B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f87fc005881390bd8d383bea10621652d7fc6dc","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed06ef702caf720c528ad0c41af6f2f1fccc20c","datavalue":{"value":{"amount":"+0.7847587466239929","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":"Q5901908$2B8F17C1-AC5A-4975-841D-2152ADEC2D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eda4475eec354f6b62559f8b9bf8ebfb53b835","datavalue":{"value":{"entity-type":"item","numeric-id":5452193,"id":"Q5452193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e1a36e2c622f38a0662f91a7e9b4452e892784","datavalue":{"value":{"amount":"+0.7268833518028259","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":"Q5901908$F226F024-77D2-4D43-B9DC-369B0B0657A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005f834f6fdfac0f5389685d02a9f09dab15d884","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ee456b2e5c0964852a336d0d688f167e25391f","datavalue":{"value":{"amount":"+0.7262181043624878","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":"Q5901908$1843B492-3079-4136-B2AF-69D9BB7F0E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2585676d9e76e68ad7a281690e466dfddd5d9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1749193,"id":"Q1749193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf64c892099652f31b4911cb65bf5d7ab5b3421","datavalue":{"value":{"amount":"+0.7256292104721069","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":"Q5901908$A364B54F-EA9E-44D6-96AC-68D5FB64242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8a10e45616e7d80e088877ecc8ec4585358b38","datavalue":{"value":{"entity-type":"item","numeric-id":5351958,"id":"Q5351958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7678a0c1ea70d4d77eb430b496a8472896b429e","datavalue":{"value":{"amount":"+0.7231346368789673","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":"Q5901908$C2B92098-C60B-46C7-83FD-7FDEF52D8C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, Model Checking, and Abstract Interpretation (scientific article; zbMATH DE number 5554384)","badges":[]}}}}}