{"entities":{"Q6135773":{"pageid":13270080,"ns":120,"title":"Item:Q6135773","lastrevid":58706247,"modified":"2026-04-06T10:03:54Z","type":"item","id":"Q6135773","labels":{"en":{"language":"en","value":"Reduction Free Normalisation for a proof irrelevant type of propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731933"}},"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":"Q6135773$1B8F431E-5CFF-40D9-B79D-AAD260C636BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98eca57d7ea82bf2415650cf48446a473173a5bc","datavalue":{"value":{"text":"Reduction Free Normalisation for a proof irrelevant type of propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135773$A99A034A-7AB4-4BDF-9BB2-9DC8706D040D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$03C3A5AA-9C54-470D-AE9F-4D50F854697F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$DDD77A29-B774-4C3B-B3AB-B946CABB6CBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135773$A49181C2-91A2-4DF3-9CBB-47B052CCB4C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f405b1e33c9e178dbebc0857fe2cfcb521d31d4","datavalue":{"value":"https://arxiv.org/abs/2103.04287","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135773$9F6FF026-A815-44B9-A8C8-05E386C34227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135773$CDE731F7-8722-433C-B8E5-ECDA8640DB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135773$E541AC44-D91D-48CD-B6BB-FCBFA5963608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e9b8b4cc30011ce09b81ea7c61f72210b040e1","datavalue":{"value":"7731933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135773$37CE8AFC-0320-4521-A07F-94C175A09919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135773$0D014FC1-8E68-4FD5-8BD5-A274CB2836C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d2db8243c44e119efae19b0e3063adb7818575f","datavalue":{"value":"presheaf models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135773$91B5DE07-BA2A-4BB8-AB91-07C0C85F6C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135773$47A22CF8-72C2-4820-800B-0AA3A4AF9B3E","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":"Q6135773$EB1767AD-2FA5-452F-9142-3919F7AC8B7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1604a87e3a8ab7a53ec2a1cb5bce3837ae89434","datavalue":{"value":"W3134370287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135773$A3CF6D44-8840-4F5A-AA68-59EBFA1EE8C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc27e487b19f3a885ba7ee44e199514f4729614f","datavalue":{"value":{"entity-type":"item","numeric-id":3300787,"id":"Q3300787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$83F51CA0-ED3D-431E-9A96-5738C6E6C479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9e37c601cbb7d5abcb04adc76f871c2d1c48d","datavalue":{"value":{"entity-type":"item","numeric-id":3637183,"id":"Q3637183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$D5204859-5236-4C66-A417-26FE3E265997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636e6d370787b2be5b482356fd8848f9c09cf99f","datavalue":{"value":{"entity-type":"item","numeric-id":2422026,"id":"Q2422026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$86586232-0B8C-44DA-9F6B-74043146E3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$25CF09AB-A0A0-4EFE-BCAA-B53D851D317F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$1E0D2F94-92B1-4AA5-83CC-943C468ADE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a935ac3526edc406b968b6f918468f7fd4c0818","datavalue":{"value":{"entity-type":"item","numeric-id":5089027,"id":"Q5089027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$7F2DA1F3-CA36-4822-B311-1A8C049973BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66214e92f7757e434dd2d48c2baa965681c77556","datavalue":{"value":{"entity-type":"item","numeric-id":5897610,"id":"Q5897610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$D18AF00C-4076-4A9A-BECF-1398AD4602ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$25759FFC-BF08-44E7-8C8F-B9D57DD7D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b9e9a34aa8918de2de1511c7b08fa278e0a0","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$27BB6C46-BC6A-49CE-94DB-21EC97127C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b164a8a442a59267e5e554123d19ddf502e88781","datavalue":{"value":"10.46298/LMCS-19(3:5)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135773$3C06B5B5-FB61-4151-B340-BBB4711DC90E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135773$A2964B93-7886-4F05-990D-3A641A7365FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135773"}}}}}