{"entities":{"Q691262":{"pageid":693111,"ns":120,"title":"Item:Q691262","lastrevid":63661743,"modified":"2026-04-11T14:41:35Z","type":"item","id":"Q691262","labels":{"en":{"language":"en","value":"Some collapsing operations for 2-dimensional precubical sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111453"}},"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":"Q691262$4FA9612C-9D89-47F3-8052-F9FA112293BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f1bf7a4cc469a1c6e6f8657aed395e712380ea2","datavalue":{"value":{"text":"Some collapsing operations for 2-dimensional precubical sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q691262$39600BD4-C1E9-4768-AD70-8B9F9D25A2AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"192c6e8d876ddc2200d8e15fd917489afebfea03","datavalue":{"value":"1258.55005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$E014F08A-8791-4FC8-BEF9-8CFC9C27FC07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a83e6e9087f19dc73930a492cb6a00c36550b46","datavalue":{"value":{"entity-type":"item","numeric-id":278748,"id":"Q278748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691262$3D15FFA6-085D-488A-A516-6A4A7E262756","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691262$43AB29B1-9B52-45B5-A494-7C6D2DE49A5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a8fc6e87e22d612ef2be0d215d6a26240a159a","datavalue":{"value":{"time":"+2012-11-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":"Q691262$EA43A828-6EF7-43BC-BACC-2FE351FBF2C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3ab5472561f52c493da7240a50081500bc21934","datavalue":{"value":"https://arxiv.org/abs/1005.5443","type":"string"},"datatype":"url"},"type":"statement","id":"Q691262$7365AD47-CC1E-444C-9A84-3879D9D209FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a35c5657fcc10166582ffd43bd43d72ddcffc16d","datavalue":{"value":"Precubical sets are used to model concurrent systems, an \\(n\\)-cube modelling the concurrent execution of \\(n\\) actions. They can be realized as \\(d\\)-spaces in the sense of Grandis. In this paper, two precubical sets have the same directed homotopy type if the associated \\(d\\)-spaces are dihomotopic in Grandis' sense with respect to the extremal elements in the sense of Bubenik. The author gives rules to reduce the size of a \\(2\\)-dimensional precubical set so that the new one has the same directed homotopy type. These rules consist of collapsing an edge or eliminating a square and one or two free faces if some conditions are satisfied. This kind of results is important to face the combinatorial explosion caused by the real models coming from computer science.","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$61D5B77F-A7CE-4240-BC05-15E6F257AFC8","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":"Q691262$8E455888-0F9D-47E0-AE12-6B884446BF1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c20816b15de71eb2afe3565caf954727a3a64001","datavalue":{"value":"55P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$510BC9C2-162A-4B8F-8469-5B00BA7522E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$126E2ED0-56DB-4D02-985E-D9F48C9A440C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"925504b15475c7035fa80bfd7fe3aa56f1622ed6","datavalue":{"value":"55U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$8E206BA6-A960-4591-9108-400FC1605F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$369E2180-953F-4B26-B8BE-2AE7FFBA7EAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8478aa9f2714a34299c0bfee4a2982e5dcd4027","datavalue":{"value":"6111453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$71A04465-08DE-4D8B-B202-4D1D2656F43A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb19e24feb25ce7dfa8320fa8a9db8855cdb49fe","datavalue":{"value":"precubical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$44D4C3A9-A5AA-43AD-94F4-D9E2A13B66EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c567301d2854db495ae4b833d1df73068b93bf3f","datavalue":{"value":"\\(d\\)-spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$69AAB14B-E38E-475D-8571-3EA7D31BDEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7096db67d337f01a579259a240dd4b9505be6501","datavalue":{"value":"fundamental bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$22D3DBA2-9F9B-4AC3-8B7D-DDB11881728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778e44e3715c3d8b89d6cde93620d7372e51ce5c","datavalue":{"value":"fundamental category","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$6D10E3D7-70E3-492A-9A02-E47FFFD491B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c5932807119e47a44498f546b5072b5739a4ec","datavalue":{"value":"trace spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$2E80FF6C-487D-4794-BA85-EFAA87A59FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"699479d145ac80cd297971b1a318acf1f8c08fbb","datavalue":{"value":"directed homotopy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$7CA4BFDC-42D6-4DEA-A725-29E555A6B3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q691262$1B45EB73-0DC5-46C0-BA5A-F34803B29C61","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":"Q691262$BDFB6716-0827-4662-A69B-8F1297329C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb31cebe7b66e6204e6d17e0eabddc1ea0576734","datavalue":{"value":"W2109726919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$C8D72A0A-F58F-4319-B56E-675FDE199E4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3832a394ee9628fe489110f0a00671e75d1b431","datavalue":{"value":{"entity-type":"item","numeric-id":1018859,"id":"Q1018859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691262$7535BED5-4901-43B0-BCD9-837CAA7B35E3","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":"Q691262$45BBF9FF-0572-466E-A7FB-A8A817F29FA3","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":"Q691262$94E96137-4744-40B0-AC6D-A474294EFAC1","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":"Q691262$6CECAB64-20C7-4FBA-B625-1304F9BC320C","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":"Q691262$7EA245AD-3E46-4DCA-B3BC-DC1F221EAD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b103b4f6da8892f45e71a4ba7d1316b80b935bb","datavalue":{"value":{"entity-type":"item","numeric-id":1397800,"id":"Q1397800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691262$BF36A456-AFB3-4D18-B5A0-C1CB45952EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691262$9E3B760C-66D5-4B32-8B99-8044430E8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf14a119f9bc85d69ab17e5ae8648669f8d090f","datavalue":{"value":{"entity-type":"item","numeric-id":1397802,"id":"Q1397802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q691262$8FB95981-3B51-4448-99FD-9B6C759746A5","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":"Q691262$AF0A8BCE-C350-4958-8522-F4093AD5ADB3","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":"Q691262$00249FA4-D3AF-4DE4-8B88-49467131FAFC","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":"Q691262$390208EC-52D2-40E2-B320-76F457F5386F","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":"Q691262$2180731F-EDA7-40D4-9A34-02C5AF032FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"603fa05d1fcdcac6b160b4ca0bf6f1be399b4f11","datavalue":{"value":"10.1007/S40062-012-0010-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q691262$34B80309-DC34-4C95-8BA2-12764E72BABB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d31ad1eabb34be50932b63f84f6dead4615272","datavalue":{"value":{"entity-type":"item","numeric-id":2945811,"id":"Q2945811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b7ba5ff21a22819435dd2f3f34f6904c4482b8","datavalue":{"value":{"amount":"+0.7647585272789001","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":"Q691262$BF7009B3-7764-424B-97FD-D2D0D87D5166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7bfd9d8d1060c16a9c2f7f95e761b6e0ae1578","datavalue":{"value":{"entity-type":"item","numeric-id":2444581,"id":"Q2444581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a78c46dc0915b2a1d57a4ff46ff46a8682d9b26","datavalue":{"value":{"amount":"+0.7561528086662292","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":"Q691262$6054719A-C157-4B51-8EB7-A363307E4BF4","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":"f6b7eb571aaaa4256ca40f7d2cf3c9ae32d06c6d","datavalue":{"value":{"amount":"+0.7461004257202148","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":"Q691262$2576B858-9506-4F1E-9689-69461D15BE2A","rank":"normal"},{"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":"5a2277f02ef928551c8321a86b7854d812af082b","datavalue":{"value":{"amount":"+0.7437641024589539","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":"Q691262$4CB026A0-BB13-485E-BCBC-00F999DC6BF4","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":"d91044758ee61828f4b9a249fb41a6fea7df317b","datavalue":{"value":{"amount":"+0.7327767610549927","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":"Q691262$5A1660E5-4CC3-4459-B9E0-9ADC21007FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some collapsing operations for 2-dimensional precubical sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_collapsing_operations_for_2-dimensional_precubical_sets"}}}}}