{"entities":{"Q681330":{"pageid":683179,"ns":120,"title":"Item:Q681330","lastrevid":63435870,"modified":"2026-04-11T13:10:11Z","type":"item","id":"Q681330","labels":{"en":{"language":"en","value":"Spaces of directed paths on pre-cubical sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6832411"}},"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":"Q681330$E3DB4F45-B551-4E74-8C69-E1055DD858C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e41c0dc93d864207510d15bfc8a6111d2546512","datavalue":{"value":{"text":"Spaces of directed paths on pre-cubical sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681330$617DF8F7-F6C0-4C9A-B691-8BB3BF0407F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf66f397679b9677c4682e89a7bd3aefb5836e0","datavalue":{"value":"1384.55015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$5DACC3F5-97A7-4EB0-9C1D-FF5451BDF722","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":"Q681330$63C4D737-E3D0-4584-91E9-533BEBCA3FC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$44A40FBE-437F-4D8D-B877-8EA2BB66F8BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1298fdc8d29584d7dbb02d41e73b7c90698eda","datavalue":{"value":{"time":"+2018-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q681330$A8105DFD-F5C9-4D6D-90FD-10D6E1BA9CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2822db3f98dc8a325bfc69921500e69e5a1f1376","datavalue":{"value":"https://arxiv.org/abs/1605.08305","type":"string"},"datatype":"url"},"type":"statement","id":"Q681330$72D7F401-8453-45F1-88C2-175D77CD505D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"972839b293bbf9ffc2a65be3eb01767c304316c2","datavalue":{"value":"The author constructs for a sufficiently good precubical set \\(K\\) a CW-complex \\(W(K)_v^w\\) that is homotopy equivalent to the space of directed paths between given vertices \\(v\\) and \\(w\\) of \\(K\\). The interest of such a construction is that \\(W(K)_v^w\\) models the spaces of possible execution paths from \\(v\\) to \\(w\\) in the concurrent process modelled by \\(K\\). This construction is functorial with respect to \\(K\\) and minimal among all functorial constructions (i.e. no cell can be removed without losing functoriality). Furthermore, explicit formulas for incidence numbers of the cells of \\(W(K)_v^w\\) are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q681330$CDF1AC62-85C5-4F21-B4E8-B475038B7C8D","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":"Q681330$D34251F7-8F9E-4D00-9CA1-A349ACEF2D5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d441cca05a352782e8c8e9c285fa1f8dd5752682","datavalue":{"value":"55U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$7E165BFF-9BD2-4C29-AE5B-832A978615C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$9123A0A3-B281-422A-9E36-5B271D804B88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408d7810bac832df91712dffd75760241ae69e89","datavalue":{"value":"6832411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$67AE855E-9502-47C2-BF3C-39479FD9031A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f6c0041396dce1667a5fd17868289d27c3b19f1","datavalue":{"value":"directed space","type":"string"},"datatype":"string"},"type":"statement","id":"Q681330$D63C902C-A298-4919-9BAB-F11FFEC65EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f2e69e6e7e8839ace4bdfd385c7ef8fb34651d","datavalue":{"value":"pre-cubical set","type":"string"},"datatype":"string"},"type":"statement","id":"Q681330$A205CFAE-BC7C-4A77-8CE3-AC18219309EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3de4d6a2486d6f91318d97f2a54d20aec2765a62","datavalue":{"value":"path space","type":"string"},"datatype":"string"},"type":"statement","id":"Q681330$06711543-8BE0-4D37-A1AB-0EB7C4C8D2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f660410589320d2d79e94fd36f9aaeb7c12e67dc","datavalue":{"value":"higher dimensional automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q681330$28705747-7BE3-4CE9-ABFE-8D885981A0CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f4f0074b1689ec08b34de87c89182b315bf2715e","datavalue":{"value":"Q59609383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$A179A1F3-B713-4E62-BACB-8B2FF1674AF1","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":"Q681330$1442611D-B68C-4C5A-B812-242534B52A60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"819ce73277475a563a42f05a87b42b569ef481d4","datavalue":{"value":"W2964154797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$5271AB5C-3998-443B-9A1D-AE45F625199E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cd93f5b3d3c2d2f7cd8daeb07962b45f746044","datavalue":{"value":{"entity-type":"item","numeric-id":793059,"id":"Q793059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$8F56C371-EF58-484F-8D64-86A35626F330","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":"Q681330$57C45DB3-8F65-40EB-9BD8-C6BEAAE548B0","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":"Q681330$6A74E5DD-4B8B-4EC2-A844-B40FD07A76E0","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":"Q681330$71BCC025-5E12-43CE-BBFD-A1456D95A75A","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":"Q681330$9B9C9CDC-014B-436B-AE13-426AA96B240B","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":"Q681330$4B1B5829-9382-446A-B339-80384549BD3D","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":"Q681330$6FE58066-0F2E-4482-BBBC-7195369FBF1E","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":"Q681330$D19EF0CF-8431-4B4D-BCD9-CD26E543D97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634721a7aab6956ba347deeb1ff257d4075eda71","datavalue":{"value":{"entity-type":"item","numeric-id":441103,"id":"Q441103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$23C4B6E2-C5CF-45BD-84F5-0B0ADCB4A51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd56fefd0692c7a76926270be4d392b93fd8e74","datavalue":{"value":{"entity-type":"item","numeric-id":714637,"id":"Q714637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$8642376E-52C6-468B-96D5-D62896898032","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":"Q681330$2ED1A3BC-DE83-49EA-B8A9-5C735377C068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f199dbcec49dde1c98956215854dfd8de80f7e11","datavalue":{"value":{"entity-type":"item","numeric-id":2540532,"id":"Q2540532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$4E039E2E-073E-498A-8A3B-1038D0C0DA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce2a67917373e5b4e39d7c86d75e3ad261de966","datavalue":{"value":{"entity-type":"item","numeric-id":4323295,"id":"Q4323295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$FE938B96-B879-4820-BD09-2C3BBCB3BE6A","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":"Q681330$A5874370-8E92-43BB-9059-FD300F3B9DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce75a5434aa6d207c53af730bf1da968744e6789","datavalue":{"value":{"entity-type":"item","numeric-id":5388243,"id":"Q5388243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$FB1D5219-2EFA-4CEB-98BD-A3E9E18F181E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388654ad138a0be7071021bf0c2844bcb80bd13b","datavalue":{"value":{"entity-type":"item","numeric-id":5964017,"id":"Q5964017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681330$2F64E1C7-A0CF-4B37-B1F1-64C4535DA03D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"442544e63d7b1049c1a21e5c141ef0a5380e1a2e","datavalue":{"value":"10.1007/S00200-017-0316-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681330$AF19E304-5351-4C09-A599-B2CFB31754FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083c45cc9a3d310d5b9b072b7cfbdc44a3881f75","datavalue":{"value":{"entity-type":"item","numeric-id":2304017,"id":"Q2304017"},"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":"Q681330$082EA4A9-9C6D-43CD-A717-DF8861B61E8D","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":"fe640c05659182d0c37895a36830c48d640b801b","datavalue":{"value":{"amount":"+0.8796632885932922","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":"Q681330$A5211E23-8046-4789-969D-39F9E921A548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32b4d449460d068e507a5f0a3933f473f9c5a2f","datavalue":{"value":{"entity-type":"item","numeric-id":2255529,"id":"Q2255529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f04cfe218e45c07b6a9290ca7861cdd26924d3a","datavalue":{"value":{"amount":"+0.832419753074646","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":"Q681330$AA609B56-46C0-4440-9AA0-33ACFF562E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67ccca60d6cc4717cd539745525d415368fa81b","datavalue":{"value":{"entity-type":"item","numeric-id":669618,"id":"Q669618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e9e8601b43cd8ec99bbf1e98757e589468b59c","datavalue":{"value":{"amount":"+0.8258904218673706","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":"Q681330$63CDC6F8-8923-471D-B394-A21486D6972D","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":"db375172ae533c287b7470ca6aaae24b6b140cd2","datavalue":{"value":{"amount":"+0.8167126178741455","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":"Q681330$6F1B2998-6134-4B82-AFF7-7B227939F86C","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":"Q681330$E3BD929B-9358-4C2A-AD91-A6A92ACA7F60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spaces of directed paths on pre-cubical sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Spaces_of_directed_paths_on_pre-cubical_sets"}}}}}