{"entities":{"Q5711510":{"pageid":7741064,"ns":120,"title":"Item:Q5711510","lastrevid":48607063,"modified":"2026-01-05T09:01:07Z","type":"item","id":"Q5711510","labels":{"en":{"language":"en","value":"Verification, Model Checking, and Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235925"}},"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":"Q5711510$5266F2AA-5185-438C-B168-95CA69A8E9FC","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":"Q5711510$961183A9-CEFB-42F1-A919-5056B5CB5C1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2a90aa7ec32211f987ba117bea48996a0a8cae5","datavalue":{"value":"1111.68492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$A941F781-2885-434D-ADC6-D00AC739066F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79cdc6798004069a0c05cd646360528ca8f098aa","datavalue":{"value":{"entity-type":"item","numeric-id":845240,"id":"Q845240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711510$98915D5B-40BB-4B9B-A957-8025E3E55106","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":"Q5711510$A33CF3B4-0957-4A07-AC05-81E6A329EB9A","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":"Q5711510$EFA66E7E-3A4F-440B-B1D8-70C446814573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$FA584EAA-37CB-4D38-B900-19D3590B4384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"235c6ea5e302e28be6b7d95307dac1a9f1d2b5b4","datavalue":{"value":"65G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$983CF7BA-7673-4D2B-8F11-BB96734AFE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$9786CB28-131F-4A75-8A74-D6D5FDD43CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1defbde367a72fd7e2a1c6f87ea419cc29009fa9","datavalue":{"value":"2235925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$81D6EA36-301E-4C06-9405-E2576A874B76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"089dfe8b3630a1111dc879dafcb8ebf8404573f5","datavalue":{"value":{"entity-type":"item","numeric-id":15924,"id":"Q15924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711510$AA8FC214-E58A-47D0-AAC4-35E5BBFCB661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d2c9fa79e9817d3cb1f61f0ebc527d5abe9d901","datavalue":{"value":{"entity-type":"item","numeric-id":13352,"id":"Q13352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711510$A3E78DFB-C3C8-484D-B4D4-A072DD1A6997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cb3c4346e21035290ffc7a56d0210636d703535","datavalue":{"value":{"entity-type":"item","numeric-id":24934,"id":"Q24934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5711510$F4797D19-FE93-4A7B-A5D7-DCB01304498B","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":"Q5711510$9787BDA7-1BA8-4CDE-A9E4-9F76814DC169","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":"Q5711510$6E410F9F-8261-49B4-B224-EF3410A6B1C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$62490CFA-7149-4E5E-961F-94C756807ED6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5711510$8C04A004-48E2-424B-A658-CC0322776A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b912041c0bb4b6bf2910ba2468279c5a6153e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5308361,"id":"Q5308361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d77b98be3c2f489005b52689cfc8eeb5c9388d6","datavalue":{"value":{"amount":"+0.7767704129219055","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":"Q5711510$4EE9EC93-504B-4609-9BDC-FA0028223680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cefeb3c7b26e7f2acc8474be985e50d1dd8473","datavalue":{"value":{"entity-type":"item","numeric-id":853732,"id":"Q853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6c1db3b2deb0c17c784383267860d3c658dac9","datavalue":{"value":{"amount":"+0.7632662653923035","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":"Q5711510$991561B2-2045-4DB1-90B1-5C733E5504C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b2cf45bdfbeced751a623edc45b2828ba7cefa","datavalue":{"value":{"entity-type":"item","numeric-id":1392276,"id":"Q1392276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1300743a2f3760b378a9b8a626a7106ca7f4f0a9","datavalue":{"value":{"amount":"+0.7624626755714417","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":"Q5711510$77E9BADB-7829-4BF2-8C42-FB9C3893EF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cddae5a820b39552d7f062c503d1815590c6dfe","datavalue":{"value":{"entity-type":"item","numeric-id":3638088,"id":"Q3638088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46731d32a210864f01ad9e92a78d1b2d0c6207a","datavalue":{"value":{"amount":"+0.7600241899490356","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":"Q5711510$BD3BA024-6AC2-478F-9B12-8C12950CBE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4730a7a756b87b7b0c3abf3eb63ce731c03083","datavalue":{"value":{"entity-type":"item","numeric-id":3809129,"id":"Q3809129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214faecedbc4cc318d667e0ed0fc5fe03240698c","datavalue":{"value":{"amount":"+0.7477365136146545","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":"Q5711510$3253BE19-CD95-407D-A367-EFEEA7A23F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5711510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5711510"}}}}}