{"entities":{"Q5711490":{"pageid":7741044,"ns":120,"title":"Item:Q5711490","lastrevid":48606973,"modified":"2026-01-05T09:01:04Z","type":"item","id":"Q5711490","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235905"}},"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":"Q5711490$43949376-0D4E-4852-840F-313FD690B3CC","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":"Q5711490$D982CA7B-CFF8-41C6-8897-61C0D1942B4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34fa6052359907c6ac989ac203f69837a1468b8f","datavalue":{"value":"1111.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711490$80B8D03C-93BA-4277-B6D8-D2119548938D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70e9ce9a5b5c46f7bf37a00c51034be3896ba64b","datavalue":{"value":{"entity-type":"item","numeric-id":784126,"id":"Q784126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711490$4694DCAF-23BC-411C-9B34-46F7843C0BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711490$6A8D751B-D59C-46D6-BD51-4A87B9E6DB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d208141bc41673e028cfe04d8fe99d63fd222d","datavalue":{"value":{"entity-type":"item","numeric-id":436393,"id":"Q436393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711490$D38BCEE6-1423-4D12-808C-E4903571BCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711490$17FA22C9-156E-4B2E-96FD-73252F981F9A","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":"Q5711490$8D5C6646-6D36-45BF-8B0F-CD2362D7E068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5711490$C7A5102D-C4B2-4D1C-9359-2AAB72B699C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711490$61CB365C-2065-4478-A8DE-572E31D4DC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711490$E30EEAC7-4B9B-44AE-91BD-53AF7E893DDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7247efab095390bb153ea03efdd4b62713dce7c5","datavalue":{"value":"2235905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711490$77B306B5-EAA9-41A3-B6BD-64FB60823706","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":"Q5711490$55579335-A4D1-410B-836B-38701BC9BDEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97b7a53335c177dc0cb73f05e06789c64e85523","datavalue":{"value":"https://doi.org/10.1007/b105073","type":"string"},"datatype":"url"},"type":"statement","id":"Q5711490$D8CAE3E6-F430-4A03-A546-921B7453D3BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711490$4E1FE8B9-75F7-470C-B0CF-74762A6C8D3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711490$2F99659A-49EA-4FC1-95D1-A86B3F93848E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c2bd8aee9b0535918796cdf45a3780f54a54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2796037,"id":"Q2796037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8dc21e6d00808255fca251ae972a949e0d6d46","datavalue":{"value":{"amount":"+0.7952764630317688","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":"Q5711490$8318D80B-9FC0-4484-A65B-C5BFC43E9D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4462ce9d525b48c12495d178c5071385282abd32","datavalue":{"value":{"amount":"+0.7804452776908875","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":"Q5711490$CD3A61AA-56CC-43E9-90BE-4A9DA4795F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad59caee798ab25ad911393394c35fdf9e3e197","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e57dcca2a3f3fca399d815df281a0f1814ece82","datavalue":{"value":{"amount":"+0.7620157599449158","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":"Q5711490$15397B1E-9D84-4833-A8BA-AFC0A7D80254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac2c0ed6dd6c87aef186430ac9569151ad627a0","datavalue":{"value":{"amount":"+0.7612459063529968","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":"Q5711490$1060321B-1BB8-4EBC-9BF1-D70F32C079F1","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":"e1f8d29febd40dcadd86d0711ebed261c45f0ce6","datavalue":{"value":{"amount":"+0.760277509689331","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":"Q5711490$F0FD6560-4856-4DBE-A378-19AA710E8173","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711490"}}}}}