{"entities":{"Q4980886":{"pageid":7010464,"ns":120,"title":"Item:Q4980886","lastrevid":98418371,"modified":"2026-06-05T17:28:35Z","type":"item","id":"Q4980886","labels":{"en":{"language":"en","value":"Optimal Petri-net supervisor synthesis based on constraint transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6311667"}},"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":"Q4980886$07BCC9C5-7BA7-4B16-9E65-EAA44BF5FB3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a01256d082bb8a88f9aa9b7e632037ebc2431a97","datavalue":{"value":"1299.93179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4980886$2F862D68-37D7-4A6D-94E1-9EA1C32F0DDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e34a4b98bd9a6026b8487dfdf149800a628b5b","datavalue":{"value":{"entity-type":"item","numeric-id":445128,"id":"Q445128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4980886$19D1199A-E7FC-46D3-874A-CB11D0C1ACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28023503b6934b48ad5c677b97f77b5d46feae3","datavalue":{"value":{"entity-type":"item","numeric-id":284678,"id":"Q284678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4980886$96F26F6A-D446-49BE-8960-B0F74F6CD8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe20f7f147a7cfc129af3e2d547bade58d08872","datavalue":{"value":{"entity-type":"item","numeric-id":445129,"id":"Q445129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4980886$28BEB548-1141-4767-9927-53C79C85E808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434a71e54832b16870bb40bf5d7fe710085b3e85","datavalue":{"value":{"entity-type":"item","numeric-id":4980885,"id":"Q4980885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4980886$C189848D-FFEA-4160-A519-113923A4B573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4980886$B40452B2-A331-44B3-BBCA-85A72F3E168E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4980886$92FDCE31-4795-46B6-8AD5-3C6221E0EEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4980886$E4F53FE0-F841-4F30-986A-24F48D763215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4980886$FE65E393-00B4-487F-9558-A8A9EF705E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ec2b6ed923d54d6c2204d73b88b5a99ca5e468","datavalue":{"value":"6311667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4980886$5650DADA-2E3D-4A97-96F7-A8A98A91BE5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4980886$EC45856F-CEF8-40A3-A840-B01910462BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4980886$DB9BD7C6-A13D-4A6B-A29B-0AD454FFF167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e33e0d005a996700b9a805114ba18c70d74cb9d","datavalue":{"value":"generalized mutual exclusion constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4980886$97EF36FA-AFE3-4ED6-B4AA-00CFC13E30CD","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":"Q4980886$32311B93-21A7-4E98-A6AA-91806B5B2BD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b0a6e177429f616e70a083fab338b62adb322c","datavalue":{"value":{"entity-type":"item","numeric-id":2279735,"id":"Q2279735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721de045ca6647329fbbc957b1e4d64da1302b2b","datavalue":{"value":{"amount":"+0.8697569966316223","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":"Q4980886$408F6612-0562-49C9-8BB4-C0A3FD2B0AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276bf8f2d4016c19a45f65f40d13ebac96574be4","datavalue":{"value":{"entity-type":"item","numeric-id":445132,"id":"Q445132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cb941b44168479b5ddfc0a3ef7243688d31eb8","datavalue":{"value":{"amount":"+0.8531466722488403","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":"Q4980886$ABFC78AD-98F2-471A-8326-4B2D289FD1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05997d2d71266550eea4f5396eefd60c4932b329","datavalue":{"value":{"entity-type":"item","numeric-id":2508210,"id":"Q2508210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d346f76046cbfc8abab6969894fd0763482b13f5","datavalue":{"value":{"amount":"+0.8463969230651855","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":"Q4980886$C9200E69-E7ED-4837-B0F5-8C8207184E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c5321f04f2e4a56d1f11923f9d6a142967419c","datavalue":{"value":{"entity-type":"item","numeric-id":3415315,"id":"Q3415315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39737169919efa7d8b49a8c4bc36e177da2848fb","datavalue":{"value":{"amount":"+0.832660436630249","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":"Q4980886$F210048C-F65D-4580-BF52-8BD9B7BCD9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93716ae6f8c0732fbcbb04b3c05553822cbd5348","datavalue":{"value":{"entity-type":"item","numeric-id":4684051,"id":"Q4684051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f5e644ba794251f633d9f2ce9d5c81ea4ff4ff","datavalue":{"value":{"amount":"+0.831282913684845","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":"Q4980886$D016BBD6-AE7D-4B8A-B285-295A295CC201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal Petri-net supervisor synthesis based on constraint transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_Petri-net_supervisor_synthesis_based_on_constraint_transformation"}}}}}