{"entities":{"Q714637":{"pageid":716486,"ns":120,"title":"Item:Q714637","lastrevid":63829665,"modified":"2026-04-11T15:50:08Z","type":"item","id":"Q714637","labels":{"en":{"language":"en","value":"Execution spaces for simple higher dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092901"}},"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":"Q714637$3C2AC290-3999-448C-8162-82E878D1AD0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80e1569555b58895b48e5bfbb2deed1f3fdaa14e","datavalue":{"value":{"text":"Execution spaces for simple higher dimensional automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714637$1AD89123-0AD1-42F5-8198-24ED62E043CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45b5c68ec49db013ad708bedd5d2bda33c96c43a","datavalue":{"value":"1254.55007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$13A454C2-F9BE-44ED-9CC3-ABA3466640B7","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":"Q714637$9C1C4BB9-60E6-49A2-A7F9-4793360B2583","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":"Q714637$1BCD1AE3-D5ED-47E7-802B-A7361BF23E24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-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":"Q714637$D7D53964-6D13-41EE-8232-47192EC42F69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0b8fc70889b881ea091bcafc15af9bdad79c839","datavalue":{"value":"https://vbn.aau.dk/da/publications/b607b9e8-855b-4202-9621-c5fa41daea11","type":"string"},"datatype":"url"},"type":"statement","id":"Q714637$AFD5EC39-1939-4A39-B8FF-47A4C93F0292","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8f06ea074cf05ca7a0afd989acb0d8ddd0289db","datavalue":{"value":"This paper belongs to a series of papers about the calculation of the (homotopy type of) spaces of execution paths of a higher dimensional automaton. With respect to the previous paper [Algebr. Geom. Topol. 10, No. 3, 1683--1714 (2010; Zbl 1198.55004)], the author still sticks here to semaphores, i.e. PV models which are all modelled in a hypercube \\([0,1]^n\\) (this restriction will be removed in the next paper [ibid. 12, No. 3, 1745-1765 (2012; Zbl 1251.55004)]). With respect to the previous paper [op. cit.], two restrictions are removed: 1) the forbidden hyperrectangles can now intersect the boundary of \\([0,1]^n\\); 2) the calculations made in this paper enable the author also to describe the intermediate execution paths, i.e. not only the execution paths from the bottom vertex (initial state) to the top vertex (final state) of the hypercube, but also the execution paths starting and stopping at intermediate states; this is important for inductive reasoning and calculations. A close look is taken at semaphore models with semaphores all of arity one: the space of execution paths are always homotopy discrete with components representing sets of compatible permutations. Finally, the author describes a model for the complement of the space of execution paths seen as a subspace of a product of spheres which seems to be algorithmically easier and quicker to determine.","type":"string"},"datatype":"string"},"type":"statement","id":"Q714637$25ABE640-EB29-43C8-AB84-22D5AB6077D1","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":"Q714637$F4FEF034-E46C-4AA9-951D-81EC7F6A796F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c20816b15de71eb2afe3565caf954727a3a64001","datavalue":{"value":"55P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$AF37B18A-15EB-4864-947B-268662F3A61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$FB98C923-6475-477C-A32E-6D835324EEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$249BF357-BAE5-484B-89AE-ED53D303B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$478CEFE9-3052-438D-96BB-E750A9F54DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$906CE0D3-C09E-4535-A101-77ADFB629661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdb537ba8ff7593c02ec5ccc772009b4723f8cfa","datavalue":{"value":"6092901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$2270BFC2-8ED2-4174-AE40-F5512DB2E16E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19dbde5af9a04e0335ea0588a9d15edaf4a94f44","datavalue":{"value":"higher dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q714637$A68E36FD-B874-4078-89D5-193ABF07AD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b94b1bafc020a0dba99709c5f6ff7551daf04d9d","datavalue":{"value":"execution path","type":"string"},"datatype":"string"},"type":"statement","id":"Q714637$FA54A02B-AE18-4FB1-848E-B779FCE631F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ef4d3407c6f8fa2c3e17c2db213a5cb1c88e5d","datavalue":{"value":"poset category","type":"string"},"datatype":"string"},"type":"statement","id":"Q714637$644CC244-EE79-41B1-8D35-4D54FBCA293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298d81d89bd670372a5cd1d4139726d6fc96856d","datavalue":{"value":"prodsimplicial complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q714637$E5FF967C-0933-4BBD-AFD2-4D24F74837BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q714637$89418FBC-95A2-4584-8DB3-7107C07B1459","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":"Q714637$8F841477-C25D-4F05-8DD3-8BC33F23E81A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa66bee66266d6af17cfb1eec6b48d6243023438","datavalue":{"value":"W2102126768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$69E3C311-07A6-4DE7-B5B7-713B76F32B41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1996db4ba5b691968c1c0c0f1f1279585ea7330","datavalue":{"value":{"entity-type":"item","numeric-id":1042450,"id":"Q1042450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$6F51BAFD-664D-43ED-A757-194A1EC7C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82458c7fca43c772877911a8d656a7e00cf72207","datavalue":{"value":{"entity-type":"item","numeric-id":3136738,"id":"Q3136738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$71553ECB-3DD6-4D3A-AF6E-8E0C47AD358D","rank":"normal"},{"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":"Q714637$FD832C7B-9E5F-4A8A-9B3D-8A868645F068","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":"Q714637$78C98347-D9BE-4C29-9D34-D6422855B27E","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":"Q714637$A9CB78BB-E373-4678-9C60-1DF1043E0ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07ec4588438fc22046ac6f711326f106d459ba8","datavalue":{"value":{"entity-type":"item","numeric-id":542649,"id":"Q542649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$3396B4EE-7732-4B56-B9FD-7C07B30EBCEB","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":"Q714637$4593FCDD-42BE-416E-B252-168445128B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e22ff49b0157f5799b23f0f9300dc031edeca41","datavalue":{"value":{"entity-type":"item","numeric-id":1431357,"id":"Q1431357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$364A003C-877A-4A0E-9E0A-E78E7D35C0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27121d6a43ff68dac66f71e3df711c0d88798128","datavalue":{"value":{"entity-type":"item","numeric-id":939290,"id":"Q939290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$499960DF-33AF-4725-AEB5-03383F4D8DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004d737d3eb85cd27393b7152d751f8b876e13f5","datavalue":{"value":{"entity-type":"item","numeric-id":5897504,"id":"Q5897504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$2D66197C-A9FD-43DA-BC2B-FD3395AC30F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf508c9b6e2ebf8fcd285a413c246bb2ec606e22","datavalue":{"value":{"entity-type":"item","numeric-id":2463396,"id":"Q2463396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$1A5C699A-35AF-4F8A-9C4B-4A84DC20B541","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":"Q714637$9004BAA9-2373-4FAA-8619-C84F75068B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a08c92c8d326b093b07db0e50efb41a45eb0a97","datavalue":{"value":{"entity-type":"item","numeric-id":4318989,"id":"Q4318989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$A640F2D0-25FA-4DDF-9FC9-9E2C49AD0FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951d8184935f78abdca01b336dc63affa21bf98f","datavalue":{"value":{"entity-type":"item","numeric-id":1129483,"id":"Q1129483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$38EA9EC5-4C3F-4C6F-9F7D-98F8EC9F63D3","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":"Q714637$B82AE32F-5BCD-4158-8BF8-4167DEE837FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e63b384156a354ce0ff3b8129815571f563d00","datavalue":{"value":{"entity-type":"item","numeric-id":4507889,"id":"Q4507889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$629CC99C-F936-4B02-A9BA-65229A398BAD","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":"Q714637$F16CC7C9-0C69-4D1C-BA55-8996F4444639","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":"Q714637$358815D5-4FE6-45DA-B1E4-02F959275BCF","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":"Q714637$EBD67671-5935-468E-A1E1-7D019600D8A1","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":"Q714637$71621CC1-F641-4E7C-B385-D8152BEF4463","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":"Q714637$B4B08F74-0993-419A-8D18-C872313390BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714637$EAAB0F66-8EA8-49FF-B811-A05BAB924177","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":"Q714637$2BED5EAB-70A9-49ED-B7FF-267290DA4E8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac0687c3b9ecb3142b12e232ea3d5fa57f28ffd","datavalue":{"value":"10.1007/S00200-012-0165-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714637$3EB3FE12-7331-48F4-A66F-1CF67FB26E21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a974f773161bac435d08c6b5fe02b6bc6ac0ddc","datavalue":{"value":{"entity-type":"item","numeric-id":854184,"id":"Q854184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228e12daada95b24a986aaeee27b02d251bf601a","datavalue":{"value":{"amount":"+0.7801186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$C95F841C-102E-4D00-881A-56D99AC55F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cce1f174638378428104a7f1b089756fb3fea39","datavalue":{"value":{"entity-type":"item","numeric-id":854178,"id":"Q854178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac2f9d6c6b9f4df7a9dcf233039fcc7ef50f18d","datavalue":{"value":{"amount":"+0.74769306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$D904A7B9-2CBE-4166-BFD5-3DABD846478A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1cccebf791801a6ca84da0e655fd70752ea801","datavalue":{"value":{"entity-type":"item","numeric-id":441103,"id":"Q441103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6e7c44fa7ec83a2ddacfdb6f220b4d4b7f6ac5","datavalue":{"value":{"amount":"+0.7438335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$52BA9488-6BF2-4C3D-9BD6-B1C5A3E40226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3b0283fd6e0406815cd2db2d89bf917cc1c3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2324599,"id":"Q2324599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f3af59c3f9803725b58753a8549007928aa206","datavalue":{"value":{"amount":"+0.7152288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$56810B6A-AE15-49D2-8B7D-B2684171097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a36cfdde805873d2870c641916d8c5c0473c92","datavalue":{"value":{"entity-type":"item","numeric-id":4989400,"id":"Q4989400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3388909d581cbf330068db7e64e3c0d379d5a8","datavalue":{"value":{"amount":"+0.7086297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$BD93A5DD-3BA4-488A-8F08-220E1C85BC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646b71718b49ad825d11a0de50f16e8ef5d3ee9b","datavalue":{"value":{"entity-type":"item","numeric-id":851558,"id":"Q851558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c0f79f4d81e708feb1273e6cdc5e7e7d06a238","datavalue":{"value":{"amount":"+0.6999564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$5EF2F993-E649-4BF9-AF54-90210B83192C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3421d6a64c765f7d17f35de92cfefb7b598eee75","datavalue":{"value":{"entity-type":"item","numeric-id":4703889,"id":"Q4703889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4291245b61b07af976467a049e5e33bb6238bc3e","datavalue":{"value":{"amount":"+0.69852304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$FB5D97AF-04D5-4EE1-9150-AF544F1F2FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd386a9d682805f36b48af2dbda3d9c5c8528ab","datavalue":{"value":{"entity-type":"item","numeric-id":2724148,"id":"Q2724148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e911aeae3368124a2b67eb498cecd34b24894fed","datavalue":{"value":{"amount":"+0.6979499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$26CAC6C4-E362-4257-9C5E-214B21888D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99421368a3e32ce65d0a677532dc18e2d39434cf","datavalue":{"value":{"entity-type":"item","numeric-id":2084943,"id":"Q2084943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fddc987e57183e30f3a800032a7c4242d5fded","datavalue":{"value":{"amount":"+0.6971584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$957B8A3B-4004-4606-8D4D-21EDEC5A3980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c678161346aed482a79d88f1ff7df588caffd2b","datavalue":{"value":{"entity-type":"item","numeric-id":278749,"id":"Q278749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76376aa8023bdc181513e38a0cb0809f231f512","datavalue":{"value":{"amount":"+0.6934879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q714637$1CD107CD-0586-4EA2-90E9-77FCD0DF3E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Execution spaces for simple higher dimensional automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Execution_spaces_for_simple_higher_dimensional_automata"}}}}}