{"entities":{"Q5898616":{"pageid":8000885,"ns":120,"title":"Item:Q5898616","lastrevid":50024377,"modified":"2026-01-12T17:01:57Z","type":"item","id":"Q5898616","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124434"}},"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":"Q5898616$E0C7D8E2-8225-4807-9C3B-FD44CF6404E8","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":"Q5898616$BECF0923-5B2F-40E4-98A8-F7C5E1A2B298","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea3c45bccd7b88cfab744e6567e3e7175cc12bd6","datavalue":{"value":"1176.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898616$39924464-7800-4739-BC86-7BDA43534AF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898616$EB41FA59-DF4E-4283-A94F-96AF341C1F2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898616$6D05AD02-B91A-47DC-AA99-B02AE857FB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898616$05D6407D-AB6D-4297-9962-3EC080052980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f04770c79f4e4d61f1c2977c0368718bbdec4a2","datavalue":{"value":{"entity-type":"item","numeric-id":997193,"id":"Q997193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898616$DA1743B1-7304-4F96-ABCE-73AD68247F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898616$3BFA52BA-0106-424E-8458-E46C2F49FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3818a1716b8610e195be4975a458855618b9d1fb","datavalue":{"value":{"entity-type":"item","numeric-id":1268805,"id":"Q1268805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898616$5F4B4B0A-16D3-4ADD-AC88-F934E4D7D2E4","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":"Q5898616$9857D1D7-2953-44BF-99A1-20498FE89106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a45291ee8d7b5555553b7864c822d601856c674","datavalue":{"value":{"time":"+2007-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5898616$DD08C843-0F17-4D28-953D-D501EB208474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898616$BEED6879-092D-4C6C-BD44-30C4EC404BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898616$9E4FFB80-02A3-4289-940C-5C844728A85E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a83851f14bd59702e50f9b906992215f4355a2","datavalue":{"value":"5124434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898616$9A752CFA-931C-4E38-90FC-5CA3464370AE","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":"Q5898616$FD77DCCC-142B-47CB-8248-4FAB0D0AFEDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e910ccb6553d3b0d560facef2073cf9971ef1604","datavalue":{"value":"https://doi.org/10.1007/11609773","type":"string"},"datatype":"url"},"type":"statement","id":"Q5898616$0CD8783F-260A-4CF4-9414-260F57A0B521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898616$6E8FD861-A375-437A-B888-10628CDBB99C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3296c1ab353346813d384994567561270a8d4f16","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16f0d6068df24693c16aa347ad0f98a184a8fe1","datavalue":{"value":{"amount":"+0.7302991151809692","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":"Q5898616$30DB25DA-A71A-4191-ACEA-89EB177BDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9571db471e0e3147134261d96b5976c07706c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5711506,"id":"Q5711506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992e38211864fab6724dc64ae9a02c241a56f776","datavalue":{"value":{"amount":"+0.7211587429046631","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":"Q5898616$4894F80D-2EAC-4193-A3E4-729171DB61C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd62b97cbe88c95a93f99f9e18823be44db4c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3457806,"id":"Q3457806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d141e05db7ba743ca40768680fdbf8a16105c2e","datavalue":{"value":{"amount":"+0.7185071110725403","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":"Q5898616$9CE9107A-F668-496F-B342-C3071276DD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ff1e6c6fc26e94b52a8731f0edc52b7b70a33a","datavalue":{"value":{"entity-type":"item","numeric-id":744329,"id":"Q744329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4c518724deb60ed5378a1ecc9c3032996a1935","datavalue":{"value":{"amount":"+0.7169373035430908","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":"Q5898616$D482CDCA-FF45-413E-8AAD-2E70E7EC20B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d11bd6ceda93b217f8992c2e87dbc4dd6caf08d","datavalue":{"value":{"entity-type":"item","numeric-id":2323989,"id":"Q2323989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f0cefa7465fdf32cffbfbbc128694ce3584f37","datavalue":{"value":{"amount":"+0.7144803404808044","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":"Q5898616$6A0ECBC8-3501-42C4-9D19-EF3161DB1ECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898616"}}}}}