{"entities":{"Q3564025":{"pageid":5593929,"ns":120,"title":"Item:Q3564025","lastrevid":90306410,"modified":"2026-06-04T19:49:57Z","type":"item","id":"Q3564025","labels":{"en":{"language":"en","value":"Approximate Symbolic Reachability of Networks of Transition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715356"}},"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":"Q3564025$1775A495-DE1B-45AF-B7E2-72364F87CD2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3de95ca405c4a3a632627e9f531b1c8edd4001c","datavalue":{"value":{"text":"Approximate Symbolic Reachability of Networks of Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564025$9AF35D75-AB44-4485-96C5-BF88A8768EC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4697a84e8da8a532e622c0f31302ac8061cdd388","datavalue":{"value":"1214.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564025$AC3E0495-C9C9-4B71-A0D1-DE68143B9F7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f90e5f5c8ba8e91157dece1cc417f0982e002d8","datavalue":{"value":"10.1007/978-1-4020-6254-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564025$F5841140-B12C-410A-B118-443ED9A1FE93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"debabb40cdf1b099fe0bbcb66a927640d53bc295","datavalue":{"value":{"entity-type":"item","numeric-id":3564024,"id":"Q3564024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564025$8578F14B-BEAD-4E9E-84EC-6DBD2DA506AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b30d7950bd9a8ba8b3612674c6f19254fd3ac4a5","datavalue":{"value":{"entity-type":"item","numeric-id":2920145,"id":"Q2920145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564025$170322C8-2899-41FB-8B08-0713DDDEA540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afc7b9d4f40eaa57c1200b90e455053ff6abd154","datavalue":{"value":{"entity-type":"item","numeric-id":439992,"id":"Q439992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564025$341C7D44-9D98-44FC-A21C-6578A82B3784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564025$48943FA1-8BE2-4C9B-A227-3FE9EE3A6A3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564025$81348D5A-66DC-4001-A76D-EEEE9EA21520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564025$FB03D633-BD1A-4CCC-855E-71AC74E8D697","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564025$7C4666D0-89A9-4254-9952-903B3BD6A2F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae912f9a48f3a1479f3233bae2cdf4a13b1313a0","datavalue":{"value":"5715356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564025$40DFF635-5440-4C57-A200-346585207802","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ba241d73ce3ebb13573eabf58e6499157c763","datavalue":{"value":"state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564025$20F0F18B-3B18-428F-B687-209691F7A0DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564025$B7184A72-088F-48DF-B76D-4EB8B33446EF","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":"Q3564025$48EE7EC0-5DD6-4CF5-AA6B-B967D5D27836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"574295aeb43f663c6a3869e19b893e5ec95ac1c4","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564025$371397DE-E6AB-480C-AD9B-DB1BF7749450","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf798271757928ad9a4f5238ba6afe29aeee45be","datavalue":{"value":"W2101260249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564025$72C16CC4-6763-4EE5-94E4-8D9B0848A4F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8334213a383386a8f29e74e6bc9ce5d18f9d49","datavalue":{"value":{"amount":"+0.89291173","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":"Q3564025$43EF2643-FCE5-4B92-881D-0C3390EAC84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c11b81dac02acf8ba34bb123d1429aa226b60d","datavalue":{"value":{"entity-type":"item","numeric-id":5096366,"id":"Q5096366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d21fe67d5cde49b1873462cce5377402452334","datavalue":{"value":{"amount":"+0.8857949","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":"Q3564025$94E12852-9644-46F3-9A2E-08ADB94E59A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc8c515b6334fd98665263518478f738bbf570b","datavalue":{"value":{"amount":"+0.88128054","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":"Q3564025$FA534B29-E822-42F9-A9FD-1A0E02E8D996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c091b590b782bd3df6c25b801aec6df5df4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4791267,"id":"Q4791267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b92a6897e3272f004c6421940b57c0f9ef019b","datavalue":{"value":{"amount":"+0.88067883","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":"Q3564025$F6E69F44-60C3-4F7C-9EB0-78A44F9247F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e5285678827cbbceee9ed5a5efd863a1e6173","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e2af84b536674676ac12eeaca62db9eeaa68b5","datavalue":{"value":{"amount":"+0.87842745","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":"Q3564025$644F30B4-F8A6-42A1-98B3-E188B1FF715A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c37bd2cc98d9cb19a458db001822bcbdcf02248","datavalue":{"value":{"entity-type":"item","numeric-id":2753714,"id":"Q2753714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f91ac0310508a7f9a936ea74364f33799c7220d","datavalue":{"value":{"amount":"+0.8767212","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":"Q3564025$12AC14F4-89BA-4B6A-BDF2-2A5B4B67857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef99546490c361227c4f3c7bf8bf24a885b7be4","datavalue":{"value":{"entity-type":"item","numeric-id":3599107,"id":"Q3599107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb20f55dd4894a0a482ae9e821d9f27a97772624","datavalue":{"value":{"amount":"+0.8753438","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":"Q3564025$BD697C86-D145-4D98-8F68-101CDD097703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4827ab73bd78aabd37ed70c29de3c1e24223d56","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c711829eb58bcd106a9a8d8d27ab605f2f4af11","datavalue":{"value":{"amount":"+0.87520385","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":"Q3564025$C3F370BE-B506-44FA-A79E-ECC9D0F5462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"136301cccee591f26aa750e9f3095cbf5aa77b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4417994,"id":"Q4417994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901ea48ba6cfb3424a1ed3aa5f42e5c2ae65ddf0","datavalue":{"value":{"amount":"+0.87515044","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":"Q3564025$D94B3F54-4D22-46E2-8D37-C66AAE6593E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb6859f29c5aff0a708300fd05264015b63b13e","datavalue":{"value":{"entity-type":"item","numeric-id":3522917,"id":"Q3522917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a933c422fd2f5cd2667fd5f69baf6f2fbb1d81e9","datavalue":{"value":{"amount":"+0.8749092","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":"Q3564025$54A94B32-9E08-43F5-9602-E37853CDCE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate Symbolic Reachability of Networks of Transition Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_Symbolic_Reachability_of_Networks_of_Transition_Systems"}}}}}