{"entities":{"Q5711514":{"pageid":7741068,"ns":120,"title":"Item:Q5711514","lastrevid":40738657,"modified":"2025-04-04T13:01:00Z","type":"item","id":"Q5711514","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235928"}},"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":"Q5711514$DCA652C0-AFA6-4089-B9BC-BEEFE0A8034B","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":"Q5711514$89F2E3F8-37D1-4991-A4C8-6E7D820D8F97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"543e5199e0d341ee7e1e4618fe2a1bb310f74ace","datavalue":{"value":"1111.68498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711514$1E2C33EF-7400-4A01-B057-D1B9AECDFC8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c93bf2d6ede7160ac9f11f817cabe84f61ba240","datavalue":{"value":{"entity-type":"item","numeric-id":5711513,"id":"Q5711513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711514$640B06FD-DE34-4FDB-A443-5BA2A03B0FDD","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":"Q5711514$96DAA1CD-6532-408F-B1C4-4BA47795ABC8","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":"Q5711514$65038B97-219D-47BC-A5EB-448F8644A293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711514$72D86AE3-3B8A-497D-9057-9C76C3F1561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711514$44C90E83-4E8D-4C7D-80B5-93C5D039FE65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e4f81e1d958a5fc6fb8fad2eadeb3df71cfca9b","datavalue":{"value":"2235928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711514$BCF8AD80-BD3E-4EB4-81A6-08F594AD2BE4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711514$DB52F5F2-0849-4791-9A4A-B0BFC4423B4B","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":"Q5711514$FC6B81DF-DDA9-4F9D-B6E3-7D38633D231B","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":"Q5711514$5FFEB03E-F237-4823-BEC4-19B853455FDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711514$AB762850-3A86-4E08-83FD-3AC53B999A28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711514$91863024-E693-4786-92D7-65ED776B2F20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc59a456fb07ef5f9e32775abf64f10f01b8f627","datavalue":{"value":{"entity-type":"item","numeric-id":2871846,"id":"Q2871846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f612cf40d97a04d966eb2475140f9406725417d","datavalue":{"value":{"amount":"+0.88555205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$ED549F71-FC16-4AC9-8ECF-B8EC05C3079C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341f9b6074d3d54ba1f046cddcbeee26fc27b892","datavalue":{"value":{"amount":"+0.8823807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$7BDAC384-7F6E-47BD-9114-6105690B6A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f053beef2992a6eb6c8a6e7c69aa91d73e3bef7a","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341f9b6074d3d54ba1f046cddcbeee26fc27b892","datavalue":{"value":{"amount":"+0.8823807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$08AFBF53-2591-4166-9247-B0395CBBC493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61d67c9b07fceb710d39d8e2809be2ee5ba7fee","datavalue":{"value":{"entity-type":"item","numeric-id":4411946,"id":"Q4411946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad306ac1f773fbc1b5fa28b5b7b1abcaa7092ef","datavalue":{"value":{"amount":"+0.8801324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$C7A3D8EA-A20E-4BE2-B295-589D2EAE030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267c6adcf54f14f1cc0a728425d3ba3b6a0b25e","datavalue":{"value":{"entity-type":"item","numeric-id":2814107,"id":"Q2814107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03445640d37d50e4bf0bfa373597638c9756090","datavalue":{"value":{"amount":"+0.87988234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$726F8BDD-52F7-4B50-A6FA-EB5FC543BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f09922f123ccaca0d1967f3b54925772cd33fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77025526ec838d5a1cca5860079f0dd957bfdfe3","datavalue":{"value":{"amount":"+0.8700209","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$E1BF830B-1F48-4696-AD57-9938625DB472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5144645ab21fd8c810b17c7aedb26b47e33655","datavalue":{"value":{"entity-type":"item","numeric-id":6041176,"id":"Q6041176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067ad469eb80768b4777ed44307ecd0141ece6e4","datavalue":{"value":{"amount":"+0.8685124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5711514$116FD0CA-FCDD-4FC2-AF91-C3926F874D62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711514"}}}}}