{"entities":{"Q515654":{"pageid":517421,"ns":120,"title":"Item:Q515654","lastrevid":62449002,"modified":"2026-04-11T06:09:38Z","type":"item","id":"Q515654","labels":{"en":{"language":"en","value":"Petri games: synthesis of distributed systems with causal memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695638"}},"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":"Q515654$86B59EA3-38C6-42CD-B654-A1050F2E0BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2b4c16765c40cf2fe6fae9af7a5de63d0bf6acc","datavalue":{"value":{"text":"Petri games: synthesis of distributed systems with causal memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515654$B9AEA1C9-E443-4F7C-A931-AF10A7E6D7FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8febc2d6b98e08163ac1397b7f57e3a74e1a331d","datavalue":{"value":"1362.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$F7628E0A-6693-442E-A388-D4BE534A1C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$E238380D-126B-40D0-B84A-842ED42C267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$23A45704-43B2-4E87-8117-1BD522C00CB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$C5DDAE68-7E28-426F-ABEE-E791CBF04119","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515654$79F49257-0740-4A50-813C-0F6CF225DD06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afe978093731e3ac78964799ac2ccf2d0454aac9","datavalue":{"value":"https://arxiv.org/abs/1406.1069","type":"string"},"datatype":"url"},"type":"statement","id":"Q515654$04C1CFD6-9021-48A5-B2CA-016F1C833BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$AA1AE069-51C2-45D0-93F2-F5BAE30A5530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$C590B8C0-8210-435C-BA1E-3809E9B33627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$C3FDC167-0B92-41CD-BC03-4671A028B267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a484f37da70a403a5e20b1104647c975705dfc7","datavalue":{"value":"6695638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$A3DDC3A2-C4F1-424E-8517-DA77AB74E859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$3342ABBD-BA06-403D-B319-98ADA5C5CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$4E910332-E685-4F65-A4D7-C9D84F823C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$13A4E13C-A502-464F-8503-61EDD2F839B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1262d51f50334708902b19dcd78f24e1a994f9ba","datavalue":{"value":"cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$9C9D4602-85BD-4FA9-85F5-CB83E98F91B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$3D938142-AD91-4316-947F-B06D424D3C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e219e52de8a2e4a2a8c425a49567f4498b828c","datavalue":{"value":"graph games","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$4293827C-AD7C-4090-9162-8FF02426F30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q515654$95D63D81-F4BD-4E46-BAFB-74F45DD2818A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73caf41d18f3f22691c16cb1cdd7440b8e008e7","datavalue":{"value":{"entity-type":"item","numeric-id":13317,"id":"Q13317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$283A3767-C4A4-49ED-846B-12F8E83E3805","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":"Q515654$D37F034B-1D11-418D-9A33-4F5B86D3095C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb371934eb6f5b2c65187cee2bc8af29f2f77597","datavalue":{"value":"W1993831991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$1E65A6B7-B6DB-4C41-999F-E1ADD3DF7E7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e6637417d98966f8584d693021419e4d9aff84","datavalue":{"value":{"entity-type":"item","numeric-id":4995371,"id":"Q4995371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$A3C1C0D4-39EC-4477-9E1F-1DF2AEA64307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$3B33CB88-9C13-4717-ACE1-8764EF678454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$0E748283-CE14-4E31-9E4C-F8F8A805D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eaae5f3f3287304f74412ab11d87eda5bd150f","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$91EA297F-5A90-4CFD-B1D6-D5E240531852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$25F5B736-E617-4E9A-B3B8-99E9534B7BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$9ED048C0-FBFF-475F-8653-89D21E6E2E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$88F9DEC9-4881-4526-8527-E7FA6A4A44FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348ea46eb2336e82df887e43a2ff889e1f10ee80","datavalue":{"value":{"entity-type":"item","numeric-id":3854623,"id":"Q3854623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$BFC14E57-B9F2-4DDB-AB1D-61C336FF620C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$01335158-B2CF-4EAA-A77F-E6801A042C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13587f82224ebc2d5c8a0e1f19ddb3b39ae07a02","datavalue":{"value":{"entity-type":"item","numeric-id":4372017,"id":"Q4372017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$062445BD-A902-4F82-BE19-7BAC0EF9A9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$194FA3F8-95A5-409D-92E7-376A92BEC708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bd5fdf5aa5844fbfdca79209f802260aedff52","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$D1B3E72C-A2F3-42B6-AE3C-8ED16C924379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481f9dacc7da7183dc5d201491ab3cd011b09502","datavalue":{"value":{"entity-type":"item","numeric-id":672872,"id":"Q672872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$F80D6D88-DD36-40F0-A354-956A94395FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$A916313A-0AAD-464C-8ED7-9D09DE960013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$BD39534E-19E0-46A1-B2B3-32D2A8E67576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$70B7B3A7-4A41-4983-BAF0-EF9C0341EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd043504df62fd841e9e840351450e2b71b58b9","datavalue":{"value":{"entity-type":"item","numeric-id":5743484,"id":"Q5743484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$A3067D37-7EBB-4C38-94D0-6A4E847810FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4f3ec7f409d59dd76c842992bd7c51e96cbfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5292620,"id":"Q5292620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$B4C5B3BC-27A3-4E1A-AD16-57770963DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d35691c4359f85cf61b888d8c79d316b4ccda","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$076BE86A-3DBF-4D3A-BD7B-F6DA7E46FD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$BBF4D1EA-3049-4A46-92F6-7C47872122C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$C53B4FAA-2B26-4499-9CE0-48EDB2661D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782615f367b4c7981c5f415c8f3458e7e600e9de","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$04AB469F-7A83-434B-97D6-EA23E2BC15C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c37b7935945849a0c865115575d5143a9686de","datavalue":{"value":{"entity-type":"item","numeric-id":5190785,"id":"Q5190785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$A9A25DD5-0DAB-4006-AE9F-2077849B2282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aad40e50dc07b7f7de0a5587443b999e837b95","datavalue":{"value":{"entity-type":"item","numeric-id":3449635,"id":"Q3449635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515654$5E70CF14-B28E-45C3-B63B-2AC09E852CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7474b37c401143565cbab3ecfee77632feba67","datavalue":{"value":"10.1016/J.IC.2016.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515654$06D941B2-36B4-4272-9FD2-2A83B4CB74A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdceaf1226149e3081ff5995a88acbaea73a6f2","datavalue":{"value":{"entity-type":"item","numeric-id":4995371,"id":"Q4995371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec92c2ff25c626daa6979eda751e290f3c4ccdb","datavalue":{"value":{"amount":"+1.0000005960464478","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":"Q515654$97919E38-41A1-4BE4-8920-6A35FEB46946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92949456f34c51d10ab7d2d25ce5d28952c227d5","datavalue":{"value":{"entity-type":"item","numeric-id":2165240,"id":"Q2165240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7535dc8ef0ec5ac2e7e98a9e40ca5c3add26eaba","datavalue":{"value":{"amount":"+0.8779282569885254","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":"Q515654$06AA1CB0-67C7-45A4-9B59-BB282C244658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb58bad087e35ddfc8368ac08a11d0ac561f8264","datavalue":{"value":{"entity-type":"item","numeric-id":3449635,"id":"Q3449635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240a02f924aaa668f204d4d15b4ec1f91323f368","datavalue":{"value":{"amount":"+0.8528923988342285","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":"Q515654$62B2384F-78EA-40A0-9C21-045EF6785066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e461d25ee3c8fe953d7418223ffc2863af098be","datavalue":{"value":{"entity-type":"item","numeric-id":6045029,"id":"Q6045029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6d5bad6a75d0bede4a7031203dd7c6359202d5","datavalue":{"value":{"amount":"+0.8300417065620422","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":"Q515654$DB912A23-E339-4CBD-96FE-C775F497D44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5daebd12befc49456f52b112720ff89591ad7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5136320,"id":"Q5136320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec137899852b6cadc3ea78803873d5862fc5fe5","datavalue":{"value":{"amount":"+0.7912815809249878","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":"Q515654$9C55A950-3D76-4262-B70B-C6B10E489371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri games: synthesis of distributed systems with causal memory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_games:_synthesis_of_distributed_systems_with_causal_memory"}}}}}