{"entities":{"Q5500572":{"pageid":7530132,"ns":120,"title":"Item:Q5500572","lastrevid":41803177,"modified":"2025-05-08T13:04:43Z","type":"item","id":"Q5500572","labels":{"en":{"language":"en","value":"Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6471316"}},"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":"Q5500572$8003569B-1960-4F63-A3DF-995BF977564A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83f36024065fa9358106e02c5f045648b3d14e3b","datavalue":{"value":{"text":"Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5500572$11A614B3-A02B-400B-873C-DC9851488348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d82bd7249aa4f71a87307531436b2821981b996","datavalue":{"value":"1448.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500572$34ADB849-3142-420F-B97A-3116902B2361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0738125604521bd69f41ff15644a9162cb8047c3","datavalue":{"value":"10.1007/978-3-319-10512-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500572$09DBB3DF-5372-4EF4-BBEE-7760BDAA1817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e045ed71ca457ccd7511794bf3d37e68f9ab22b","datavalue":{"value":{"entity-type":"item","numeric-id":5500567,"id":"Q5500567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$3B3807F4-EA1D-4A63-A4F5-410B7C821C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9030ac8fc4754f076c196e1b10ae8c83fcf942b","datavalue":{"value":{"entity-type":"item","numeric-id":5500568,"id":"Q5500568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$37D09B25-6EDE-4C36-9BC9-E1B61FD8C35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f60d8133609ae6518172935d6979dc8085c9a24f","datavalue":{"value":{"entity-type":"item","numeric-id":5500569,"id":"Q5500569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$00496984-599F-4E2C-A32F-E38FBE7D23EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b682a071882c3c3cbc0d087d48088f701a3bc53c","datavalue":{"value":{"entity-type":"item","numeric-id":5500570,"id":"Q5500570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$493EA5EC-4145-4976-86A7-7F23D85D7A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"505c731528caf969f8314e85e9d68e80a4e9082f","datavalue":{"value":{"entity-type":"item","numeric-id":5500571,"id":"Q5500571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$68963B2D-7B05-4561-901C-F2CBF584AF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$7C22E98A-8CB8-4C00-BC0B-E49032EE11D3","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":"Q5500572$0265411E-E0CD-4523-AC6B-51EA5BA166E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d35fe9c4d597c0c2badb44e584c1da64170de","datavalue":{"value":{"time":"+2015-08-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":"Q5500572$D4E5366C-4806-469A-AC79-520E9CD919A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500572$97EBC663-C74A-41F4-963B-98FB24A2F0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500572$E388CA6D-0923-4A65-A4BA-47250D8E50D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"317781a0c3954abbfa5587be6c13c3777f77678f","datavalue":{"value":"6471316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500572$5B1A735D-A361-4C55-B934-B7217305EA1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec4b83e167fb901bddaf66776abfde5fc423d41f","datavalue":{"value":{"entity-type":"item","numeric-id":13691,"id":"Q13691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$3833588C-33F5-4DE3-9C37-625711ADC085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5500572$99397B3F-4169-4E17-B17A-0F8973A15311","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":"Q5500572$745AED76-12FB-4536-B00D-1D56C207C852","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bb643825b761120ab31bc4f5a00ff5fd4f8d9d9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10512-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5500572$E00E2FB2-C248-45CD-B323-9B4E10AA143C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e2909cc05930030f8d154f7e6967a99b32438d3","datavalue":{"value":"W59226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5500572$3BF312C0-E91F-4B38-96D3-FD63D41E8E47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4d5eb5d654679ab864f5857887e8412bf7154f","datavalue":{"value":{"entity-type":"item","numeric-id":3075507,"id":"Q3075507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84757afb6bfe5847cd55d524a318a8c249d62c8","datavalue":{"value":{"amount":"+0.9105835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$67ECB4D2-19B1-4929-B34F-3F366C1CDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf4f5f5ea625b7c8282006bc5cf9d9d7908d04d","datavalue":{"value":{"entity-type":"item","numeric-id":4535185,"id":"Q4535185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfe51420063a6a9a1fbb643aa243f4a7a37e331","datavalue":{"value":{"amount":"+0.89160883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$22F6DE78-5A44-44D2-B153-BF80DAD57CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08631eb0ab380bb2ca4f9343c58a4cc7f0148a50","datavalue":{"value":{"amount":"+0.8895781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$046B7BB2-70E7-4DC7-AB46-7E0891D971F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fe99a1e450c5cc5d441a8a8b559566f72bf946","datavalue":{"value":{"entity-type":"item","numeric-id":4270060,"id":"Q4270060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c327859a919e4adeb1be42dcba4e7ee74909d8fb","datavalue":{"value":{"amount":"+0.8887344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$A37D58E2-86D7-421B-A05A-525C881E6035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86252b9d4d861a49b9ff555c09c6564c296ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1749475,"id":"Q1749475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caae509bfc22677cee0eaff31f50422e06c66993","datavalue":{"value":{"amount":"+0.88662267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$F4D6E90B-D79B-4AFF-B77A-8D3C3948E931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6772dd4ed6a93faf5dea75aebe1f3d266561","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8df39b1dab74561441eb30746d9db6eaf139ab4","datavalue":{"value":{"amount":"+0.8859279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$138B14E9-1CAA-4554-BE40-9A43CEB2BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a890860080f717733feba12e4f7f164cb5264da","datavalue":{"value":{"amount":"+0.8852695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$FD38F446-046F-4E9F-8AF7-EA0430ED96DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64123a901157b3c6f1f91e8972948756361d9327","datavalue":{"value":{"entity-type":"item","numeric-id":3602751,"id":"Q3602751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7811217f9efe7a567e9d0f0dc671d3912e602ea6","datavalue":{"value":{"amount":"+0.8851719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$E9749621-802F-47C4-A800-47BA9A513CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a1cac1d38d067f829ce99755b8b85e55c1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5168522,"id":"Q5168522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2caee6c992b3050628914326c56c81f0abc98711","datavalue":{"value":{"amount":"+0.8812126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$467EF64F-A058-48F8-88C5-2DB470382D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f528ac7225e6fdd727d5fdc3976c6036d2f46b","datavalue":{"value":{"amount":"+0.8807678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5500572$E2A6F404-D282-45C2-BBB1-30093EAB512E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5500572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5500572"}}}}}