{"entities":{"Q2789271":{"pageid":2800009,"ns":120,"title":"Item:Q2789271","lastrevid":42017755,"modified":"2025-05-22T13:50:33Z","type":"item","id":"Q2789271","labels":{"en":{"language":"en","value":"Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546730"}},"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":"Q2789271$2A381FE9-7E80-45E5-9DFA-AA5B82BD48F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9b83d683827a8321bb1a95002f7147c43377843","datavalue":{"value":"1348.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789271$91A5BD54-D4DD-4A64-A97E-4516F4A63B90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2aab34b96382af09f0a888c2bdba37fa9912b35","datavalue":{"value":{"entity-type":"item","numeric-id":2789270,"id":"Q2789270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789271$DE4F16F7-22E2-4C3E-A502-9228DE77CD0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789271$38E11703-13FA-4274-B7AB-F1678B6AC37F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"959d2e550780e653d04221609895bc6ed84738f9","datavalue":{"value":"http://nbn-resolving.de/urn:nbn:de:bsz:180-madoc-333516","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789271$52348D55-39C1-4A54-A730-1EA1C365E829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789271$8904B614-C303-4EE2-BA3C-5E33C8BFDE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789271$CE7E1CFA-CD0E-4B84-A50C-E74119FF1FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789271$9D2849A8-82F6-48E8-9163-AE4CBEAA70EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789271$DBB11894-D37A-4739-AECA-84D96948C99E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14315d4569f796f7c6e13b21a546711db2f8a675","datavalue":{"value":"6546730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789271$73351AA2-4139-4DA3-B5A7-77F9C77C571A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf9c6e33038b6fcd253d00c800e0b36348a375d","datavalue":{"value":"cooperating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789271$AAD28EFF-3D73-4FCF-98E5-637F9739A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8edc620dc15d23092043ab95247f57fae68062","datavalue":{"value":"system properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789271$3DC46A42-B216-45E8-B59B-09B635AB0EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789271$70C70E04-F65A-4112-A0F5-294AC3E8CC52","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":"Q2789271$B5C8207A-A6C4-4B2B-920F-DBEE6EAF2935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daef48118f8e68c1ebbe0f7a748778000948ab18","datavalue":{"value":{"entity-type":"item","numeric-id":3646166,"id":"Q3646166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb7bb3685666d2746b3d9c88494b4dbc4228e6e","datavalue":{"value":{"amount":"+0.86379147","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":"Q2789271$B190F9A0-2DCA-4763-973E-A5D6E65478C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b4230f2ae4ef1ed9369cc9bd12cdc7d55ec920","datavalue":{"value":{"entity-type":"item","numeric-id":4982083,"id":"Q4982083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d27519b1b35cc5327492618df99cd808cba07e","datavalue":{"value":{"amount":"+0.85549176","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":"Q2789271$3494D4B1-93BE-48D2-86CE-BA95743314E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34dcfacd67f56fb8782fd4fd2dbbc8bf3f6df42","datavalue":{"value":{"entity-type":"item","numeric-id":5039520,"id":"Q5039520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eed0a6b5bd1a00c5498d4ad23e81e99b61dfb1d","datavalue":{"value":{"amount":"+0.85529923","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":"Q2789271$754ED55A-6542-4428-8C96-A35192352336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668834c8aa0ca84a733fac36729bbe7a7180cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3564025,"id":"Q3564025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f844639de38d95c41007959ef88b84c7de32de","datavalue":{"value":{"amount":"+0.84865344","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":"Q2789271$5D5AE064-C956-4AED-81BC-018F69075E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa4dee41d93fcd94fa5a3036e40c98807202e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1098622,"id":"Q1098622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cc4244c466b761db2c08b0a654b9343daf2659","datavalue":{"value":{"amount":"+0.84486514","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":"Q2789271$6048A193-12BA-4A0C-941A-93D4F38F7B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998396b695b2bdbeabdef8fa5ec96cec3719d0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3127436,"id":"Q3127436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e03150251aaf5f6f710f156f00aff10b1fa379e","datavalue":{"value":{"amount":"+0.84078884","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":"Q2789271$357B9616-2B33-4428-9C3E-A6BAAA773A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ebfbc2eb7b075b7ef79fa93ca63409a53de318","datavalue":{"value":{"entity-type":"item","numeric-id":856411,"id":"Q856411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b8679cd1d51b046e309b73109ea27fbcb12f08","datavalue":{"value":{"amount":"+0.8367112","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":"Q2789271$60EE23A7-4791-4F0F-8376-0A7F8192EB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9c1ac5781ddd3d22c288d25ba34a1a44ee5e1f","datavalue":{"value":{"amount":"+0.8357562","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":"Q2789271$19EDE33A-CC6C-4ACA-AB04-205E76F766B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9c1ac5781ddd3d22c288d25ba34a1a44ee5e1f","datavalue":{"value":{"amount":"+0.8357562","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":"Q2789271$42C5E576-12B5-45DD-8C41-F46964F6E28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3a553b62a3c27868d99f6be9eda412ce9504e5","datavalue":{"value":{"entity-type":"item","numeric-id":5496194,"id":"Q5496194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db01a8c5afcdeb77a5b2fb9576ce6a2a3857f037","datavalue":{"value":{"amount":"+0.83454114","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":"Q2789271$EBCFCB18-6672-40FF-8218-52252F165B6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e276e316914278ee458be8b6f244665758176b4","datavalue":{"value":{"text":"Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789271$0B9EB7C9-8D77-4A12-B94F-C0CF033C3E7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2789271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2789271"}}}}}