{"entities":{"Q5901913":{"pageid":8010444,"ns":120,"title":"Item:Q5901913","lastrevid":50656433,"modified":"2026-01-14T17:14:34Z","type":"item","id":"Q5901913","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554393"}},"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":"Q5901913$07677D80-A522-46B3-B535-C0471C22AD93","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":"Q5901913$3EEC5C7F-F9BA-43B0-BF4C-A655631F9EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd31f96979399dac8d677719134eb5d4a790d53","datavalue":{"value":"1202.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901913$21D77466-893F-4584-B325-90417279CF30","rank":"normal"}],"P16":[{"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":"Q5901913$DF198D09-426D-482C-BA7C-A5B6AA2FBBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dcba1a85b5ac0deee4d501754b8864049a4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2643336,"id":"Q2643336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901913$F1639741-CB5D-40E0-BEC7-D7673DFC0251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901913$C461FCD9-ACF3-463B-92B7-0D6976932CBE","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":"Q5901913$C05CB8A3-F097-409D-9EBE-1DE63F20E14A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408a918e70ee5b19afcb31048964c12b8f75a07b","datavalue":{"value":{"time":"+2009-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901913$ECCF3B82-597F-41D2-9841-49111E37834B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901913$6A2E740A-DEFA-4961-AF13-9318751E9C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901913$C8AD4D3A-63E1-44E8-84C0-EA2C5E533082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04831858e80c9ca02919662c89d5a792ca4a7af7","datavalue":{"value":"5554393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901913$D7FAE20A-7B56-4EFC-A240-D8E4EBDF1624","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901913$E1C18BE0-E7B9-4299-883B-B7D9A444D739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901913$606A277D-5B3A-46F6-B534-FE3D49844DFB","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":"Q5901913$F82EF1AF-6178-43B5-825C-0925A0FA06DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b0db9d5a63dbbf112231eedb1ea3402e4a8184","datavalue":{"value":"https://doi.org/10.1007/b94790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901913$656CD59E-70C0-47B5-86F0-F06D8619C2C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901913$436BC907-2CB1-41D1-BE24-27589CFB4E8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901913$A2E9287B-8552-4A89-81B8-DED348CD20FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae2bef8f26a1b90e5e917bdf10abb0e056bf505","datavalue":{"value":{"entity-type":"item","numeric-id":3656896,"id":"Q3656896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd65611e7299eb8f85ee3e988f084cbd161723b0","datavalue":{"value":{"amount":"+0.7638437151908875","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":"Q5901913$11B7CC54-86EC-4969-88C6-9E14AA3020F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fbe935ba15c3fd5c8178395506a2c0879acc7f","datavalue":{"value":{"amount":"+0.7612125277519226","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":"Q5901913$12713385-0C42-4788-86F7-B008CE1BC261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096e1fce489a0312ab0c13d68374a2d1d6c8a39f","datavalue":{"value":{"entity-type":"item","numeric-id":281287,"id":"Q281287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dffc01cb1109e1632fce9d0906de63948bcd8ae5","datavalue":{"value":{"amount":"+0.717889666557312","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":"Q5901913$96932D3A-C112-49E3-9109-38F5C3208D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4d4480c730ef49aa32b58259b97351037876d9","datavalue":{"value":{"entity-type":"item","numeric-id":5452609,"id":"Q5452609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d725587df7949fa69edc1a754abc5f59ba118c76","datavalue":{"value":{"amount":"+0.7175620198249817","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":"Q5901913$CF99B762-73A9-4447-A813-A6D548C1C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a610a5a912c01d0d95c64ce3b4ff60fa6a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565863a9faa063c29ee6d51d7c450dada45107b6","datavalue":{"value":{"amount":"+0.7158946394920349","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":"Q5901913$E9EB6DDF-3866-406A-BFEF-67E2B97EA821","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901913"}}}}}