{"entities":{"Q5711509":{"pageid":7741063,"ns":120,"title":"Item:Q5711509","lastrevid":41196783,"modified":"2025-04-18T23:27:31Z","type":"item","id":"Q5711509","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235924"}},"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":"Q5711509$2FE01A2D-09E8-47E8-B8EA-19BE10DD8A3A","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":"Q5711509$3A37B1A0-E5B7-4AC6-BB69-71C205F2B56B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd8a381ff0792ccaa97dcd10ae8ea13deeda36b1","datavalue":{"value":"1111.68495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711509$424EE815-A961-4788-9660-169FF60F5889","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2081e4d5abe5c999dc65e69553b1dbf43b4b3046","datavalue":{"value":{"entity-type":"item","numeric-id":248920,"id":"Q248920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711509$A76200E6-8E72-4EE9-846E-8B56C86EF1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7855d416a438be572c6a7aefce1c905376fea9","datavalue":{"value":{"entity-type":"item","numeric-id":233000,"id":"Q233000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711509$3D48B334-4B3E-47E5-8CAC-2A15CE614FFE","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":"Q5711509$D674693B-9A06-4E6B-9221-34A3EE4C4E87","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":"Q5711509$7B2E69CA-C730-4190-8FFF-823B17D4951E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711509$87ACBF27-2452-4082-B54C-FDDBB85549A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711509$593847CE-56D3-47AB-9CD0-48251632F284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57e6e2e8ef3521fd0a7386d157308f9e3f251809","datavalue":{"value":"2235924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711509$C4DD9B52-E023-44E2-A21D-4983268E5E04","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":"Q5711509$7C5D1919-69B9-4A9B-81E2-B3A81B36795A","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":"Q5711509$85FBCD4E-04E2-43CC-9743-E189F550906D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711509$C266DEF4-FB5E-4621-AAFE-87B96E252874","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711509$D658B2CE-2D6D-46E6-9647-291C1469991F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba557452de6cd41e945789ee275d1418e1e6c07","datavalue":{"value":{"entity-type":"item","numeric-id":5166694,"id":"Q5166694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b648baa99fffdf943f95ba1fd59e9df006e79252","datavalue":{"value":{"amount":"+0.9215945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$6C5B8CD3-17FE-404F-9003-A5D496996706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7cf928ddcd4e7ee35bfeacdc980d5e7778cce1","datavalue":{"value":{"entity-type":"item","numeric-id":2764108,"id":"Q2764108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03510d5ce8a9a5a3bda971c981ad35b3e1c77061","datavalue":{"value":{"amount":"+0.8935308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$FF2FD1CB-0A2A-4D80-B980-46C264A32B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36277ef934a2f1711c723a22553acc727d1957f","datavalue":{"value":{"entity-type":"item","numeric-id":2432214,"id":"Q2432214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491f8b69a0e23505270c34ae1ab4f062a3de42fb","datavalue":{"value":{"amount":"+0.8870485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$D1872B34-2113-46B0-B33C-0E6C4E9B4927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b82021187881b4ef521e55b1d5b118fbe79734f","datavalue":{"value":{"entity-type":"item","numeric-id":3075484,"id":"Q3075484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3fc2bc36684a840e995c8d58212d8a36cecd62","datavalue":{"value":{"amount":"+0.8862059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$B0B37CFE-BAD3-49EB-A2E3-C3EE21B58982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7813e124882fa412b92f75865e5c35a0db599d","datavalue":{"value":{"entity-type":"item","numeric-id":5448822,"id":"Q5448822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03f0a1c01be3b12f6608d453d1b03d005f9e915","datavalue":{"value":{"amount":"+0.88594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$7A8AD2D1-081E-4CA1-96AD-080B4B1B2126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35e374e659391a64a1c78e6cf0621855c32fed2","datavalue":{"value":{"entity-type":"item","numeric-id":3393404,"id":"Q3393404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7a59eda219cac559a8d3e732141e5c08eb310b","datavalue":{"value":{"amount":"+0.88585806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$D9F6706D-B479-4F50-A48C-0C15D62583F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46f60e0b085b463f2ec209df0135d2d29565642","datavalue":{"value":{"entity-type":"item","numeric-id":351980,"id":"Q351980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b1ce38e175f24e64e7be360a40f2486abc1acc","datavalue":{"value":{"amount":"+0.8854935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$5AECE40C-CD4A-41EC-AEB1-5FF405917B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199ece1ccb5ec4a3a4d32c761308c0883b115163","datavalue":{"value":{"amount":"+0.881752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711509$5CEDAB1F-F080-4AA2-AD7B-5B7819684D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711509"}}}}}