{"entities":{"Q4644591":{"pageid":6674172,"ns":120,"title":"Item:Q4644591","lastrevid":58313103,"modified":"2026-04-04T16:35:03Z","type":"item","id":"Q4644591","labels":{"en":{"language":"en","value":"On the identity type as the type of computational paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998026"}},"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":"Q4644591$4BD20FFB-F255-4C29-BBEB-9CEA4B37D34D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"526e28e329ca3e1b3cf1db8306ed3672d7a6fa1d","datavalue":{"value":{"text":"On the identity type as the type of computational paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644591$1465EEF2-8A40-4B5E-8D64-9B52D6958CEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fb73f778ba9a589d5fc24af3571a007e3b7e9a1","datavalue":{"value":"1405.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$CE1CA421-BC38-464F-BF09-E1F36DB79459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de564f32e3086e87f987623cd81124a3344af8f","datavalue":{"value":{"entity-type":"item","numeric-id":4644590,"id":"Q4644590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644591$03012D55-6DBF-49EA-81D3-204B62AE30C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644591$E8E9175B-8EE1-4FDC-BF60-580D85487627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abb4f1c0073438793d43eb9c7ac443b64bb74b3","datavalue":{"value":{"entity-type":"item","numeric-id":1744399,"id":"Q1744399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644591$52A4A11B-DF26-4915-A036-EA38BBB5C417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644591$D46F577B-756E-42F6-8991-5BEBC78E8444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644591$CF41D806-AEA0-4305-99DE-E0968F289282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac5b2a920e499526024c079d18f1e736c65079ee","datavalue":{"value":"https://arxiv.org/abs/1504.04759","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644591$17DD3255-3D56-438A-8CE4-9C8AC5B8F7D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$353C4800-B6C2-426B-B853-EFE034AE8F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$7C693D62-49EB-4513-9C9D-A4FEEF0EDBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$95ACF85A-1361-4C6D-BE2B-40F59A64B487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1d27cde361840d22faf5423388e67be74ef7554","datavalue":{"value":"6998026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$38DED5DB-42BF-4775-9F85-B82940DA7183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef13a89c6778f2a25bad254dc33f67d3057db91","datavalue":{"value":"identity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$A484FBC9-B485-4350-8360-3AED3CC7294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f9d96968e16c90675e6ca59160baa0bae1789c","datavalue":{"value":"computational paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$1641D9FC-7635-49F9-9061-C09EF3B3F97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37283e3853865007a9a577600d0e3a611e31b03f","datavalue":{"value":"equality proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$6F09F20E-8393-4399-8F99-4C4A1FC00A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef6680d9d5c997bbc11040d2940a7ec904ee5a9","datavalue":{"value":"path-based constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$F4FACFF9-ED76-45A9-8C06-8C6701478EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$FA1E9C07-8FE0-4FCD-954A-6562A6AEB4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"686fc80900ea0573b377f85f6718ca0f5c43aa1c","datavalue":{"value":"groupoid model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$CAD24517-D505-446A-9B2C-2B972F4978A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$28EA7154-A1FF-4EB5-96C1-8C8111204467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$416340A9-9642-4567-B033-CC1D1A4328D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff53ba94469276c253eb22cadc9d217f645b9fe2","datavalue":{"value":"higher categorical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$CC6C6212-F46F-4DCB-81EF-EFE5B5BB2754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efbc4f01483d16f3e9bc42ca59dc177a7668df88","datavalue":{"value":"uniqueness of identity proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644591$D7CF3A18-FAA4-444A-A640-B6D6488DA4C1","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":"Q4644591$EB388787-0945-4909-BB3E-11035EAB6F8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d559eff025bdf13da70787dadac672f856397e7d","datavalue":{"value":"W2963961857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$2D3DA056-1C6D-442E-8503-DC775FA0619A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88eee77d44b5a451b382b41df5338c03cde89210","datavalue":{"value":"10.1093/JIGPAL/JZX015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644591$2E5BC6E6-0CCE-4D9D-8E30-774D80DC8C1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f60d96e03ca17afc609e5e73596306b7a040fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2965632,"id":"Q2965632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b28ae328e4bba0c0eb6e3dfd34589cf0bcbf8e3","datavalue":{"value":{"amount":"+0.87517273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$CF1DE4AF-D13A-412E-B927-48D29C578997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83fb1a8194c66bf112bd5a92ae15a03beb0deb0","datavalue":{"value":{"entity-type":"item","numeric-id":2974780,"id":"Q2974780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb87cb21d0907533a29707771f5b25cdcc03589a","datavalue":{"value":{"amount":"+0.86963767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$F0F5239F-CC0E-40A4-8997-866774EC3A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7964a8e5035386e080207603af2219d2a78d4e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4581462,"id":"Q4581462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1297ba40ec5484ca6d932b8e3ee87e9533bae1","datavalue":{"value":{"amount":"+0.86679864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$AADEE3B5-A6DA-4063-8FDF-1E0E7D6B62F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d083df6128f15efa78ee573dc142d4f07a02fa","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7206585b5d1949942be4f8c80e9aa846b122acf","datavalue":{"value":{"amount":"+0.85695183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$CAF7155B-C558-4927-AF35-64C4C47CCF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87276223397729b4d55531f2e42adff02b95ef2","datavalue":{"value":{"entity-type":"item","numeric-id":1337495,"id":"Q1337495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cee80b76e4e7db74dce0a4f1f9754a09363717","datavalue":{"value":{"amount":"+0.85276693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$C8E1BE7A-E746-4C7B-BB35-E5773E4F98E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d6992893d7d24d5077df308a3cb4cea20ff129","datavalue":{"value":{"entity-type":"item","numeric-id":1065543,"id":"Q1065543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea3ab0409e5304ed042e81bea8ed9fcc9a3e6ce","datavalue":{"value":{"amount":"+0.8515259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$E187CAE6-EB6A-4CEE-9BAF-9DA7383536CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1a7361f09b8fbecc10d7f1f1605fcd89328814","datavalue":{"value":{"amount":"+0.84991205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$EE4E3ED9-D30C-4CAF-8D55-64D07ED09A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84195b86f0a9e34e364d34b8b034e0cf64d5950","datavalue":{"value":{"amount":"+0.84805596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$2D2C3A93-404E-4C1C-BB02-64A851318023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a62c18ff40bc8cbd0048a3fcedb9d2b3d4be504","datavalue":{"value":{"entity-type":"item","numeric-id":1756694,"id":"Q1756694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7178f0dc18fa590056499edaaf80c4ed5196a1c9","datavalue":{"value":{"amount":"+0.8428782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$90E3DEE8-8CAF-41A3-A9E0-EDE5C939069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f8863c0ad8f47e8885016b775f423134b8191f","datavalue":{"value":{"entity-type":"item","numeric-id":6064279,"id":"Q6064279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d53505ddf3047822002b3182f5d70eee6fdc561","datavalue":{"value":{"amount":"+0.8425575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4644591$65E394AA-E987-44C4-B952-5443871EC133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644591"}}}}}