{"entities":{"Q6488995":{"pageid":14067764,"ns":120,"title":"Item:Q6488995","lastrevid":95335163,"modified":"2026-06-05T08:52:36Z","type":"item","id":"Q6488995","labels":{"en":{"language":"en","value":"Finite Approximation of LMPs for Exact Verification of Reachability Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817512"}},"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":"Q6488995$C87CFF14-D18A-4A0F-B46C-4126E53968DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9d7556d5c3e9629b5e1eb28cf4adc16ede8a06e","datavalue":{"value":{"text":"Finite Approximation of LMPs for Exact Verification of Reachability Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488995$F5258676-163E-4F40-9538-D33CBCBA30A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9519cfb0891be4a7ce8a84218721d1996b7b44f4","datavalue":{"value":"10.1007/978-3-030-30281-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488995$21EE9C02-56B8-400C-A99D-A07D78FC2FB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1345e24f55842ebb0371c2f2e21235be9320cc1a","datavalue":{"value":{"entity-type":"item","numeric-id":6488994,"id":"Q6488994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488995$57BB7D61-0D44-4F5A-8315-2EEF14B6C913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8ddfb0d343fe3cfdb2f7d5a790a7afcf3447f3","datavalue":{"value":{"entity-type":"item","numeric-id":383366,"id":"Q383366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488995$304F0BA3-1EEE-4F89-B011-C06C79D26CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93c3d605fb8e689b1b551ce77225031f1a4c64b5","datavalue":{"value":{"entity-type":"item","numeric-id":383367,"id":"Q383367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488995$2D794F01-E814-4B61-A02B-9C59D2C9E295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488995$88F7A37B-1319-444D-BCE4-B2C98C56B24F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488995$E7F85B31-5ABF-4AC0-A128-F33F8F14A36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488995$414D3C00-7633-486A-B661-C0E64767820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488995$56AFEC9D-520C-48D5-9341-897EB77BD227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488995$DC2D44FE-A1BC-4F8D-92FC-62882C537F00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73bc5be9a19bdcd516057c04ff84942fb03016f4","datavalue":{"value":"7817512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488995$7BC8A786-8ADE-4EC3-9E26-ECCF3D31DEEA","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":"Q6488995$A87292F4-16B0-44E6-AC83-8224EC341177","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e9a837203be232957d37f1b5de747e8012e61d","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17db4e4853fd5f781fc0ba3a82a0b2ad8b079323","datavalue":{"value":{"amount":"+0.7872565984725952","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":"Q6488995$C0D42D46-AF13-4D01-8C32-B9964342E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78aea85f9de0327caa6a7bf5d5d225395efc5176","datavalue":{"value":{"entity-type":"item","numeric-id":5418954,"id":"Q5418954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c0301906558c09fc51d2262052bb0aaf3c29c8","datavalue":{"value":{"amount":"+0.7797459959983826","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":"Q6488995$689C0145-3D50-451B-AE5C-255E9D99DA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7f7d24432a6aa7047ad942683679a3f4d9d356","datavalue":{"value":{"entity-type":"item","numeric-id":2844076,"id":"Q2844076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ce7e98f522f2b2a90cd177a4a2685dfeee57f2","datavalue":{"value":{"amount":"+0.7732639908790588","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":"Q6488995$C6F7E9C8-F64F-4284-BAE9-6A3F48A0F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781e908e507b0b1d2f935ceb73553ab5694cdfd7","datavalue":{"value":{"entity-type":"item","numeric-id":2888484,"id":"Q2888484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6319d595898e11e0915be7a32eca4e764d55b96","datavalue":{"value":{"amount":"+0.7549630999565125","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":"Q6488995$81CE9B6B-BF5A-4BCF-AD51-BDEBE1CE4AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f98f6f76a8455a7573440823a0a5c4197f95d0","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cca72a8660c49e5b062c43d0ba4139fbe513bf","datavalue":{"value":{"amount":"+0.7529069781303406","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":"Q6488995$7BBA2619-82D0-4569-BEA3-D7E9EE3C25B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Approximation of LMPs for Exact Verification of Reachability Properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Approximation_of_LMPs_for_Exact_Verification_of_Reachability_Properties"}}}}}