{"entities":{"Q5096248":{"pageid":7125824,"ns":120,"title":"Item:Q5096248","lastrevid":41000501,"modified":"2025-04-17T14:28:12Z","type":"item","id":"Q5096248","labels":{"en":{"language":"en","value":"Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572031"}},"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":"Q5096248$A9F8C7F8-8E9E-4316-A702-13209A24DC5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85b04427cfb7718f497320a7863425aa80d791f","datavalue":{"value":{"text":"Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096248$54176ED9-9246-49C2-995B-F1FF197B42C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d4e1db7025248a6ad73ef26c0137cf02c2f5e42","datavalue":{"value":"1496.03134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$792588B0-272F-41CF-B81B-1C81DABE5299","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2d01887dc98fd8c4d6ade67aaf60252deb06c08b","datavalue":{"value":{"entity-type":"item","numeric-id":5057462,"id":"Q5057462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$FA567F50-ACFC-43A6-98C5-36DA5A569A7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096248$E0C11036-B8EC-436E-8236-D14F91CC4ECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$D00B63AF-E5D2-4C56-B9CD-29ABE9BD1EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$D9C2BCEF-42FF-4DC0-BC8D-09B850319C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$C133B57E-370B-4CBE-986F-2CA19373A2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$964FE539-CD34-41A0-BA4C-B4981383567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$93EDAC0C-A585-41A9-A7F4-97A321660304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$E72BC9C0-3CE1-4A40-AF51-2164FDFD6FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afbc7dbae75e8b6912499f8e0b414e65fdd0d9b8","datavalue":{"value":"18M45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$BD8E7433-99D6-49B6-9245-C507C7A439AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$B06F61C2-4892-4CCF-916B-9021E0377914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$ECC73ACB-81E7-4484-9FC6-5260E2EDEFDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8ce7c4eb52456edbe36b3059c6671f4e726592","datavalue":{"value":"7572031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$4603DE95-DF13-4F0E-B63D-81F7C742C101","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":"Q5096248$150982F9-CFC3-4C24-8EC7-E0DD85136AEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d200aa475432d92cf0a3f614d470d87c0e4c91","datavalue":{"value":{"entity-type":"item","numeric-id":1242896,"id":"Q1242896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$71B13AEF-105A-459F-B3D5-2B7AC59FC4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625c1f47e906c1e1ede572eb6f3bb98622129ff","datavalue":{"value":{"entity-type":"item","numeric-id":5617745,"id":"Q5617745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$970B973A-9828-402E-A318-52E4886B24A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$E6E65EB4-E291-4AE2-9222-C468D9E17C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$49CE55C8-0C03-452C-8374-190C2DEA6FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$1EE32704-4E38-42C9-966F-5CF11B1D8F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c121850e1a7817d22ab417cdca1a53e732d190","datavalue":{"value":{"entity-type":"item","numeric-id":4087978,"id":"Q4087978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$F909FB59-7753-4F04-B830-03D8CC1C28F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df63191e117e98445c65ec498daee7c4b8d612","datavalue":{"value":{"entity-type":"item","numeric-id":4145693,"id":"Q4145693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$F42681C1-D9DE-4090-8171-17ACB112C8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7feb8c4c2cd740e1aae98f803e1089745ccab00","datavalue":{"value":{"entity-type":"item","numeric-id":3659785,"id":"Q3659785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$9734D3B7-CE95-4A1F-B546-F6A1136E8A25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17f4f9efb008a5ad99320bde22d7e7ff1d30066b","datavalue":{"value":"https://doi.org/10.1007/bfb0018341","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096248$B3E7F8C7-BCA2-414B-B5DF-E01AFE51246E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"111a919064bd37774cf9dc1e6febc364bc4e00e0","datavalue":{"value":"W2161119255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$C9A2F1CA-99A3-4A98-AAB0-804235619A04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b1169700742a95d56531ca2a96642c89b85fa8f","datavalue":{"value":"10.1007/BFB0018341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096248$B90DADAF-9152-48F8-82C7-456CCD7D29F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096248$F11DBD48-A5CC-4CB3-B21F-46B376C8E0E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096248"}}}}}