{"entities":{"Q5898633":{"pageid":8000959,"ns":120,"title":"Item:Q5898633","lastrevid":50024542,"modified":"2026-01-12T17:04:23Z","type":"item","id":"Q5898633","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124451"}},"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":"Q5898633$A6A356EF-DD7D-41B9-8A94-B48930AAF516","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":"Q5898633$3A4549C6-8BCC-4E6E-8B74-F2059500E1A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d081642da767cc796e46e2e1909df1f449e825b9","datavalue":{"value":"1176.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$F44195ED-586E-4BC2-8CFF-3D437BF0AF9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e44c0bb41cafe79dc99942ce5fc589b160b0410","datavalue":{"value":"10.1007/11609773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$F74C7A0C-85E5-4C38-91CC-9DC7FE1B72BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93bcc46c92320d32acc10288ada535d0a0700679","datavalue":{"value":{"entity-type":"item","numeric-id":939165,"id":"Q939165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898633$612CDB7F-0C32-4617-9143-B23F12BCDD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898633$F143AB74-B4F9-4A61-8C95-B0A6C020F382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5898633$1985EDE9-511B-4506-96D7-5BA87D394168","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":"Q5898633$8C50CA3A-F30C-4543-958A-2114202CBAB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a45291ee8d7b5555553b7864c822d601856c674","datavalue":{"value":{"time":"+2007-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5898633$35B41D5E-BB03-41A5-9731-41E80DB01D9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$6A0908C8-FDE0-4661-AFAA-F2730B0C508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$4BE336C7-B285-4CA5-94A6-32CBA3264A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$A5124DD4-5B5E-47D1-9FF4-FB54E6F4738A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf4d29acd5c5e15733174c343a6b17c680e9b5a7","datavalue":{"value":"5124451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$F3B68BA9-63D0-490C-A0EE-DCF1E8260EE6","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":"Q5898633$6BE9ED99-177B-4135-A7B8-F27EF88D99FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e910ccb6553d3b0d560facef2073cf9971ef1604","datavalue":{"value":"https://doi.org/10.1007/11609773","type":"string"},"datatype":"url"},"type":"statement","id":"Q5898633$D801B760-7FB3-4330-9A6D-FAF7BE6648A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb54bd756fdbfb00601978539d8be0ffd7e2546","datavalue":{"value":"W2496613029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5898633$53009644-B238-42DB-829F-676EBF383F4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07622c762984e431a24d8f00c8686c029fd4655a","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270b219d1bf68ece2812ab8ba2f4c703a8a2524d","datavalue":{"value":{"amount":"+0.8591812252998352","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":"Q5898633$C7B1E3D1-D6E9-4C0E-82F5-A5EC02876092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd1956f977786f2043a62205373527261741540","datavalue":{"value":{"entity-type":"item","numeric-id":2351149,"id":"Q2351149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d7460ccc69e59b3e418de4686062e4aee725ab","datavalue":{"value":{"amount":"+0.8407003879547119","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":"Q5898633$921EC011-9547-475F-A32B-19481F78A1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4a0bc320f52ca86174d1f7e7034db633f6ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88338a49c5e3ee6a6c22ea9b71c546638ce2a648","datavalue":{"value":{"amount":"+0.8361170887947083","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":"Q5898633$3397D077-BB3A-46A9-B53A-4EAE59B56E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8585afd9b3ca806c1c8b20a78c24b1a6a026a25","datavalue":{"value":{"entity-type":"item","numeric-id":5458380,"id":"Q5458380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e611a0edfacb97d081d6aaef4de8a15d1c504ec1","datavalue":{"value":{"amount":"+0.818909227848053","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":"Q5898633$8BB948E0-53F6-4B8B-9135-E394C880508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5333c900d359772d6b5aecd422238f1cecf5c","datavalue":{"value":{"entity-type":"item","numeric-id":3533130,"id":"Q3533130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe2e6e897ec6076342a4d728e2c86426ceba68a","datavalue":{"value":{"amount":"+0.8148322105407715","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":"Q5898633$AAA86F9F-C13F-4B07-9B1B-3A655C17B32C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5898633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5898633"}}}}}