{"entities":{"Q7013586":{"pageid":21584439,"ns":120,"title":"Item:Q7013586","lastrevid":79394870,"modified":"2026-05-06T13:48:28Z","type":"item","id":"Q7013586","labels":{"en":{"language":"en","value":"Irrationality of process replication for higher-dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8010116"}},"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":"Q7013586$DF2BF4BD-76FD-42F0-A19E-CCBC065505FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6fd7621236f6c394feb7e8a7a81b61fef2e62c","datavalue":{"value":{"text":"Irrationality of process replication for higher-dimensional automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7013586$291B6454-7354-48A2-A80B-A01992F10438","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec34c3350643dbb06113e02b59f0ddd835d6cca4","datavalue":{"value":"10.1007/978-3-031-68279-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7013586$D471C387-6AFC-49E4-BE5D-09A02B16A469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbca0650db1bfb788cc13a5d90a77dc26a5decca","datavalue":{"value":{"entity-type":"item","numeric-id":7013585,"id":"Q7013585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$944B1E25-8E12-4DCE-B670-7BBC7AB97E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4579b04445885ccce3d16d5b0f09ea564b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2233466,"id":"Q2233466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$7F89E7A7-1E55-4345-BE22-0B8F2E89AFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e135ee011abcd419bdb07252f75dc825f26cb18b","datavalue":{"value":{"entity-type":"item","numeric-id":309654,"id":"Q309654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$4B4AF7C8-808D-4606-808E-B4918514AC1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28c2d66b7c9fe373453e839ca68d461fbfc077ce","datavalue":{"value":{"time":"+2025-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7013586$E46A3956-5574-4115-9A2E-CA94F5B5114C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7013586$4D0E4822-79BB-4669-BBA4-AA2F96910EF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cdb9ca64f185050fc9c9d4dd530d12b9f6dab52","datavalue":{"value":"8010116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7013586$0FDEB335-8C39-43AF-8922-9402D1E89CE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q7013586$D7C627DF-E8B4-42CC-B6B3-70488C53B4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eeca86ad33e47b2527cf1cf7fadc22954c74b8b","datavalue":{"value":"process replication","type":"string"},"datatype":"string"},"type":"statement","id":"Q7013586$368A829B-85E3-4819-BF4E-B0B940B1B25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121246aa17fc8b0439757b38a0dd0fb391b3a07d","datavalue":{"value":"concurrent Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q7013586$11AFE96D-32DF-4256-BDCE-559493E6F73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa2a2e6ae4d1f574c155cb3e541cee1e6877197","datavalue":{"value":"locally finitely presentable categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q7013586$C9AED2E7-43DC-44CE-A8F3-63F3145CD1E6","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":"Q7013586$CC5F9B31-CFE1-48AA-B2D8-4C1D71BA88B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$393B8701-69D3-4E49-ADD6-75B65C3C117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6b7d32e3b50e59e9c3b73a59e4633639d022f3","datavalue":{"value":{"entity-type":"item","numeric-id":2946691,"id":"Q2946691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$7205AA56-C41E-415C-A92E-F79C2DD502AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c193fad620854702cf7b000048c8bf6c9a25f56b","datavalue":{"value":{"entity-type":"item","numeric-id":1089958,"id":"Q1089958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$4DB1F87B-0335-4DB9-907F-5216334DE66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e052e1c6d6452145e27f005330619cf89baa14c1","datavalue":{"value":{"entity-type":"item","numeric-id":4654639,"id":"Q4654639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$8F47A51C-F3EE-4F36-947E-CFCCBF7099EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d12ded399324532708b6c303f64c389eb4f17f","datavalue":{"value":{"entity-type":"item","numeric-id":5076390,"id":"Q5076390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$8CA440F3-A9A1-4F21-B96B-D7F289D94CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bab51510c8cdbb460d74e8577b6009e7a0a2c5","datavalue":{"value":{"entity-type":"item","numeric-id":6587137,"id":"Q6587137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$7D9E4D14-0907-4658-94AB-8110E8A94DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa29ce1e87c7172db6566c0533d5449be12e8cb","datavalue":{"value":{"entity-type":"item","numeric-id":265804,"id":"Q265804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$6A8DC2EF-C78D-4FD8-9090-9A96B6608E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14894fc7777839fdd151f06e9252bd5c69e7e946","datavalue":{"value":{"entity-type":"item","numeric-id":4507888,"id":"Q4507888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$70031763-A022-43F0-B10F-320073AE35F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$21D13C9D-E9D8-4351-86B5-1CD5838FB774","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":"Q7013586$0E5D901C-F074-4BCA-AE54-4C7637730629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$E3F361E7-ECBC-4DB8-9C40-823DE1A50FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$10FDF9AD-A5F3-4988-BAA7-606C5CDC3E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5c32b039bf05a4c9a26bddce967d7270f7312d","datavalue":{"value":{"entity-type":"item","numeric-id":1083522,"id":"Q1083522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$9F85EBDD-CE41-46C3-885F-29B02FE34A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbdba31b3984497d94bc0ffe28161af5341915","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$C2EBC492-3DAF-4BBE-A5D3-AC88A155062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50fcc90518a182dd6733d1d9d1210c0f8007aec","datavalue":{"value":{"entity-type":"item","numeric-id":2324599,"id":"Q2324599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$B0703E0E-8DCC-4BB6-85F0-55985EBC7C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ff024eb03013723e59a7d51bba6f058f3d2fb","datavalue":{"value":{"entity-type":"item","numeric-id":5850160,"id":"Q5850160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$ECAE18BD-C1D2-4C62-9A33-96A7E82D7297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edf421acc2659164c1255107c4130d15746264a","datavalue":{"value":{"entity-type":"item","numeric-id":5111639,"id":"Q5111639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$F23DBFB3-8112-498C-962B-AB1B45E4DEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73f4691b4a6685db216576416bc84cf79fe5934","datavalue":{"value":{"entity-type":"item","numeric-id":1734519,"id":"Q1734519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$A10D5B4F-EAC8-48C9-BF8D-0251297B12F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91da2686aaea55c0da7b723fa48e2f2fab5344","datavalue":{"value":{"entity-type":"item","numeric-id":1566734,"id":"Q1566734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$E440D42F-3AFA-416A-B3C6-226CB0307B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe88706a1e573030dc996d42b4def1766230497","datavalue":{"value":{"entity-type":"item","numeric-id":265819,"id":"Q265819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$110E3466-FA0B-41CD-BC00-F21D20493F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9433b77fd67c96fab7c401e42c7a40799c3264d","datavalue":{"value":{"entity-type":"item","numeric-id":2829627,"id":"Q2829627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013586$2367DAA9-1606-4645-8437-978AAA97753B","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":"Q7013586$F46A656B-7189-47CF-8111-2CD0AC37CD11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irrationality of process replication for higher-dimensional automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Irrationality_of_process_replication_for_higher-dimensional_automata"}}}}}