{"entities":{"Q5901909":{"pageid":8010422,"ns":120,"title":"Item:Q5901909","lastrevid":50656424,"modified":"2026-01-14T17:14:33Z","type":"item","id":"Q5901909","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5554385"}},"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":"Q5901909$9BCD9506-7287-4C53-A751-357D24A98DE8","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":"Q5901909$C158590E-1161-47C6-851C-AB2CC65A1509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86d88d6f29f9fd104dd2e375116c9996da698e5f","datavalue":{"value":"1202.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901909$20050949-7115-4868-8A04-5AE75C237C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901909$25B473B1-BF23-41F7-BFA0-59778BF09916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901909$060EDF23-E2F2-4A22-BCE3-6C93A2808D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901909$A7620364-3120-42EF-B116-732443E0517A","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":"Q5901909$BF101744-4094-4034-BFCD-4B34CC9DAA39","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":"Q5901909$28ACDE2C-69C4-4DC6-BBE9-752BE350DBE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901909$DA653DC4-EEA0-4F89-9E6A-7D7D72F24BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c308b03d3498e1381d1397a81651b52a73ac4b9","datavalue":{"value":"5554385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901909$D12050B5-DFE9-4820-BE59-ED8394EF307E","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":"Q5901909$DD34EA10-995C-4E8F-8A85-6692FEADB757","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":"Q5901909$9B26C9AF-F31B-436E-A862-6E167F279163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69759a744c0a7532ac80ec6c5f04f443fadb6d9","datavalue":{"value":"W3146639584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901909$0B2026D0-7901-4867-8CB9-8E9F60ED6BE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748d3d5a6aab6c7ca695a04fc3eda860118f3dad","datavalue":{"value":"10.1007/B94790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901909$ED998933-27CA-4006-AFD7-A26CDDC18934","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4275ead0a026f400bb5b52fda6e1b928e0124300","datavalue":{"value":{"entity-type":"item","numeric-id":4813407,"id":"Q4813407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bb5a32ee653c72de5287e809e68a37ed720274","datavalue":{"value":{"amount":"+0.821812093257904","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":"Q5901909$8CC75504-9969-4918-A9D8-6DCEA47AA460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc7ff11ca30376c73b5033629ca27de7acaa1b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb686b8e91346546bd45d388cafc380f5a1e1a32","datavalue":{"value":{"amount":"+0.8095847368240356","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":"Q5901909$CE38F535-DBEA-4CFA-97CB-64BF736859A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838c0e2747b4300ec1274f993ecae31ab0cf4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3fcfe6f9b7a380b8e999668c2c2dff92c97662","datavalue":{"value":{"amount":"+0.8061956763267517","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":"Q5901909$956E7DFC-C237-4BCC-A125-8EC5140BD597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed887b53ed329f46ca41b85d1c7fb0cc31c67ee","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae19423912fc3935ea65b88cbec0770e81638d0","datavalue":{"value":{"amount":"+0.7750263810157776","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":"Q5901909$123C41F8-A26F-4D07-A47F-23A69A8B4C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43db39d0452c662201363e806099e3eb3cb5c7b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960538,"id":"Q1960538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8225ddd9e90f07082acda4622951d75b565700f","datavalue":{"value":{"amount":"+0.7749994993209839","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":"Q5901909$D4BDA442-9E61-4465-81C9-9527CF4E5711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901909"}}}}}