{"entities":{"Q463845":{"pageid":465612,"ns":120,"title":"Item:Q463845","lastrevid":62021964,"modified":"2026-04-11T03:14:44Z","type":"item","id":"Q463845","labels":{"en":{"language":"en","value":"Bisimilarity enforcing supervisory control for deterministic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6357781"}},"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":"Q463845$1BD0B638-8C9D-41DB-B517-89F419844A29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27284562ed9b65736b18ec03d2bd066257433e95","datavalue":{"value":{"text":"Bisimilarity enforcing supervisory control for deterministic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q463845$B64D56F0-264A-46A6-9F26-71D542AEF5D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1d68838a0c366e7590c14b1cd56ca1acd38fd51","datavalue":{"value":"1298.93015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q463845$9A47FEA1-340C-48C0-A601-B02836F9C932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0f7ffa047b4f1f2b05e6aa590c94b7bcbd97ff5","datavalue":{"value":{"entity-type":"item","numeric-id":360668,"id":"Q360668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$E7A596E2-FD78-449C-A1A9-9F1CD60F7067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f04ca6f30388a438881098e4a0f481a17b8fdf","datavalue":{"value":{"entity-type":"item","numeric-id":501135,"id":"Q501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$F92D8C45-01EB-4D89-93D2-C16BE77047DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9297a790143ec068c11a69935342038bc22606a0","datavalue":{"value":{"entity-type":"item","numeric-id":161934,"id":"Q161934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$536D56B0-1261-4AEF-8FC8-C750560D0312","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$456675B7-92FD-4ACA-96B5-B40AFF726FEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d8845ab49fbe24826dcd73f97236adcedcbe2e5","datavalue":{"value":{"time":"+2014-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q463845$E18947BD-4C60-4028-A49C-C6100E832209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f46bacff14feb6d4db2ddb0b50aeb67183369a71","datavalue":{"value":"https://arxiv.org/abs/1203.1745","type":"string"},"datatype":"url"},"type":"statement","id":"Q463845$B3416D41-E0BC-40E0-A5AC-4BFDE75AFC32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q463845$EF7CE11B-9013-4751-99FC-C2903EDDB758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q463845$FDF7921D-2EDC-4035-9FB0-50B8DA4C19EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b08e9a51d2714b1dd7c30f61f8e8127277ed76fd","datavalue":{"value":"6357781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q463845$F6A57C40-60EA-4108-8F5B-1F70F3FC13BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q463845$9DA2A683-7194-494B-BA9A-6401AD40AE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q463845$7D9F6417-05D6-4D48-97A4-F71EF8E0FC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q463845$46593475-91D3-4E0A-9C7B-DD56C09F380F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$9CB2253D-1DB8-4377-8D74-821CCCC1AE7C","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":"Q463845$76FB09C6-205B-4B94-BB7D-63A84FDAAFFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a74ce83fe7646228362732f6a0f4c2e4a9d3c30","datavalue":{"value":"W2101094514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q463845$30B526C9-CBD6-4BF0-9581-85356F8AB45B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$EE69C0C5-2EC6-4CB2-9C70-90A070D01AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf9b06ba421304c939d6927953c80a94194f73f","datavalue":{"value":{"entity-type":"item","numeric-id":540161,"id":"Q540161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$4A9BC1A9-3D05-4990-B947-5CC961C4EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$3AF59519-04D9-4BDF-BD7A-EAFA2931076D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$76806B5A-6CE1-4838-B838-CFDCB7630152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$E614C650-2472-498B-A702-3DEDD5CF8EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d383d9f59192cefc4d4c3bcb4baf2e12563dca","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$01725BF7-F8B5-4F93-A9ED-229C315C543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a28349a892f527cf8b304a872b2118d46316af6","datavalue":{"value":{"entity-type":"item","numeric-id":5347940,"id":"Q5347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$C26F000C-8698-4F6A-A030-3D1BF3EDDA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0480f50c7efd670136abad68832942079af844c3","datavalue":{"value":{"entity-type":"item","numeric-id":5281829,"id":"Q5281829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q463845$AE3D58D5-5E4F-4E68-81A8-AEE3DDED2B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0303aed462006b6f086d248c9f365455829f544d","datavalue":{"value":"10.1016/J.AUTOMATICA.2013.09.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q463845$EFDD8F89-0FE7-4D36-9B1D-F9EF78FA53AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaf5463544c9e1cb5fac226f07b860c7800ed91","datavalue":{"value":{"entity-type":"item","numeric-id":3194124,"id":"Q3194124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98e1f1616a63c32356cc0d3ada4ecb2a369ce02","datavalue":{"value":{"amount":"+0.8598629832267761","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":"Q463845$3F5D6D34-9610-456F-A28A-5016D390D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d333130ba54349f24f434e842015cc5f8a23aac","datavalue":{"value":{"entity-type":"item","numeric-id":6103006,"id":"Q6103006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfccda19df848ff3724a19ba2173c2e7fea9318e","datavalue":{"value":{"amount":"+0.8566195368766785","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":"Q463845$0A9E860A-8FFB-4707-A589-62F4D6D1F942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652c93e150bb487b7322b28c9d703daea06593b4","datavalue":{"value":{"entity-type":"item","numeric-id":534301,"id":"Q534301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776cb3ebde6d63abe26aadce16d37b6d49cece74","datavalue":{"value":{"amount":"+0.8564150929450989","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":"Q463845$FC6B68C1-9434-4E64-8D15-1278AB3AE49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c783faa9b02ce48636ca31f4613265fb4001e7d2","datavalue":{"value":{"entity-type":"item","numeric-id":463849,"id":"Q463849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33ec737faed0621697fb8305178e718dfde72e1","datavalue":{"value":{"amount":"+0.8498890995979309","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":"Q463845$96105E8D-656F-4C50-8DD0-5D104A428AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1328a896cc4d001aedf9910fa5f24b95c6240313","datavalue":{"value":{"entity-type":"item","numeric-id":2828481,"id":"Q2828481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba2425e2772e1a19e59a6fca094d8c01d97c64d","datavalue":{"value":{"amount":"+0.8384824991226196","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":"Q463845$6BC76063-6A20-4B8C-90B5-E3C853B816A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimilarity enforcing supervisory control for deterministic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimilarity_enforcing_supervisory_control_for_deterministic_specifications"}}}}}