{"entities":{"Q2304017":{"pageid":2314760,"ns":120,"title":"Item:Q2304017","lastrevid":57833268,"modified":"2026-04-02T17:43:15Z","type":"item","id":"Q2304017","labels":{"en":{"language":"en","value":"Spaces of directed paths on pre-cubical sets II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7177614"}},"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":"Q2304017$6FC21CE2-C025-487B-B6E6-0191755BC694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9d4cf0f7855aabd3e54d1437212450d0bd0629c","datavalue":{"value":{"text":"Spaces of directed paths on pre-cubical sets II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2304017$3F835AAF-FD0F-426F-9235-05221782105E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b4605cf241a09b3d49547f66016b7b664cb8374","datavalue":{"value":"1436.55014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$7594DE21-401D-414B-8E53-F27D58A028C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dbd883b4a560d8dc769aee7a4b9c755d88c126","datavalue":{"value":{"entity-type":"item","numeric-id":248928,"id":"Q248928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$73CE8DA4-3101-4121-8E80-5DF1A1EE1E0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"beb416faced81cecea274fa4bf7248d0a36a68d7","datavalue":{"value":{"entity-type":"item","numeric-id":141942,"id":"Q141942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$0E2715E1-65FC-4955-80D6-CFC4568D0D21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ace806cab6bccffe2dd3b0bf0eac605327f868","datavalue":{"value":{"time":"+2020-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2304017$F9822453-D3E2-42FE-AE34-BC8CE079ED2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f089ceca10e2df5f8cec69f300f765d098aac4d1","datavalue":{"value":"https://arxiv.org/abs/1901.05206","type":"string"},"datatype":"url"},"type":"statement","id":"Q2304017$255086B5-A338-4889-A386-847F3E9D0E40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44fc014c52601216cb94b6c99df141a46faf60a6","datavalue":{"value":"For a given precubical set \\(K\\) with two distinct vertices \\(0\\) and \\(1\\), the author proves that the space \\(\\vec{P}(K)_0^1\\) of \\(d\\)-paths on the geometric realization of \\(K\\) with source \\(0\\) and target \\(1\\) is homotopy equivalent to its subspace \\(\\vec{P}'(K)_0^1\\) of tame \\(d\\)-paths. When \\(K\\) is the underlying precubical set of a Higher Dimensional Automaton \\(A\\), tame \\(d\\)-paths on \\(K\\) represent step executions of \\(A\\). Then the author defines the cube chain category of \\(K\\) and proves that its nerve is weakly homotopy equivalent to \\(\\vec{P}(K)_0^1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$035E0539-9512-4434-B793-3C834EDD4293","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$94CF9465-118A-4906-88F3-99A31941F66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$1A4DE635-6F74-44E4-B3C5-A3A013B850A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fcffa45a9a315d4f41d84082f273439b9134c19","datavalue":{"value":"55P35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$7C9E4E7C-01E8-4BF0-94D8-1D5D835554DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$0245C57E-F6E2-4AB7-80D9-BEA021188B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$5C568F80-4828-44E2-91C0-1E2F5E524051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11ec7d2f4defb6b4afd329de3f4ce336f526df2d","datavalue":{"value":"7177614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$342C50E9-A3ED-4FA0-AABA-56EA53EAFBDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3231462954731a49254e7674aa5dfbf76ef1a9c","datavalue":{"value":"directed path space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$ABAF98C1-6C54-4276-803E-50231C67733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f2e69e6e7e8839ace4bdfd385c7ef8fb34651d","datavalue":{"value":"pre-cubical set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$1A34F22F-F4FF-41F7-AFEC-B566115378D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f660410589320d2d79e94fd36f9aaeb7c12e67dc","datavalue":{"value":"higher dimensional automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$B2DD2A84-3991-4A14-BAA5-C437CADF6CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$AC695CD0-13AF-4B59-9AD9-442CF9051306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd6de9209f29c36b9deb10c50e04793c78379af8","datavalue":{"value":"tame path","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$8992AECB-9827-45E1-9367-F4A65E2F5850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421e29789aad8950011d988db976213ecde8bb20","datavalue":{"value":"homotopy colimit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304017$52CEF918-908F-4073-9B43-E4AF1B585938","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":"Q2304017$CC050D53-638C-4F8A-8A8D-8B05777EB454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14df29262ff80372681a999cedb37c6977900d7c","datavalue":{"value":"W2971296614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$296D19EE-8FCF-4272-95CB-F0E74C7ACB24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa29ce1e87c7172db6566c0533d5449be12e8cb","datavalue":{"value":{"entity-type":"item","numeric-id":265804,"id":"Q265804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$8ED0AA9A-3FF6-4F3E-B2F9-0159DF6644C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce3e0ea33a4ced6fd39ba6d5443b24added03e2","datavalue":{"value":{"entity-type":"item","numeric-id":2573655,"id":"Q2573655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$7068C83C-B0D4-4C6F-8CEF-4260DD7AECA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c2cbb2bf8af8fbe11bad5070e570df4153428a","datavalue":{"value":{"entity-type":"item","numeric-id":2500494,"id":"Q2500494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$2CF93060-DFB1-450C-A66E-A42AD608967D","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":"Q2304017$A04168B7-FBFB-40AE-A54E-271B68970502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89d3991cde3616658992f4c69d72cb37ecc4ab6","datavalue":{"value":{"entity-type":"item","numeric-id":4453908,"id":"Q4453908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$BA67C5C8-C384-4890-85BE-27FDC90E94D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa568e8c9d67232593fc42932f43815d8fbd1f65","datavalue":{"value":{"entity-type":"item","numeric-id":2463399,"id":"Q2463399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$533F01AA-1766-4E44-A81B-6C479FD2D345","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":"Q2304017$E4B7BFB9-0C9F-472D-89CF-13DD71E42297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0435d2c4ed1118968869de2bf7b5a77a3c4d75e6","datavalue":{"value":{"entity-type":"item","numeric-id":986682,"id":"Q986682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$F7E197E7-22B1-4B0A-8EDD-65BE2657554F","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":"Q2304017$4943BA99-F7E5-4193-B2C1-559A0F855F84","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":"Q2304017$48E0F4E9-3EFA-4181-9778-227AD460DE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2ebb37fed44aeee9e923b01bb8c58b8ced209f","datavalue":{"value":{"entity-type":"item","numeric-id":411814,"id":"Q411814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$E9942C84-FC4E-4BC1-8B11-E9EB0FD08616","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":"Q2304017$EB301CBB-723C-4BCB-AC43-A89F09FDA314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737a4fa5651302c6fc5242c1a05fecdb16f9fb1f","datavalue":{"value":{"entity-type":"item","numeric-id":669618,"id":"Q669618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$EE683CF4-4EBF-4D44-9038-4FF07AD21914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb895e336391f20fe369f4275abb4a1bc0f76cc","datavalue":{"value":{"entity-type":"item","numeric-id":2423830,"id":"Q2423830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304017$AC281578-BC8F-4D86-9566-D28F2E4725E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee43c51fc27e97f2ac21b89e3372aae80408c2ff","datavalue":{"value":"Q127304848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$61888BCD-EA2C-4D07-89B4-1C8EE36C9045","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58bf5e73b506bf0974fe4d4520e2c9efdcb234af","datavalue":{"value":"10.1007/S41468-019-00040-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304017$9C21B083-17D3-4997-AD0C-BBF119BAFE51","rank":"normal"}],"P1643":[{"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":"9a950ed38eda7cfd10430611e4faefef773d4b22","datavalue":{"value":{"amount":"+0.8964872360229492","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":"Q2304017$F32F2330-2A65-4D8A-9B75-0F53984B4B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2626e2800bac329aa69688c34640f2d792d9bad7","datavalue":{"value":{"entity-type":"item","numeric-id":5074060,"id":"Q5074060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3297c79c55c70e45324e68ae560c3c621050109","datavalue":{"value":{"amount":"+0.8538597822189331","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":"Q2304017$DFAF604C-CA2E-4BB3-B59F-0C84D5AFFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400cbae85ce13971b30badcea92eacedaa65f085","datavalue":{"value":{"entity-type":"item","numeric-id":411814,"id":"Q411814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f538d332db46a9db65a6bbc95978b6a609a187af","datavalue":{"value":{"amount":"+0.8096742630004883","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":"Q2304017$3B39EE80-B3F6-4610-8A48-7CE88B1A0676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e3d923aec9233c7aca61d1798549b13029fe49","datavalue":{"value":{"entity-type":"item","numeric-id":1019149,"id":"Q1019149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5232aabe5049aaf79fb52b36640b3f89ee80e8b4","datavalue":{"value":{"amount":"+0.8022423982620239","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":"Q2304017$272510F5-AB7D-48E8-9057-F715F4DF58F7","rank":"normal"},{"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":"bf059cac82a7e51c1972770185ead3374c0ed41c","datavalue":{"value":{"amount":"+0.7992643117904663","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":"Q2304017$5B856F6C-DC3D-4D46-AA7A-C73D4BE8F9FB","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":"Q2304017$65C15733-9E0C-42DD-8D6F-EBB104174183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2304017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2304017"}}}}}