{"entities":{"Q5034078":{"pageid":7063655,"ns":120,"title":"Item:Q5034078","lastrevid":91205843,"modified":"2026-06-04T22:32:02Z","type":"item","id":"Q5034078","labels":{"en":{"language":"en","value":"Partial-Order Reduction for Supervisory Controller Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480827"}},"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":"Q5034078$2D819A9A-59D0-4E51-B351-798F795F3D88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e174fb60c384cd35232f092956162055e3c00ff4","datavalue":{"value":{"text":"Partial-Order Reduction for Supervisory Controller Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034078$9A1802A5-EC3A-4B2A-8AFA-23E94C12CD78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb683312e86972042a851688a814148b4f0e88a2","datavalue":{"value":"10.1109/TAC.2021.3129161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034078$D0AE05D3-C909-4FF6-9C33-D3101BF11612","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba1622b54c321536c22c8ecefc54627b37f254d9","datavalue":{"value":{"entity-type":"item","numeric-id":2058492,"id":"Q2058492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034078$76723168-D8FE-4A08-9BE6-22C6C3ACCDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ff561bdeae8e94948cf506c4e9c9526a00ca65","datavalue":{"value":{"entity-type":"item","numeric-id":2766660,"id":"Q2766660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034078$7DF729CE-D859-41EE-90BF-5F4FC80FD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb03dcee105c20c3ea5b6245dd6a11a3efd3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":202488,"id":"Q202488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034078$D7C5D8FD-DB2B-4459-809A-DE2EC2CB1DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034078$21799390-D728-4801-96B5-2A34A691C847","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034078$46C73289-2809-4E54-9A94-2F7BD8AFD25F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034078$58614BED-0A3D-4C2C-B7CA-416AE95A1784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034078$574F5508-5118-45A7-8AE7-5D02F28F1E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9b3fac907a5e00f270586797f7cf5283d1dcfca","datavalue":{"value":"7480827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034078$0EE4F263-6BB3-48BF-B3A8-D496F8746AD2","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":"Q5034078$E31F54CB-C4AC-4D70-8239-A9E0D406A79A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf62d7ea5cba2c9c2e8a3479e1d46442d5b763c6","datavalue":{"value":"https://doi.org/10.1109/tac.2021.3129161","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034078$52B85574-CBDB-433B-829D-708290D89FD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87d729a9578971b6a48b3fc501d5c79bb5da8f68","datavalue":{"value":"W3216826351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034078$2DCE1395-56C3-4D7F-8A63-3347774D22B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial-Order Reduction for Supervisory Controller Synthesis","badges":[]}}}}}