{"entities":{"Q6345455":{"pageid":13480252,"ns":120,"title":"Item:Q6345455","lastrevid":59002383,"modified":"2026-04-07T06:56:59Z","type":"item","id":"Q6345455","labels":{"en":{"language":"en","value":"Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900435713"}},"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":"Q6345455$62F78A9C-99C9-4776-8B7A-1791D5315839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6345455$A6344863-83A0-41DB-ABC4-D04D641F7690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b294a68ed8bb955f0c6a71e05a0e688382d76dd","datavalue":{"value":{"entity-type":"item","numeric-id":276487,"id":"Q276487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6345455$BAF4CF8F-DAE0-4C69-8E75-24C383E5DDB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$1D13D263-EB5D-4674-9BF4-64EE4BCC1A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$1E192C93-FEA3-470E-B973-0DD4C4010477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$5474D11D-318B-47A7-BDA7-0483C840D3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$3B60CC73-1F33-4409-8E45-6BF9648F5D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$90A64616-93AB-48E2-9780-EDFAEB6B61AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$B12FE6B6-E5FF-40DF-917F-0F3CE60AE157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$564D7D34-E2C4-4CDB-B577-25F294ADA248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10cbb67301162648e2fecb823c20d2c95bb0134e","datavalue":{"value":"900435713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$A5412CC4-72D1-425D-A43C-2CAE43D34543","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80953134d5216d2f05f5390602a86e4e38e061a9","datavalue":{"value":"10.1007/978-3-031-24117-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6345455$F0FEDD3B-9BCF-4DF5-A505-73C2DB315F6C","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":"Q6345455$614D7AD7-9547-4B8F-AA58-657A119E2ED9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6345455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6345455"}}}}}