{"entities":{"Q441103":{"pageid":442870,"ns":120,"title":"Item:Q441103","lastrevid":61848807,"modified":"2026-04-11T02:05:03Z","type":"item","id":"Q441103","labels":{"en":{"language":"en","value":"Simplicial models for trace spaces. II: General higher dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6068613"}},"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":"Q441103$5B5627CB-1063-44B5-BC15-1E86A27AFB8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63f58eb7e5cddd15dcdf2e266407017de003898a","datavalue":{"value":{"text":"Simplicial models for trace spaces. II: General higher dimensional automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q441103$AEAC4C7D-C475-4725-829D-EBDD1A698A02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b3d1cc61f0b71fac5ba6c290a57c467c0fb713","datavalue":{"value":"1251.55004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$634E3EE9-93AD-4799-B64F-E35110C8936F","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":"Q441103$692FD589-C608-4036-8426-4D830D6A0349","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$AC4384CC-C4E6-426C-8C93-E82B01E3574C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016b15aaaef402d4fe8fcd9eec2eb2abc6e8e42a","datavalue":{"value":{"time":"+2012-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q441103$A1DBFC33-4C0C-4475-B23B-6DA31FBE54CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5cccee268e787aa053cfe7d825b1c3b3ea37cb0","datavalue":{"value":"The aim of this paper is to describe a general method that determines the space of directed paths of a higher dimensional automaton (i.e. in this paper a finite non-selflinked precubical complex) with given end points as the nerve of a particular category. The author generalizes previous results obtained in the case of semaphore models. The new method applies for models in which directed loops occur in the processes involved. The author starts from the nonbranching and nonlooping case in which these spaces are either empty or contractible. Then the branching (and still nonlooping) case is treated by considering the nerve of the covering given by the nonbranching subcomplexes. Finally the case in which non-trivial directed loops occur is treated using the nonlooping length covering of \\(d\\)-spaces which deloops all non-trivial directed loops.","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$11BB4568-8FFC-497C-841D-B69932B0394E","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":"Q441103$76AFB7E1-2F06-408D-A9E8-4E3D11B83179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c20816b15de71eb2afe3565caf954727a3a64001","datavalue":{"value":"55P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$E7D6DBD1-B390-4400-A2E7-C67C1A01AFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$44520C13-59C7-4DA6-AB2D-9FA8092EB898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$77C17E08-54E1-42AA-B4CF-C60CC8E256C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$316B4604-0762-4ECB-8E67-341A885C89AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$7CA6C89D-DA7D-4905-A911-9039619346EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4660928ac7941d02f3b91439a5a183b5c3451480","datavalue":{"value":"6068613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q441103$5B05A388-7BF4-47EA-A97E-E3F681D4ACD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19dbde5af9a04e0335ea0588a9d15edaf4a94f44","datavalue":{"value":"higher dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$FEE40BBC-A231-422B-9366-A4AC1080198D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94b1bafc020a0dba99709c5f6ff7551daf04d9d","datavalue":{"value":"execution path","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$F6177480-E8CC-4537-AAD5-724F383D36FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ef4d3407c6f8fa2c3e17c2db213a5cb1c88e5d","datavalue":{"value":"poset category","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$A6F5D4ED-469C-4566-B7FB-4B32C44D5852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99708ca1c461caaaf85782912b02e11fe723c156","datavalue":{"value":"directed loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$6A00D3F5-4D09-4EDF-BE15-9B4F0C63E6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28251032f1ca5be6833eaefeac4b98afc7019fbd","datavalue":{"value":"arc length","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$95A999DA-A9F0-4E94-B433-92402ADA21D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d142027bf3153eebb876131ac5297907f4e838","datavalue":{"value":"covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$380BEAB2-6004-47A4-B0BE-66BC21B94F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a8fedb6561249aab10a68b98ebf8017de465d4","datavalue":{"value":"homotopy equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q441103$93EE4CC8-C79D-41C1-BA57-6590B9AC275A","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":"Q441103$3F8B9F4C-9743-47BD-A6C8-160BBB8F3806","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24afb900902be47b689eed286762af70150039de","datavalue":{"value":{"entity-type":"item","numeric-id":1159912,"id":"Q1159912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$4AAEA2F0-7082-4137-97E5-CCC5757FF043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4fc907233110cf6ea798294c0827e01035d68b","datavalue":{"value":{"entity-type":"item","numeric-id":1156392,"id":"Q1156392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$911B1255-952A-45D1-9ADF-193AAE6F7C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e62630ef9f9d61ec03701b2c7cf2a1dc8ac49d","datavalue":{"value":{"entity-type":"item","numeric-id":5179017,"id":"Q5179017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$96146AFD-0EB0-4ACE-BBE5-AB21A774E1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec07da06678b26d285b941c885c9dbf849fb03ee","datavalue":{"value":{"entity-type":"item","numeric-id":847550,"id":"Q847550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$FD7B423E-D285-46F1-8443-19E3CD738EE8","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":"Q441103$A76C4F18-5C21-4DFF-9515-7073727B0A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d0b171b99dc4b5d399ad62cb36b4f5b388f4ed","datavalue":{"value":{"entity-type":"item","numeric-id":5740352,"id":"Q5740352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$62830701-9532-4DA4-94DD-F6B455DA9951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784da6f05192dcf5116df1836fbd4af895e1ddbb","datavalue":{"value":{"entity-type":"item","numeric-id":2892732,"id":"Q2892732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$AF9CAFB1-D99F-47B1-B401-1BC4560D0B42","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":"Q441103$C1DBFE21-FACC-4516-B94D-2BD608092F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3da9d5508fca69ec54fe157e2e05c290ea11a","datavalue":{"value":{"entity-type":"item","numeric-id":701315,"id":"Q701315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$1E8DA9F0-D0D7-48DC-8DC8-7ADC82C852C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8eeab1b953867eaffa20da0be9ae636d0ffd4a","datavalue":{"value":{"entity-type":"item","numeric-id":4458483,"id":"Q4458483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$9DAEE6AB-8C9B-4C94-963F-43C314D7F32F","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":"Q441103$921A2FCD-75BE-4AA3-A163-0B23A37B0C18","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":"Q441103$187941C7-8B11-477A-BC35-4DFE385B2099","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":"Q441103$83F1A547-F001-4192-970B-D59E462341D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954ccadd0da2ea77d05821c5a8c5892f15824890","datavalue":{"value":{"entity-type":"item","numeric-id":847579,"id":"Q847579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$93EF9EBB-4F36-47F7-9B78-CD969EA78E1C","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":"Q441103$42CBD100-7A3E-4C04-AD12-49A0C0572C1F","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":"Q441103$16B6C514-B732-4F84-8AD5-1FB2AF63F2BF","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":"Q441103$1C0408CF-F979-4C9A-840F-03B3FAB00EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d22dd00404cc03c41a9fc3f556f13b62439fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5633290,"id":"Q5633290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$4F1BC958-9B12-4448-8BD0-17F65B166001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9651856a6eecaaf1d220b45fee924ba474c9f41b","datavalue":{"value":{"entity-type":"item","numeric-id":1244919,"id":"Q1244919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q441103$9768CA88-F5FD-4955-B057-4BF2455E28D4","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":"Q441103$F0D5D5A0-E9DC-4DC1-895C-C768AEA4B00B","rank":"normal"}],"P1643":[{"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":"b12edb55bf9c1df780cae92f6695a83ad94d56a7","datavalue":{"value":{"amount":"+0.857642650604248","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":"Q441103$04BEA06E-CC5E-4744-87CA-6B169CE55847","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":"2f6d0e69c104a5b538353113a4c30d823f25bb17","datavalue":{"value":{"amount":"+0.8260354995727539","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":"Q441103$1EC97510-9D95-4B1E-812A-4749FC4283F6","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":"e2c970602f742cca433b614f24fcfc1b2f860798","datavalue":{"value":{"amount":"+0.818743884563446","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":"Q441103$2D3F1FE2-01A8-497A-A438-4FCEF73D9032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bed00a9e8e61934eb861d13eb4d6806e8b7fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5156774,"id":"Q5156774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4869ad7b54791e6e505d308c842cae5274a84215","datavalue":{"value":{"amount":"+0.8061145544052124","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":"Q441103$E258C5ED-D629-4B19-BD30-D6E787E3B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b38149dc34cf1899df8ef166aa182f020b2bdfe","datavalue":{"value":{"entity-type":"item","numeric-id":2570217,"id":"Q2570217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0251827b9ad124b7c63b948d00d7b519b0c01aed","datavalue":{"value":{"amount":"+0.7969071269035339","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":"Q441103$6058A2F6-6F4E-4785-927D-B7FB65C6BD3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplicial models for trace spaces. II: General higher dimensional automata","badges":[]}}}}}