{"entities":{"Q5043516":{"pageid":7073093,"ns":120,"title":"Item:Q5043516","lastrevid":98345525,"modified":"2026-06-05T17:16:56Z","type":"item","id":"Q5043516","labels":{"en":{"language":"en","value":"Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596515"}},"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":"Q5043516$7CE59256-8C6F-4EE1-AA8A-99C706CDFD1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1b8ceb8085cef0b7c74fe825166ef774f3f5012","datavalue":{"value":{"text":"Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5043516$DD5C538D-49F3-4D5D-86DE-774D6FEEDE3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed28b440eef6edff049a5a55416963aa7436ac20","datavalue":{"value":"1500.93006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043516$E1014D3D-BE6E-45BD-B47E-3931EFF47CD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7edd7dfaffe1d6403cc88e042ac4a58e0ab94a47","datavalue":{"value":"10.1080/00207179.2021.1921278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043516$B7ABDBF4-B1E6-414F-A5D4-EB8FF970D7AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848a593283779b03c89b38cc9cd3554b4471147f","datavalue":{"value":{"entity-type":"item","numeric-id":2792706,"id":"Q2792706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$6089764B-10D8-45D4-B971-84248947EA31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$3DEE8C87-61F4-45A3-8AC7-3DF1A37449F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4b8c625cce62e7d70a9b6e0084c4288e777869","datavalue":{"value":{"time":"+2022-10-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":"Q5043516$FD6F4F4C-0979-4D51-B465-859A809D6402","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043516$B3B7DB6D-C008-4475-AFE9-15C16BDFE91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043516$067B6CC5-EF72-4BFA-96CA-9C36E9AE4A4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0262ffa1d453bd3c83186f7cb34db658d413c1d5","datavalue":{"value":"7596515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043516$729A3DC5-5B4B-4297-9261-7642DD358636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043516$E63C6E8F-2EA2-44AB-B004-D56293F1B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043516$76C09E6F-382A-41AF-9865-8D889DC52819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2081bcfba7e80a4b962f32600bafb172c2a4b3da","datavalue":{"value":"flexible manufacturing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043516$665BE0CB-8F39-4A59-8DEC-5F44D6DCD098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043516$03B568FE-6F81-4904-9C19-F6ED0DB0B7AA","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":"Q5043516$211B1BF2-6183-49B8-9D69-96F3E467F845","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"134a04f17c6b6c0edb6c76ecc95238d2c990e68d","datavalue":{"value":"https://doi.org/10.1080/00207179.2021.1921278","type":"string"},"datatype":"url"},"type":"statement","id":"Q5043516$38462D86-9779-4A9B-BA72-74B3F457649A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42b8110af31d734041992007ba35bc7cff6cb2e0","datavalue":{"value":"W3160292901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043516$3B90D2A3-EE88-4EF2-98AA-C1D02D579D47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae46a5745405447a6aa52a626d385194b95b4bd","datavalue":{"value":{"entity-type":"item","numeric-id":5172599,"id":"Q5172599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$95536608-E77D-4D88-B0D7-4EDD84E92256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051633ab21f6f7ca276137189d37513414ad473f","datavalue":{"value":{"entity-type":"item","numeric-id":3465820,"id":"Q3465820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$B1EF5601-145C-4479-88D2-D21FE5BB60EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152fbc995d3255a2791b97b56cfc28d276b6250d","datavalue":{"value":{"entity-type":"item","numeric-id":4684078,"id":"Q4684078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$2F1C2FEB-EDDC-406C-9B01-D8C8799DF47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2477c0cb0d421a262990f229ddb03f04f230f6bf","datavalue":{"value":{"entity-type":"item","numeric-id":2792707,"id":"Q2792707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$B015266D-1B58-4C65-94F8-179343BCB17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a86f33e2cb94aa884c2021cac28a7a9131f165","datavalue":{"value":{"entity-type":"item","numeric-id":5365722,"id":"Q5365722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$09C102B9-F218-4940-B09D-06B0EE7E1634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f078c7573801221bb8bea810d926dafcc9c0e96e","datavalue":{"value":{"entity-type":"item","numeric-id":5266827,"id":"Q5266827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$44C7E5CE-4364-470F-BD2F-7DF9796DCC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97310dab810135709cc87b9fe5d6c92f15545460","datavalue":{"value":{"entity-type":"item","numeric-id":3361901,"id":"Q3361901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$A42BF5F6-B8A0-40CC-A512-5C9176A7FE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbe0d9c0a6e742e2e5a392d4d8420716b508b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5347802,"id":"Q5347802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$209513A5-3A47-438F-B1D0-94AE14BB21DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$F16C6A1E-8A1B-4A3A-96CD-9AFA2E851FC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deeb81fd0e36d7114e91da6fc69750ac8f5c68be","datavalue":{"value":{"entity-type":"item","numeric-id":4684078,"id":"Q4684078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c553cc0e140a4051812458493e14101aace6d97","datavalue":{"value":{"amount":"+0.7660759687423706","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":"Q5043516$5F196CD1-6BA5-40E1-A3ED-C698ECAB7FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b485f3e05a3cbf6542bb04069cc169924ebd4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1871862,"id":"Q1871862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a461c821122d189c449513021ae97f999b6b33","datavalue":{"value":{"amount":"+0.6994674205780029","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":"Q5043516$C28DE2E5-E2CD-4496-8F8B-B2570940D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbc9ba4180a6d2f6a294eaf1dba353bc08ae4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4823615,"id":"Q4823615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c035c6b5ea97065754d451da3b8c51c9a06cc62f","datavalue":{"value":{"amount":"+0.6967976689338684","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":"Q5043516$2A0F536F-8D52-4B00-83D2-B56EFA5E0934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf3face0db0fd134f6132cb9b974ce3bae04329","datavalue":{"value":{"entity-type":"item","numeric-id":5756691,"id":"Q5756691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6bc25d4851ee3100441adb921ca60222fc3dde","datavalue":{"value":{"amount":"+0.6955868005752563","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":"Q5043516$0EE74442-D31F-4F27-815E-D51AF2ADA73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a68d9cf4263aa03b21e3ce4570e809ad44c6fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3359783,"id":"Q3359783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3733bedb9fb072bb2bd03c7aea0c087a0602fe8","datavalue":{"value":{"amount":"+0.6915509700775146","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":"Q5043516$73163768-E8BE-4D84-94A4-85804E6BAC17","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043516$4414C324-B121-42F5-A1A5-5CF04E917887","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets","badges":[]}}}}}