{"entities":{"Q5711500":{"pageid":7741054,"ns":120,"title":"Item:Q5711500","lastrevid":48607009,"modified":"2026-01-05T09:01:06Z","type":"item","id":"Q5711500","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235916"}},"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":"Q5711500$CA04BFE6-8818-455F-AE1A-60E7DB4D3D7F","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":"Q5711500$1452BCCE-6C45-4048-A065-22F1404AD62F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cecf9695e3156ffc0a59896aae9458117326a5d","datavalue":{"value":"1111.68505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711500$3C7783C4-B314-4247-91E4-B75839DBF4FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711500$37C4D54B-DBE6-4F5C-A2E4-AEB9A1D0BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711500$3A299442-A30B-4372-ADB5-20800A515C79","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":"Q5711500$6400F6E0-D953-451D-A235-7BD275B21503","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":"Q5711500$C41FB74E-0A3D-428C-BC6C-B31CD91731A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711500$2E690328-791C-486C-BDD6-056B3C3723B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72cc13619b5d879735bbba2f681c2d6bd3203525","datavalue":{"value":"2235916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711500$0CD3E1DD-ADD9-4703-B553-0EAB8D558866","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":"Q5711500$1728FEDA-83CC-47C1-BBC1-76089078D74F","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":"Q5711500$B9DD040D-F8FC-41B1-9888-28D86D24DFE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711500$B39EEC88-820D-4E21-9227-D67915319FBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711500$870626F1-B58E-4262-ADC7-C1A3959470F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9c35c1fc0045b9c06a56265254a3ad1b15437b","datavalue":{"value":{"entity-type":"item","numeric-id":3400933,"id":"Q3400933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66130ef3f69bc92cf1d7f60607941e476fa2b792","datavalue":{"value":{"amount":"+0.8148137927055359","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":"Q5711500$6DD2E712-2C65-46BC-8501-989FF6897C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a4abb2dc839a7d6d48961976335b25bd86e344","datavalue":{"value":{"entity-type":"item","numeric-id":3453646,"id":"Q3453646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30d9e5fb9a6b1461dc52e02525e6ce3d05d5c81","datavalue":{"value":{"amount":"+0.7600613832473755","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":"Q5711500$50B84AF5-EAC0-413D-8B9D-1C118848675F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4bf8ba2fda894883395d697d19ca23c26fdf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5265519bed36b39d3b2abd94366bb88e483b1ba0","datavalue":{"value":{"amount":"+0.7422650456428528","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":"Q5711500$2C68D5E8-CC9A-4C24-A35F-FCAD3A6288B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1389c3c9b64ad3a7b94c73c0118a356cb0ee25b5","datavalue":{"value":{"entity-type":"item","numeric-id":656846,"id":"Q656846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dfdbfaef81c3c39e4897c52a071726b800d1265","datavalue":{"value":{"amount":"+0.7325600385665894","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":"Q5711500$EA03C688-EF25-4B5A-8663-437C528D9415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c37c2b9af86513bfa9512c91b39fc03289f9d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2381502,"id":"Q2381502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdab1305bc04624f180b0ed9d834fcc610aebbcd","datavalue":{"value":{"amount":"+0.7291076183319092","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":"Q5711500$7A38132F-53C3-49CC-9A62-4285AFD32274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711500"}}}}}