{"entities":{"Q2117163":{"pageid":2127906,"ns":120,"title":"Item:Q2117163","lastrevid":54254597,"modified":"2026-01-26T13:34:39Z","type":"item","id":"Q2117163","labels":{"en":{"language":"en","value":"Automatic synthesis of transiently correct network updates via Petri games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493574"}},"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":"Q2117163$DACDA0D1-326D-4AE5-8822-437A83EB95F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f343a1fc6ae02772fa305690d535c925f525b334","datavalue":{"value":{"text":"Automatic synthesis of transiently correct network updates via Petri games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117163$D8A9889F-7B5E-49FE-9A0A-E69A6D36D2AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29c9b0e7f8cad253a8f65b3d46649eb92379d578","datavalue":{"value":"1489.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$8ED1BE1F-0E47-45E2-ABC5-DECCFBABF477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c7953bc444962638a1939612a9a8d80a95fe7c","datavalue":{"value":"10.1007/978-3-030-76983-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$0A2AC9B7-B454-4C12-9AC7-C06E652EAEEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95545b9662fcd6d700f70d769ff5b83874f9cf8b","datavalue":{"value":{"entity-type":"item","numeric-id":2117157,"id":"Q2117157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$42F12D43-CF5F-47F7-ADFA-3D04964ADFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d04cc332f6d4b3d6f978a83f5de22bc087d54d","datavalue":{"value":{"entity-type":"item","numeric-id":2117158,"id":"Q2117158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$6406013D-EFAA-4904-B5F4-6B917CE0335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0344274470b051328cd5db826f82f0b57fa2ff77","datavalue":{"value":{"entity-type":"item","numeric-id":2117159,"id":"Q2117159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$FF38C2F0-5776-4CEE-A706-74E684AE11FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f5fc778f081ac7a3c008796333d23e391030a76","datavalue":{"value":{"entity-type":"item","numeric-id":2117160,"id":"Q2117160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$2FC0DE9D-E277-4C82-98C1-53E3406A0B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74750015574618b691803646cdae0a622aef8c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2117161,"id":"Q2117161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$C1EE0A14-E2B2-4B0B-93DC-3743E4BF581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bcba7b07d4f50ef2312e8a2d6c202ae97a6eeea","datavalue":{"value":{"entity-type":"item","numeric-id":2117162,"id":"Q2117162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$5A43EF7C-DCFA-4E1C-912A-C7C1B529D0E1","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":"Q2117163$67950C56-FF5E-4D51-B9E1-84BFCF35A1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$B6C15351-5A2F-422B-9118-3FDA19DF66B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117163$951677DB-A782-4883-827C-40A88D3DC60D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$0C8B55EE-FB38-4E2F-9699-DEF27DABC52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$831FE731-BA0D-4FDF-B154-1AE960282942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$DB54B3C6-ED8B-4302-A76B-0386B11696BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$1820C587-4E51-41E4-8C41-F6BE8BA0C4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$9FBED565-D24F-484B-BC65-3263DE298893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe50ade16ffb99d4b473357bea9956a1e7bef78","datavalue":{"value":"7493574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$71AF5D0F-0094-46DD-A51D-DECC2F627199","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":"Q2117163$7C29835A-B75B-49A3-95C0-F786CC71747E","rank":"normal"},{"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":"Q2117163$0A60C75C-AC07-456D-8BFC-5769F383B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e71d19aef9d5399769c324a119f85239d2f418e","datavalue":{"value":{"entity-type":"item","numeric-id":45889,"id":"Q45889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$1B3E3AF1-5333-415D-A6E6-50192F40EAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3c4d8c8302e752bf38b7d876f8ff2541200f399","datavalue":{"value":{"entity-type":"item","numeric-id":45890,"id":"Q45890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$76F57116-19C5-4AAC-9FAF-A150217EFEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"865abd7d331c284defdfded4d6315614f9e8723d","datavalue":{"value":{"entity-type":"item","numeric-id":51492,"id":"Q51492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$EBCE87B5-B27F-4B5B-BFBA-488AC9418DE8","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":"Q2117163$2809B0B8-0A89-4AEB-8602-7DDE7ED1D315","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edc0c324735ddcb912f405cd3d967707f49f5efc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-76983-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117163$EA1E31C2-1DBD-439D-9823-9B38AB17BCE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd6c5995365d44a6cb47b85a539f23d804c28134","datavalue":{"value":"W3166300667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117163$A1B4BACA-5349-481B-8CF3-A7C94E701B59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fafddfff927562e3fd618bef38cf965c81fe20","datavalue":{"value":{"entity-type":"item","numeric-id":5002832,"id":"Q5002832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$2C79A16E-A00B-4AC8-8E0B-A59F1ED0650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$898AA473-8E7E-4E47-B3F9-5B34E4842D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$5082C406-09ED-4D57-B14A-5EA6684FF329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283a70169555a778fdf69ac73e0207aa4707b60a","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$E056B402-08AB-4430-8436-B0B61377459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720c4bb9f2115231d9e3a5a473d13c0dc7f198b5","datavalue":{"value":{"entity-type":"item","numeric-id":2226722,"id":"Q2226722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$85AD8BB6-03BF-4A36-9662-6F6F4930CE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bebfb80aade0c0beb5ff867851e561a0d28ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2814624,"id":"Q2814624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$414DE327-9DBF-4FDB-BFD7-51B7714CDF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adada7174464e4451273f4a4c004695b83fe7e2","datavalue":{"value":{"entity-type":"item","numeric-id":1675812,"id":"Q1675812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$B9F4DCDC-E838-47A2-9D0F-0994ABE5D8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c376905cdf9f10dfedd8a146c284eadd6b25f8a3","datavalue":{"value":{"entity-type":"item","numeric-id":2796237,"id":"Q2796237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117163$CB6D82EA-6956-4977-A05F-30A1D8A44478","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ede65ce4d09ca37c58459327a73536d2d9b47e","datavalue":{"value":{"entity-type":"item","numeric-id":2165522,"id":"Q2165522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ca277cce35bfd0dd344caa42c9f3d4ce39cbc8","datavalue":{"value":{"amount":"+0.7846444249153137","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":"Q2117163$7E7C7DBA-2DB9-4FBF-B5A8-E4D066B0DB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d392229acb34618b852d25b71355f8ec62402a49","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62474acf39c4d30ab0164e7c679a16c00db13afb","datavalue":{"value":{"amount":"+0.7351190447807312","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":"Q2117163$3A8CB1A0-B133-4F4D-BA90-0491E0B5E83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c592974f306693848ab1575ecb560a79b74b73cd","datavalue":{"value":{"entity-type":"item","numeric-id":2164231,"id":"Q2164231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ae0c09d949a73ed514dfc6c5d0bb1b62295b0c","datavalue":{"value":{"amount":"+0.7317830324172974","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":"Q2117163$1CC5EC25-A1DF-4472-AD74-45DDBEE41BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f207c31721d317f1373a88cd58279d0baecb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2164228,"id":"Q2164228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69beb28df3b188ed7f69395e59c80a024230fd34","datavalue":{"value":{"amount":"+0.7286499738693237","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":"Q2117163$368C47DE-51AA-4E53-9A45-81FA87ABCD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32ffdd988e634cd03fb0402efee32e6e0400686","datavalue":{"value":{"entity-type":"item","numeric-id":2835039,"id":"Q2835039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5bd71d0e2b5111b9bb390a08c28ef81df1148a","datavalue":{"value":{"amount":"+0.7128000855445862","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":"Q2117163$673EE4AA-B1FD-4011-904A-AA78116E1307","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117163"}}}}}