{"entities":{"Q490665":{"pageid":492432,"ns":120,"title":"Item:Q490665","lastrevid":62230821,"modified":"2026-04-11T04:40:04Z","type":"item","id":"Q490665","labels":{"en":{"language":"en","value":"Proof-theoretic conservations of weak weak intuitionistic constructive set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476483"}},"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":"Q490665$653FA3E1-C88D-47C1-B349-B90C269FAAAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc981a6efe7876bfa353c76a0baf5674d7d2fac1","datavalue":{"value":{"text":"Proof-theoretic conservations of weak weak intuitionistic constructive set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490665$9947699A-F8A2-4D25-B2F9-2E1C0846D822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea5e9abfd508c585c8987032f8c6404548e0a46e","datavalue":{"value":"1320.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$D082AF90-F5B1-404A-B9E3-3E5C72B04A73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490665$CBFAD91B-EF77-4121-B21E-02A475188301","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q490665$89C9DB40-EAC2-49F1-BE34-52BB120F3263","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$6B3A10C6-281A-4FA8-B80F-8F5F45660C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$88C953C5-481A-4D42-A828-FCBDAA18B98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$26871E81-2094-436D-9E8D-9926D33F148E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$02E189C4-CBA0-4909-AA34-1F3A23A7A6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$7F2AC330-303C-4679-8CA9-CC6A2EA047D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c89b3ac067e946eed412940cef457e81e9829e2","datavalue":{"value":"6476483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$01F953A4-4DE8-4529-8711-3B9CFB8069A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc696197bf9845c4a0d3b38bb3dc8d299fa8e3a5","datavalue":{"value":"classical mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q490665$79BC9ACA-6D47-47D8-891E-8EB069C98FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655a051ced295edb77c312eb3de1163d36ee6b00","datavalue":{"value":"intuitionistic mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q490665$867E3B5E-9C81-4617-86E8-A491CE97C147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q490665$4F28A932-696A-47C0-8916-66BD4670F1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q490665$086879C2-A3F6-407E-9363-F110E1CD59BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q490665$53278988-D541-450D-8F13-C496EACDAB07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490665$2F33A4B5-FA61-4BEB-B906-B32EDEE626D3","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":"Q490665$11E634E8-EFA7-43F3-8997-E78E5C8DA641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0db8b1afaf90332a8f4a57a8052a3699c0b3b338","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q490665$36DA9C45-4E05-42D3-ADF7-2E8FFA29F0AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f34d4f763dd3f717f5761edf96b0947bf745950c","datavalue":{"value":"W2045335176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$A5480910-0941-48D2-AF70-9E953184F676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81a40478f538860c3007ef8691099b29c49789b6","datavalue":{"value":"10.1016/J.APAL.2013.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490665$08C46052-7FF6-431C-80AC-9C70C95A1741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"832817925fb3c5cdf377d045b89230649c0bf350","datavalue":{"value":{"entity-type":"item","numeric-id":4981442,"id":"Q4981442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baefcc2f458c175d4e59a1b0548e8182f32a61f","datavalue":{"value":{"amount":"+0.8888574","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":"Q490665$B1B1D5A9-BD33-43ED-A778-00DCF961FCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703b280612b4c4936650f2e8bde1e90de6a395b8","datavalue":{"value":{"entity-type":"item","numeric-id":5411450,"id":"Q5411450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17aa0901782ec51e0f7ad67fa470a52b441db24f","datavalue":{"value":{"amount":"+0.88811564","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":"Q490665$58C3348F-0579-4344-A477-A26B53125B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27081edebe8529d76e0d99b7dc46dc143820f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddfd6b866ccd818177ba3f2b65d6d933f73d96a","datavalue":{"value":{"amount":"+0.88337326","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":"Q490665$4EEC5E8E-391F-4DCE-95C1-F4FA128D573B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc965eaeb916ba7c8fbd7e9853e6f5401e7606","datavalue":{"value":{"entity-type":"item","numeric-id":1080422,"id":"Q1080422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4393ff3610ba186904e2ad92f7fba29749b4f1c","datavalue":{"value":{"amount":"+0.8825481","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":"Q490665$2531B22C-F53F-4DD1-BA02-74FE024D58AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f0f1c32dfd86ebebcb2fc47c14fa52ef08fb35","datavalue":{"value":{"entity-type":"item","numeric-id":1344280,"id":"Q1344280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b763e5402591a7352e92f86015e24c72489a76","datavalue":{"value":{"amount":"+0.87981665","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":"Q490665$ED887C0D-CE0F-49BE-AD86-473BDA9E9FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9c9e1539d887aa3e29315398c4283891eabef8","datavalue":{"value":{"entity-type":"item","numeric-id":4884540,"id":"Q4884540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9bd65fc95c6e382a44f7652b6de328ec5440fd","datavalue":{"value":{"amount":"+0.87603736","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":"Q490665$AC21FD58-1912-4DF9-94C7-9BB4B23627BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6866a4827983baa9f3c9792e2ebd68822b51f342","datavalue":{"value":{"entity-type":"item","numeric-id":1187976,"id":"Q1187976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d3633a02aefe30c13efbf87473bf0d5d7b12ff","datavalue":{"value":{"amount":"+0.87579256","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":"Q490665$3AD031EE-139A-4632-8274-DB89DB70D069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84c35779661add7a6abbd96f21884a9be35c2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4458699,"id":"Q4458699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6cfd85f4ba96a7b60bd6bf44658d05204f713a","datavalue":{"value":{"amount":"+0.8756337","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":"Q490665$09DA006F-BADD-4825-9238-4566363C9256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa84b864ee39cc2bc45db23f602924147948719","datavalue":{"value":{"entity-type":"item","numeric-id":2193974,"id":"Q2193974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356905cfc53e3450b0fff1de70fca83b72c9f081","datavalue":{"value":{"amount":"+0.87501895","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":"Q490665$FE21DDDD-764B-4676-843A-4EE882EC7331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c78480b647da916ec4a81a367238985aec48ae","datavalue":{"value":{"entity-type":"item","numeric-id":3312223,"id":"Q3312223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73df85d8b8cd2ebc01a858c06f0a7293a66ba066","datavalue":{"value":{"amount":"+0.87496644","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":"Q490665$EC0A7376-9CAB-4ED0-BE06-4D79B49828C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic conservations of weak weak intuitionistic constructive set theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_conservations_of_weak_weak_intuitionistic_constructive_set_theories"}}}}}