{"entities":{"Q3168195":{"pageid":3178905,"ns":120,"title":"Item:Q3168195","lastrevid":45596584,"modified":"2025-12-11T01:20:37Z","type":"item","id":"Q3168195","labels":{"en":{"language":"en","value":"Unifying Equivalences for Higher Dimensional Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6100200"}},"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":"Q3168195$D01B02A4-8F61-4DCE-8311-960AD82E596F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c45a7b855e550fa0de785ced3a82394ce94b4126","datavalue":{"value":{"text":"Unifying Equivalences for Higher Dimensional Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3168195$7DD415A6-6148-469F-98D3-969E8E8F4E52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1dca320b187cc73b0866798450743c56130ebda","datavalue":{"value":"1283.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$94565D07-F393-4E80-9F14-5A73AAC5609E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bbb639f68ce8394293d866e03482d8236f4cbf6","datavalue":{"value":"10.3233/FI-2012-742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$20453C69-76E2-4254-9F14-AA1165236AA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"260ae584894e451e060057468f27890782de3231","datavalue":{"value":{"entity-type":"item","numeric-id":2895837,"id":"Q2895837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3168195$CEAF7CC4-A03A-4D24-B6E0-546740AE68F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc197e2a386f082e9cad3ba00e1298812ad2a529","datavalue":{"value":{"entity-type":"item","numeric-id":174077,"id":"Q174077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3168195$8486C0DB-5107-4B6A-8362-05F97CB1FF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3168195$E8A2816D-C3C0-4CF9-A82B-04D0A479F36F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3168195$196DADFB-26DA-4DB7-9E03-FB45D96E4AF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78850d0f93143245d71b956be1f4431496cab06d","datavalue":{"value":{"time":"+2012-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3168195$FCF4C2CF-665D-446D-855F-126C67B18A9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$F6145A23-DFB0-40D3-96F6-C561FF9CB3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$CFB2EA33-27C2-4B9C-A6C9-D94614C02A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$A5C4573C-52D7-489D-9491-6A91AF5C8C70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad43fad5a30ab759d736d5ef5aa2a7d864b214e1","datavalue":{"value":"6100200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$2583B20B-531E-4F40-A145-6EFD575C2562","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"504c861480064f5d4904e71aa4cd566cb9b618f5","datavalue":{"value":"Higher dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168195$92558BB8-A1E1-4320-9B65-19FB3663E797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168195$5D8A2B65-6FB0-4084-875D-E6C6004BF541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168195$D341D1FE-B839-492F-AB16-DB20F03B1220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168195$90A89512-96A5-40C2-8715-2F06C91D0E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232164ccb14df204d9f7f806e998db607ef1825","datavalue":{"value":"open maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q3168195$99164D40-6B83-4812-9DFA-01AA07831D17","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":"Q3168195$0C3E4949-DF90-4344-98BB-6A87AEB81BF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2749f6f4e39ea27e5fba0c861eb9250e951036c0","datavalue":{"value":"https://doi.org/10.3233/fi-2012-742","type":"string"},"datatype":"url"},"type":"statement","id":"Q3168195$FF9437CD-5697-4797-BFB2-C9BE8BECE62D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea96c55726cfaf0e215ed747a06aee1df315f865","datavalue":{"value":"W1662292621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3168195$850A96CD-C719-4549-AEC4-3F003640D455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daa27030366c87542406e636c4586a70f5474","datavalue":{"value":{"entity-type":"item","numeric-id":5038191,"id":"Q5038191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652dfcf46251be0722684aaaf53a54ce30788cbd","datavalue":{"value":{"amount":"+0.9209134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$5C1815B6-0157-4018-97C6-24190C0B8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2679f6b7fd7152c821b6434590b197e0c72e41b","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87de83ed17d7f0bfba18132b8878687aecdfc48","datavalue":{"value":{"amount":"+0.9164134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$8D35B468-882B-4359-8C69-C898CA8C1926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81de913d167e72c1b860eff8d4288a03aff77e9","datavalue":{"value":{"entity-type":"item","numeric-id":4720788,"id":"Q4720788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3596bd2ec970e4b37ae712cf7eb0c366fbcd6485","datavalue":{"value":{"amount":"+0.91205156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$6E7BD854-CD24-42B4-9B9C-D092748F5E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10465834a842ef7032f431a25b12b4ff397dd79","datavalue":{"value":{"entity-type":"item","numeric-id":2841306,"id":"Q2841306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445c795f30712d3a2b2dba0f55d4bb21d41ee075","datavalue":{"value":{"amount":"+0.9119544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$F71FD128-C09E-4AB5-95C0-1E7740A5E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5177541040e7bce8acee1359d66b537eafbc4086","datavalue":{"value":{"entity-type":"item","numeric-id":2848133,"id":"Q2848133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ceef64a50f55d59807e8907138611bdc6177ff0","datavalue":{"value":{"amount":"+0.9087374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$F36D2F5D-FA7E-44BA-8369-8629273787D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7252d8ea943b19a7c0612bcb1907971d7d9e7b7b","datavalue":{"value":{"entity-type":"item","numeric-id":4507892,"id":"Q4507892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1b456d89b86c00b18a48e865f6a1bda765d900","datavalue":{"value":{"amount":"+0.9082158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$1D1E2E3F-CFC2-4BB8-B286-98FE830E3D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5024a4b5deea7ef7c1d48b5a35b0b4ee9a3da3","datavalue":{"value":{"entity-type":"item","numeric-id":3826115,"id":"Q3826115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8f9fbdf6c9a629aea30e6c0b27a0bab1d3cf78","datavalue":{"value":{"amount":"+0.9047879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$494C5664-A33D-49ED-8B79-A3F637D2570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dbd0532cc02004553f2607df84173e2a345289","datavalue":{"value":{"entity-type":"item","numeric-id":955343,"id":"Q955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bc77d969496344baac7173ade550c611ebaec9","datavalue":{"value":{"amount":"+0.8968182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$AB713555-D458-48FA-914C-01FC03259A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03b3d076b59f626de6aa7dc0887bd5629373164","datavalue":{"value":{"entity-type":"item","numeric-id":2538107,"id":"Q2538107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867059942aa8136ecc2b6b28f490e6cfda6150fb","datavalue":{"value":{"amount":"+0.89593506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$60EAF25C-1DC9-4994-B1AE-7C62AB2F859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9c902784a8869ce1f7c07fc30504fb7561dc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4654639,"id":"Q4654639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdeada1f842069358617597ddaaa8f44b3a16a2","datavalue":{"value":{"amount":"+0.8958618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3168195$ED219C70-B44C-4CE4-91D7-03C5C763064F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3168195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3168195"}}}}}