{"entities":{"Q5711502":{"pageid":7741056,"ns":120,"title":"Item:Q5711502","lastrevid":48607021,"modified":"2026-01-05T09:01:06Z","type":"item","id":"Q5711502","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235917"}},"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":"Q5711502$6AF03525-46D4-4A6A-A5CD-90BED1EA7BD3","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":"Q5711502$751B5C7C-D942-426C-9FFE-2A80802B7DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d393268efc0675180db004bd04fa0dfa6cf3d9c8","datavalue":{"value":"1111.68506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711502$340DED3E-4164-4C41-93E0-FEB5916C8079","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711502$30A3A336-E953-44F3-979F-B6BF98C89C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0ad057076f8b4a1700a4fce63bf7d981c09fdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5711501,"id":"Q5711501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711502$5EC8147B-81BC-4D3F-AB42-2F26D1814ECC","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":"Q5711502$181CDF17-F8EB-43D3-A94B-709C022D41D2","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":"Q5711502$0352B5A1-104C-4E7B-976F-2BDE10E0AF41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711502$AC65ACC7-BEC7-4D51-AD19-4DF68CBF9E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711502$F0B787FF-A713-4DE0-88F1-B59380269C09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fe581875a7419ee3cc580517d8bf1cc1a1e0dfb","datavalue":{"value":"2235917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711502$29E37341-C3C6-42C2-94A4-BF0B9BF8890F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711502$DE7BDC5F-07ED-40B0-BAFA-9FC7616B33C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0eb1bb36564f4e4c94eabdbcb2cc5b8e340d4499","datavalue":{"value":{"entity-type":"item","numeric-id":21924,"id":"Q21924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711502$EEF2F2FC-2EB2-4439-9FBF-28028F524386","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":"Q5711502$84F9317E-52D2-447B-9DD3-4B2A2B2E0BEC","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":"Q5711502$5DA805B1-4CAA-4E81-9370-47A91E35A293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711502$480D1EE1-0B11-482D-965D-D49CA53A141B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711502$14E66D9C-7730-4DA5-9A86-33E8EF30D513","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da790d8ab2f4933a1d8bb9296f88c1cd327ea8b","datavalue":{"value":{"entity-type":"item","numeric-id":2484412,"id":"Q2484412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc1c5075a7b4334c06472a9b8ba3d9cfab669bd","datavalue":{"value":{"amount":"+0.7495179772377014","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":"Q5711502$184607BC-6447-4E62-9D80-6F3D74CDE89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63fa9eb9081b8fdd7f12029e0efee7ce3f5006","datavalue":{"value":{"entity-type":"item","numeric-id":4673388,"id":"Q4673388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8480188544d63b6232e69036b44f3782ad29c6","datavalue":{"value":{"amount":"+0.7418950200080872","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":"Q5711502$3CCEC010-1FF3-4705-9D92-994B04561A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a535d3c8382d14aaed3fa9780d4b0287eb4a599","datavalue":{"value":{"amount":"+0.7364073991775513","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":"Q5711502$379DB79C-0344-4581-A63F-0365BB54A3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcab94ccd7d45d68869eb545a894ac20a67667ed","datavalue":{"value":{"entity-type":"item","numeric-id":2482438,"id":"Q2482438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a535d3c8382d14aaed3fa9780d4b0287eb4a599","datavalue":{"value":{"amount":"+0.7364073991775513","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":"Q5711502$68983E5F-4262-4F88-BD4F-7F1A4B0B2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b9eeb4c8cd48a7346f7280619c5e1688bf5205","datavalue":{"value":{"entity-type":"item","numeric-id":5196099,"id":"Q5196099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628581508d560dc74d9cd35715f09855dfca48b6","datavalue":{"value":{"amount":"+0.7350723147392273","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":"Q5711502$BB5C8C08-6E75-4651-A248-7C749041F801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711502"}}}}}