{"entities":{"Q5156774":{"pageid":7186345,"ns":120,"title":"Item:Q5156774","lastrevid":58464987,"modified":"2026-04-05T08:22:13Z","type":"item","id":"Q5156774","labels":{"en":{"language":"en","value":"Strictifying and taming directed paths in higher dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408500"}},"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":"Q5156774$345B31D7-0DEA-427C-87BB-FB4929260F0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"800b0c02b9606813c6bcd70ba7703bb9634092f4","datavalue":{"value":{"text":"Strictifying and taming directed paths in Higher Dimensional Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156774$30E9D041-9CB1-4E20-9C1C-68CF8E1AC37D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c21cab370a350bba33d32517a185d14d12628f24","datavalue":{"value":"1474.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156774$12FC35E1-B60F-4537-B7CB-A2F858B40D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"006faba823cac2826c8786078e83e806347721ae","datavalue":{"value":"10.1017/S0960129521000128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156774$2CDF032C-BA18-4FCF-9389-AA23FEB56F08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"321befac68c4e618bf5ca79e2b5929f3a02dca2e","datavalue":{"value":{"entity-type":"item","numeric-id":269626,"id":"Q269626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$D25C66E7-B1F5-492E-B37D-629F29EF9472","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$FBD8B87A-7E99-41B1-9246-09B545D1372F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19503fdb9f610cd0af6e4046a14c0dee873d3c68","datavalue":{"value":{"time":"+2021-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156774$CF3530F9-743E-485C-B3DD-E7E6261E0C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6064f9fadda6da97360d1cc8c1cd80d886b46ad","datavalue":{"value":"https://arxiv.org/abs/2006.05797","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156774$1FC9918A-746B-4121-958C-2BBACEA814F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156774$8259AB3C-5E82-4796-885C-B1C6247703E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156774$ACEC6073-3E88-444E-BAED-03005EE67399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156774$934B59A7-7490-4C9D-95F3-EEAFABEF6B01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbab1bc16fc59ff311c34503782af76cafaa6d73","datavalue":{"value":"7408500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156774$EE9B0DCA-5E06-42DA-B569-91A340809928","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$04AE1ED5-CE8A-4337-AD06-100254523755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458b19dcfd65621ffb6ae9c214a36f0207c599b3","datavalue":{"value":"d-path","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$FE04B894-C3A1-451D-B19B-82CDAA320055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561c5651cfff884ba20aac2a45016ca309cb583b","datavalue":{"value":"strictness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$C8EC9A43-5C4A-4A44-B6B9-DF8A95BA5884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7816d4e9b172b80929b8d08b8ea72a71c2eef6","datavalue":{"value":"tameness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$3B07D4DB-6F96-4415-8141-32B567D20D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10db464826b6c684a73027e49b7d0d1e7d230714","datavalue":{"value":"serial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$97C854D9-5CFD-4F82-9E3B-8181D939FD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003d3d19a053181f46a4ecf249493937eb4848d","datavalue":{"value":"parallel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$F9CBE0C4-30AA-4B97-93CA-A2BF6FD4F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a8fedb6561249aab10a68b98ebf8017de465d4","datavalue":{"value":"homotopy equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$03035FFF-5DBA-4A60-B208-52407EBE9E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae3145a0bf7a3ae80ac71077a14ae318e94be1b","datavalue":{"value":"nerve lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156774$52E91D87-DAF4-43FF-9D5B-559D9C567B05","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":"Q5156774$C7298ECE-42C8-43DD-ADF7-A55D728A3BCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e29cec8786ca251bbacb83b140ec1f440a0490","datavalue":{"value":{"entity-type":"item","numeric-id":4871782,"id":"Q4871782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$34B26415-9294-47F3-9FC8-7331290655A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e1df1e11cc3d16fa04ae520a7b8232a8f89044","datavalue":{"value":{"entity-type":"item","numeric-id":5788736,"id":"Q5788736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$FF3B4D3F-4333-4B01-9611-87DA3B6688B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfd1958dd574a8efc95cf2dd16d6e098e618192","datavalue":{"value":{"entity-type":"item","numeric-id":2289075,"id":"Q2289075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$142C91F5-571C-4ECC-AA47-225072C741AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb091d8751d41cb0c5d87de86bccfef983c9bc27","datavalue":{"value":{"entity-type":"item","numeric-id":5275346,"id":"Q5275346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$CB6DAAEA-932A-4CE1-8504-AD04739D2311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3546b46a649fed581f9d6598ad032e6407f2b021","datavalue":{"value":{"entity-type":"item","numeric-id":2515156,"id":"Q2515156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$5DC7CBCA-C2AB-47B7-B641-32CEAA9C8DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b648f69734acb48dde7aacb8c9ef72e7832b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3636841,"id":"Q3636841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$22B6CD06-AD85-4A7D-A090-A8DAACD53EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075aef123e914ffa4ca172c6bf161c17d1e17998","datavalue":{"value":{"entity-type":"item","numeric-id":3625520,"id":"Q3625520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$503FBEA6-7D15-4C01-90D5-162530BBF729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8063aab2456cd79fb9f58b583c44a7949600de2","datavalue":{"value":{"entity-type":"item","numeric-id":4819371,"id":"Q4819371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$594E1634-E20F-4985-B7C5-092A1ABFA5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$16979FEC-C034-4110-B398-9030024942FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf05925c161b50902a475d27429912f455994b38","datavalue":{"value":{"entity-type":"item","numeric-id":5919887,"id":"Q5919887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$A5AB3F26-AC64-4826-8588-82A73454AC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44569f8cd3a3f8bcaaac877d330f5dfe9d882ca6","datavalue":{"value":{"entity-type":"item","numeric-id":2652769,"id":"Q2652769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$FFFC66CE-52E3-4214-B9C6-052C5FD1CE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ceb599cde4f3f85a8a2231535663199ec16d2","datavalue":{"value":{"entity-type":"item","numeric-id":5557745,"id":"Q5557745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$2E097324-3D2C-40E2-9BD1-8B4AEEF298CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfb82c6fbde1c383c86c596bccbe6da8007a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4043211,"id":"Q4043211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$874AD599-081F-45A3-BAD0-8E13E6BD249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06df983071015be8bd2a25b122f73b2f09ea4157","datavalue":{"value":{"entity-type":"item","numeric-id":1019149,"id":"Q1019149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$260AB6ED-04FA-4002-A45D-1B76C7730C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ce149d8eed5f5b71dfc30a6c67874d8f5642e2","datavalue":{"value":{"entity-type":"item","numeric-id":2255529,"id":"Q2255529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$028E1A1F-F88F-40C8-A69A-7BD9DE5DAF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed9207311f4349e2c322c99d478244d2f62e09","datavalue":{"value":{"entity-type":"item","numeric-id":859846,"id":"Q859846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$94AD490F-CD36-4E4C-8D47-97B2B63BD073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96764bea3a80cc1943a892f4581875a79705ff61","datavalue":{"value":{"entity-type":"item","numeric-id":2650107,"id":"Q2650107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$755B6AE9-B700-4A23-A8D7-E6EE4A0FE946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17c58985ab484bcd9835a3e0db51e13e01c223b","datavalue":{"value":{"entity-type":"item","numeric-id":681330,"id":"Q681330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$4C603792-E3C3-4C17-826F-CBE505C170EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091e73142dfafb2f5bea0f7edb05605f9b04563b","datavalue":{"value":{"entity-type":"item","numeric-id":2304017,"id":"Q2304017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156774$F10BDEF9-14E7-44B4-8158-8C1F3B29F511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4548eefe3eadc83c095ff1f080def138d4bc55","datavalue":{"value":{"entity-type":"item","numeric-id":2515156,"id":"Q2515156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a903101d9c37d975fac8ae431e17140a0a6eaba5","datavalue":{"value":{"amount":"+0.8078502416610718","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":"Q5156774$C1BA7776-B5C3-469C-97A2-67D3DB95598E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e9bb9ea96bbf5989fbec1406b658314806c52a","datavalue":{"value":{"entity-type":"item","numeric-id":714637,"id":"Q714637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d988ea95e890b664539a8431dc26c3032a3e28d2","datavalue":{"value":{"amount":"+0.8010258674621582","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":"Q5156774$532B93C1-9CF8-4269-BFAF-A011132AB2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e988d3641464c4adec36619323518cc8f6f10462","datavalue":{"value":{"entity-type":"item","numeric-id":681330,"id":"Q681330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ac0758bed602773ba6d0d38246bd20aa85a9c4","datavalue":{"value":{"amount":"+0.7947301268577576","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":"Q5156774$57A75AF4-3AE1-4EFF-93DD-A586DB814AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52adce02a3e612da251c1cff8eb1b5e91a895a68","datavalue":{"value":{"entity-type":"item","numeric-id":5700167,"id":"Q5700167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c79c90f836b57b14906e0e55a62b7170c33780f","datavalue":{"value":{"amount":"+0.7940762042999268","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":"Q5156774$4337FAB6-D530-475B-B3FA-6AAB3DF1F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6069c533cf6ac9dc40bebeadf157b37be4f3bb3b","datavalue":{"value":{"entity-type":"item","numeric-id":986682,"id":"Q986682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7c4ff3e436f5703696f5a9a4d6f4167848e58a","datavalue":{"value":{"amount":"+0.7921279668807983","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":"Q5156774$DC8DA860-D0FC-4833-A9DA-46CD235912AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156774"}}}}}