{"entities":{"Q5477363":{"pageid":7506922,"ns":120,"title":"Item:Q5477363","lastrevid":49871608,"modified":"2026-01-11T11:52:03Z","type":"item","id":"Q5477363","labels":{"en":{"language":"en","value":"Realizability for constructive Zermelo-Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038467"}},"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":"Q5477363$FDD4B6F2-8E6F-431C-9927-B7E948AD77FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea99d79d0dc6290fa4b36d2cbf5183d20288f177","datavalue":{"value":"1102.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477363$E17C2493-E0CF-4531-8036-98EF11C8BC61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477363$7CC0EA48-7993-410C-90D3-0A090448E3C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac17ed5a40bf8aad6f70ec47d507eca00a25f0bb","datavalue":{"value":{"time":"+2006-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477363$3BF54977-9042-433E-AD80-F28D6D8FCFBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477363$66FE9875-9648-4BDB-9014-8DDA19FFE1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477363$6855FF2D-3DB6-400B-A76C-647C7263B882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477363$D0AB665C-86C3-45FA-9457-4453FEC0BD14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40768f8e0491261a9e3984d934f5e8918876d118","datavalue":{"value":"5038467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477363$57D51BC4-7A41-4710-8934-8B9A2E42DCC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477363$C7467B14-3659-48F3-8D2C-0BDCE0AE4E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbd231bdc0bbe9169713e1f7b296e6e71dc765e","datavalue":{"value":"Kleene realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477363$B30B8E0B-C2C2-4661-B4FB-2E81E1E3725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4153fde4a5b9d60778e892bb8314c3075d999a","datavalue":{"value":"self-validating semantics for CZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477363$EA120B78-CBEB-4FC2-9AE4-A4BF1E32ACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75541e345a61190625de7713a8f4c6c8c96d9d6c","datavalue":{"value":"equiconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477363$3A4F0FD3-1EEC-432D-B26D-BA82F67B24B1","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":"Q5477363$6DA54AAF-200A-4E3D-994C-DB63794A2CB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903fec9f8f4fd8c5b1487f80e0d410765f61a896","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36be451c56496266cb1a4dadbaedf2924eedb45d","datavalue":{"value":{"amount":"+0.8262314200401306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5477363$1A407826-5965-4D25-AE18-0D8CE69650B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df5b352c0cb57e4d10ceb98a4c3dd02a32501a","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd7e2a0e3a85be2f3db537aa0351f49700fa355","datavalue":{"value":{"amount":"+0.7972080111503601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5477363$A002DF4F-920A-4A87-96CB-6A30B12344B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac307fddb62d2762c8212227c24e5c41695744e4","datavalue":{"value":{"entity-type":"item","numeric-id":2989969,"id":"Q2989969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a567f0faa8e03f7c7f2c8506f265b7a9920dabd","datavalue":{"value":{"amount":"+0.7935214638710022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5477363$66F0CCC5-1559-43AA-A05F-194F27A1FDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee89132d7b998afbc83c8c4afa220269b3a2065","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc12cf66fd785273bde88383cf4fa811bfb2490","datavalue":{"value":{"amount":"+0.7918131351470947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5477363$607791D8-23F1-4858-BB8E-6C8B372807D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c1837a5f245b2fced9182e4dcc76b4b4ee086","datavalue":{"value":{"entity-type":"item","numeric-id":651324,"id":"Q651324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaecc21d96ee57a1c6072214ac567387283c696","datavalue":{"value":{"amount":"+0.7844223976135254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5477363$D13CF2D8-95F7-4EA0-B0F1-48417A300E34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477363"}}}}}