{"entities":{"Q3224695":{"pageid":3235403,"ns":120,"title":"Item:Q3224695","lastrevid":58149714,"modified":"2026-04-04T00:28:50Z","type":"item","id":"Q3224695","labels":{"en":{"language":"en","value":"Proof-irrelevant model of CC with predicative induction and judgmental equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020602"}},"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":"Q3224695$07179F06-A703-473E-958D-10D2449853B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fd8661f1a50a72fd64a1c2a613fcb18b66a53a8","datavalue":{"value":{"text":"Proof-irrelevant model of CC with predicative induction and judgmental equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224695$D1EA49B9-D29F-48E5-8D88-13E00888529F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c03f178194806c7644c319e2139f77f818644d7","datavalue":{"value":"1237.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$64DB955A-AD83-484B-B163-44D17EB1D930","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94ff2d2be7854508735c39b87f6499f8fa987e7f","datavalue":{"value":"10.2168/LMCS-7(4:5)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$E154D213-562B-4067-8243-0D5C5E4D1971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e187b2549084d3b0400c26e513ef456c843715","datavalue":{"value":{"entity-type":"item","numeric-id":618310,"id":"Q618310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224695$1FEB1CBE-FCEF-4CC1-8795-57061E759058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224695$4625673C-9388-47A0-8B14-E285BAF15015","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":"Q3224695$755C1AB9-6926-44ED-ADCB-8A78080F44CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224695$5F49F537-138E-4800-B976-A3FD0B9EBD99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57ac53f138b6aaddc6c1de582e5e221dcdbb67de","datavalue":{"value":"https://arxiv.org/abs/1111.0123","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224695$7E8E56B9-E3B1-4EEA-AFA1-167BE5A3437D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$3A0CF3E1-6E70-4711-994C-26729B33E875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$07C2DC4D-F80E-4560-8196-DA37ADEDD575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$EE23E554-2F61-4363-BD26-D02A95EE4F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$94BC4955-2F15-466D-A8C3-7E1D2B9D698C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93dd8e93fa8d029f77efed87c1e6dcbf4016569b","datavalue":{"value":"6020602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$682F2EE6-4178-4F9E-9AB4-856F7B7C0C51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224695$8857B95F-5D99-43E8-812B-145278AF4B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9f41e08117ac147a19fd97be6f5466d4c1d7dd3","datavalue":{"value":"judgmental equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224695$D5B0BBF8-B327-4CDD-A7E5-26533EA4D263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"369d809faf45cd7c2feadd7217eb1a0d072ebf93","datavalue":{"value":"proof-irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224695$A19CAB97-816C-44A7-9270-903EC2F3EF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224695$0904DA86-6822-4BEC-BF8C-0D4B3721F7D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224695$97DD6ED6-12A2-4398-8365-0D9493F76BF6","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":"Q3224695$F5805C87-5477-4822-8D41-21F918B01B10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e016fb5be921e9f81128c3b28c7fba87f9f7fc51","datavalue":{"value":"W1971086784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224695$B9D23098-A3EA-4349-8D54-5647B2A7B61D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331655c4eafcb383ada6fdca52fe4bbbd459891c","datavalue":{"value":{"entity-type":"item","numeric-id":4405694,"id":"Q4405694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86cff48fb790d935b8095389802e9b237e1b1b2","datavalue":{"value":{"amount":"+0.8531392","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":"Q3224695$1C596206-EE02-4F70-97BF-FF4C74E366F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3cf94655043513448e049cdcf47e699508aca74","datavalue":{"value":{"amount":"+0.84635687","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":"Q3224695$599D3CE8-E4AE-453D-A30B-AB5529C2C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b826ef5cda30a1157e287a75867f2245504cb11f","datavalue":{"value":{"entity-type":"item","numeric-id":1176101,"id":"Q1176101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457e2f4185e93d05914fc17bebe7d845c0670b17","datavalue":{"value":{"amount":"+0.84544533","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":"Q3224695$FCBC3897-34AF-4B2A-8FC2-FF72B99E4313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740fcade729fb3a3d8a95637c8706945325101eb","datavalue":{"value":{"amount":"+0.8447685","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":"Q3224695$3643CB6E-C111-4E2E-8022-515F279D821C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7493958f80fe0b97168f1f263f7bcca35e9d927","datavalue":{"value":{"amount":"+0.8434492","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":"Q3224695$B5E5EF0F-7869-4142-AA52-073FC3810BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed974c8cee2b204e56d027b784cb5372e86e51b","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefcfc7f39f70fe1a4737e1621ea41d83b88dfad","datavalue":{"value":{"amount":"+0.8419013","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":"Q3224695$14B9B487-B157-4713-AD55-E92698282028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b124167026a5de2b9effee8c0db0e3de63270de2","datavalue":{"value":{"entity-type":"item","numeric-id":884950,"id":"Q884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24f7cdb4843a423b7defd12e354980d251adc59","datavalue":{"value":{"amount":"+0.8379233","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":"Q3224695$B667F44D-8834-473E-8926-81CD94520ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5561799bc65f48623675d6927fe9509644ecfb0c","datavalue":{"value":{"entity-type":"item","numeric-id":3781737,"id":"Q3781737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0d749fced68f80e58792006c91d9dd83f9a09d","datavalue":{"value":{"amount":"+0.83587706","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":"Q3224695$80C5EC33-018F-4064-88F5-66F23C4310BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938df091a9def9716d44a9dbbee15649598abaee","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4877e065340cd1c03b329bd53682d92d98fd120c","datavalue":{"value":{"amount":"+0.83350253","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":"Q3224695$90F3082C-5AD8-4651-9484-2CDA18CF415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703adb724ab299360fb30806591e423fa43d4d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5111195,"id":"Q5111195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b3bb8567f43e20933b0a323dfb6dea1733ecc6","datavalue":{"value":{"amount":"+0.8323667","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":"Q3224695$BD4AB623-9327-4228-8B9C-EAED23870F1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224695","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224695"}}}}}