{"entities":{"Q6587137":{"pageid":14198293,"ns":120,"title":"Item:Q6587137","lastrevid":55725337,"modified":"2026-02-17T21:44:28Z","type":"item","id":"Q6587137","labels":{"en":{"language":"en","value":"A Kleene theorem for higher-dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896562"}},"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":"Q6587137$EDE797DB-5E4A-44DC-9496-6143123DB9F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"452cb2de3b03f2a7c858b498bd1141d45c4637cf","datavalue":{"value":{"text":"A Kleene theorem for higher-dimensional automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587137$6BACDEDB-6AB8-480D-86E0-8B7A60E82F31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587137$9561A0BE-B54A-46F2-B783-29BE4A8F83C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6800aeb717397b115258a9e735a6c4d17237fc87","datavalue":{"value":{"entity-type":"item","numeric-id":272299,"id":"Q272299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587137$162116CA-F207-42DB-BB12-7769C7E7EE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587137$1DFA3B66-2CB3-4890-80E3-EC8594445C0D","rank":"normal"},{"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":"Q6587137$8593A515-4503-4232-BB8C-513813811B5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587137$265EDADA-11A5-4367-B7FB-1DA0BAB1A9C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587137$9CB130DB-8BA0-4A31-A375-B6872C1AC5F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30cb8eb581f1bfda22e4b00eb36a6cd2b93bac9c","datavalue":{"value":"7896562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587137$8DA68650-3B72-4140-9ABB-94F5C8EBB273","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587137$E98BBF5B-E1D9-4D79-A8C9-77FC1CAA2398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3dbb159e0d542ba48bcedd4712caa5222523a7","datavalue":{"value":"interval posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587137$73CB903B-F0B8-435C-8E23-282F08CC22B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587137$95B81D42-A758-4886-832E-6B9FE9CD086C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587137$316632B4-5D8F-4585-8A0B-2CD996A2FA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf8d63cc1a292ff090036fc8497421c04a118e4","datavalue":{"value":"labelled precube categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587137$4386F241-14B8-417E-A71D-1EA04C49BAE6","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":"Q6587137$BE96561D-CB95-4C43-80E8-3EA2490D5C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30313edfa661763d143f8c229bb64ba832320be5","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587137$52C0AFAB-9369-4A7A-8F85-B6AC695A5AC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3aef35341b919b87ccdc1ff02d97d4cdf0dd66","datavalue":{"value":{"entity-type":"item","numeric-id":5076390,"id":"Q5076390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5242946833a3558339931542529aaf636263458","datavalue":{"value":{"amount":"+0.8402776122093201","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":"Q6587137$455CA85B-7AA6-4C7F-8A8A-DBF8F8620BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f476cce2003a33dd117693aed30220413d6d6365","datavalue":{"value":{"entity-type":"item","numeric-id":6535191,"id":"Q6535191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c37ca40218146b6a2aa318996b449a77c375e6","datavalue":{"value":{"amount":"+0.8241229057312012","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":"Q6587137$44F1C5D8-9B33-4800-9EDA-0B708930761E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4865f43eb3ec10659a2602584b749503db41051","datavalue":{"value":{"entity-type":"item","numeric-id":5705872,"id":"Q5705872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed055dbe7eb391a867f05c14d8b1e3cd2f6f89f7","datavalue":{"value":{"amount":"+0.7752170562744141","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":"Q6587137$BB9F49FC-629D-4776-BBBF-7BD3F4AC33CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9206e8694c4fa47e4a48a9dfc06bcd78ecb00d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5111639,"id":"Q5111639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3020286dd7db5e25947ff0055314e9c3cc07487","datavalue":{"value":{"amount":"+0.7686513662338257","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":"Q6587137$943CB0F2-FB37-42B5-97BD-379203DB7A72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587137"}}}}}