{"entities":{"Q5363340":{"pageid":7392914,"ns":120,"title":"Item:Q5363340","lastrevid":92247494,"modified":"2026-06-05T01:14:32Z","type":"item","id":"Q5363340","labels":{"en":{"language":"en","value":"The algorithm for checking transitivity of mappings associated with the finite state machines from the groups \\(AS_p\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6786736"}},"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":"Q5363340$0C36E475-81CB-4F10-95B0-3A2B0C056275","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52441f93515071c18adbb20d7288b5e94fc8fc85","datavalue":{"value":{"text":"The Algorithm for Checking Transitivity of Mappings Associated with the Finite State Machines from the Groups ASp","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363340$12ACE299-5C81-4A57-B342-51A7E6FEF08F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7e050af1f1f2a60d3738a3e489ee74e0b63674a","datavalue":{"value":"1419.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$5B4F7510-8E39-41B4-BAD1-286A8403CD9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdd43ce65e9487cca9eabc5430d12a80ba6ca7ea","datavalue":{"value":"10.18500/1816-9791-2017-17-1-85-95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$FA0906B7-8349-48F7-B250-5A0ED395E264","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da48fff2c1c323568fb7dc8241db8ee02d6f6236","datavalue":{"value":{"entity-type":"item","numeric-id":5172168,"id":"Q5172168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363340$4720D62F-B304-4349-8E21-0FA488E183B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"386ef43bc491642ed13c021fadfe8b0c9e4bdb11","datavalue":{"value":{"entity-type":"item","numeric-id":2787921,"id":"Q2787921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363340$1F9B8D80-AE34-44E2-99E8-CCAB1FB8B8D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be6e486ba98ac1c66d0c460f9b0cc5284ea28f2","datavalue":{"value":{"time":"+2017-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363340$29780776-EA42-444F-9A15-8C6074C468CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$981DF327-2C22-4E09-9385-FA30EAE8837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$E2102F40-80F5-4EBA-88FF-9D25019CA069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$09D9821F-B29A-4E83-BFCD-B1D47CC0AB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$F1E3D120-8667-4A3B-A45F-8B4C38DAD675","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c5b92febe6acd16e4066a83f451209b88ae6a3b","datavalue":{"value":"6786736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$AD14443F-B556-4F07-86CE-233D515E54F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363340$9BE3E2B7-ACCF-46A0-8020-7F993B7CC80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363340$E6148878-6918-4DF1-8173-E167D1C33EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845c496c43f8e51727de70b07b71a97541f62e28","datavalue":{"value":"automata mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363340$7C1A5EE5-ED13-4708-A14A-1633E7E80CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbb46c34026d980dd1fc56f1310317f26a648b3","datavalue":{"value":"\\(AS_p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363340$B0FF5F86-66EC-48F7-9D21-D1FBF5DFE889","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":"Q5363340$CA17FB25-5C4E-45F6-9244-9FE144F45C04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"312803db25b0e6d27a200cf0d853547378cbde76","datavalue":{"value":"https://doi.org/10.18500/1816-9791-2017-17-1-85-95","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363340$412CAA59-690D-4B31-A5DB-C31B7C137B70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72476ff7adf42d3333d2715a98af37b94bc5c975","datavalue":{"value":"W2593940578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363340$1E9155F5-2288-421E-8875-DF396D792128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3a99cd50e0829d6c3721b2129dfc79ba4d7ede","datavalue":{"value":{"entity-type":"item","numeric-id":2217269,"id":"Q2217269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17473aaca795d95e1c59f150dfbef5a659236d3f","datavalue":{"value":{"amount":"+0.757267415523529","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":"Q5363340$0DEF46A4-00CB-4D9D-B752-91E8C38DF66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031bdaba18935c4a011ca726ee9056f11bb90da5","datavalue":{"value":{"entity-type":"item","numeric-id":4518652,"id":"Q4518652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ce9c04b8c90967d352ff483fabee8af3413970","datavalue":{"value":{"amount":"+0.7415046691894531","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":"Q5363340$145A1490-3C59-4AC5-B73B-57D57BE34C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c144e1f0231f37906241794e00831bfcf4e5b9","datavalue":{"value":{"entity-type":"item","numeric-id":4396585,"id":"Q4396585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f99ec530bd82a72758d9100d3da7dc3c90d797","datavalue":{"value":{"amount":"+0.728216290473938","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":"Q5363340$BFFAFD43-F4CD-4B3A-9540-7AF3510FFE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fd197170095d1dcb62df75c6e5612d74938383","datavalue":{"value":{"entity-type":"item","numeric-id":2685503,"id":"Q2685503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f99ec530bd82a72758d9100d3da7dc3c90d797","datavalue":{"value":{"amount":"+0.728216290473938","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":"Q5363340$BD840038-D1A9-4EBD-ACDC-BB4818D160D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8505837af77bcd14dd26b6311782839eb5f07e","datavalue":{"value":{"entity-type":"item","numeric-id":3747731,"id":"Q3747731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c3f9d5e155be2057a309866b2b7843d896e9ab","datavalue":{"value":{"amount":"+0.7250250577926636","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":"Q5363340$D12AF937-DAB8-4258-B95F-0D470E306F50","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363340$27512E57-B5AD-41D6-A487-90399901600A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The algorithm for checking transitivity of mappings associated with the finite state machines from the groups \\(AS p\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_algorithm_for_checking_transitivity_of_mappings_associated_with_the_finite_state_machines_from_the_groups_%5C(AS_p%5C)"}}}}}