{"entities":{"Q1176112":{"pageid":1186861,"ns":120,"title":"Item:Q1176112","lastrevid":69807843,"modified":"2026-04-13T09:31:51Z","type":"item","id":"Q1176112","labels":{"en":{"language":"en","value":"Factorisation of finite state machines under strong and observational equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13469"}},"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":"Q1176112$A84AE9DC-BD3A-4B2B-9DEB-943605E4945F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27d9245faa3d3507caaf9325935e3dcc1303c3b7","datavalue":{"value":{"text":"Factorisation of finite state machines under strong and observational equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176112$A0708EC3-A610-4BAF-B537-25E974D2605C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5c8d12f1bc44b2b12f0a6ba10016f677fc4f262","datavalue":{"value":"0738.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$A26079F2-20D1-42FC-A45C-103DE2C6D2E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38871b0fdea81c37327cf8391f02fef9e7fd2cd0","datavalue":{"value":"10.1007/BF01245634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$64B8180D-B322-40C9-AF89-D8DD514FA289","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$09DE5D92-E281-4CBB-AD57-0704FD501138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$22FD7577-BF11-446A-BAC6-7B06007E2F8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176112$03468211-38BE-41E2-A760-430FB5E00B00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$013A3BB0-7710-4916-A7F9-364CD9110587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$25D48969-E989-411F-8606-C643FD75699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$F338C603-A0E2-4549-A98E-CD23DBE06DFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1f9c33a0e61e8d3bb8ef625893e3ef808852cae","datavalue":{"value":"13469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$C17DCA25-5706-4441-BDCF-970F7CFC6702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176112$2317059E-0E72-4A00-A8E1-8015BC9752CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176112$620C70BA-070A-4184-8D04-F2239F261A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fa2009325dcd5026bec4da1396c937af044a84","datavalue":{"value":"top-down design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176112$2FCFE99E-C4C8-4987-8283-B2EECBC43A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176112$2CC97EE2-ECD5-49B9-9DB0-AFDD8900B95D","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":"Q1176112$E057272B-E8F1-4567-9AAE-BE9218402241","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd9161c67ef19acba698eee6401eab31e2fdda","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$BF615D12-35BA-4AFF-9693-B2B0C0A1FA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b1b225889f83bfada58658525bacbd896b00e3","datavalue":{"value":{"entity-type":"item","numeric-id":1088404,"id":"Q1088404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$32A23D9D-398D-4891-99C0-DBFC04DE6809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c88fdec593483662a89d28548d30f5a2ef29857","datavalue":{"value":{"entity-type":"item","numeric-id":3964002,"id":"Q3964002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$8A95176A-8793-4A88-9952-E7DBD0D2B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$64212869-8F51-4E7A-8AAE-4C6DA9944F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$546B910E-2DEE-4B34-A4B4-3FA44366AFF7","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":"Q1176112$A718FEAF-144A-40B7-8A24-8F445E5D8C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d4584907f56a4407554b758acfdbdf1aa46169","datavalue":{"value":{"entity-type":"item","numeric-id":1262748,"id":"Q1262748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$2F995E85-18AF-4504-9499-4B1580482B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028d9a196fac11f2cf4140a3d40882557963247d","datavalue":{"value":{"entity-type":"item","numeric-id":3823806,"id":"Q3823806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176112$7A95744A-5645-4896-803C-064296313452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea4695e35c39d841d95e0f4c9e8e7f3f0309d8e3","datavalue":{"value":"https://doi.org/10.1007/bf01245634","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176112$EA184F0B-296E-463F-99E8-4DB938E8FBC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbe0a7c52b7aec256a4aec0fba361d182b10abc3","datavalue":{"value":"W1972689210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176112$2D062CA2-889A-4F3F-88A0-D0120E442A69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dbdfdf2b32f55800ec6deb04dc12441d4682bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2891388,"id":"Q2891388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d4a0edb8b6fd1ad6a8bae42c1c4e00be3138f5","datavalue":{"value":{"amount":"+0.7699518799781799","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":"Q1176112$8C6B0CB4-3103-4B11-B325-E820FC2148C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8fd09ca8ce140cdee7a6bc0ad33edac4247c15","datavalue":{"value":{"entity-type":"item","numeric-id":4540239,"id":"Q4540239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bae8c2611c757f01224ed9ca0dbf0385f2c9995","datavalue":{"value":{"amount":"+0.7544159889221191","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":"Q1176112$59D0379C-84C6-4139-BF33-852364840A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ae5a9fcb3f6966a3a69dad89d48bb104c93815","datavalue":{"value":{"entity-type":"item","numeric-id":4028130,"id":"Q4028130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bae8c2611c757f01224ed9ca0dbf0385f2c9995","datavalue":{"value":{"amount":"+0.7544159889221191","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":"Q1176112$B6F4CAC1-94D2-4DD8-BB5A-7932BF31400B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516bd943972c6cbd6b22be160d797dc7e9735399","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6670395330c256d17b8adaec3f0c896de959b690","datavalue":{"value":{"amount":"+0.736470639705658","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":"Q1176112$DDDC9AB5-5505-4A20-8F75-11A5093C0C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303c34ee201aab62d2647be14c65e612442c7328","datavalue":{"value":{"entity-type":"item","numeric-id":3602822,"id":"Q3602822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220b3a5c47c622952e95bdfd51178e21582d9684","datavalue":{"value":{"amount":"+0.7337825298309326","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":"Q1176112$731675CC-FF0A-4D19-B240-B25AD9EE1E16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Factorisation of finite state machines under strong and observational equivalences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Factorisation_of_finite_state_machines_under_strong_and_observational_equivalences"}}}}}