{"entities":{"Q2989969":{"pageid":3000693,"ns":120,"title":"Item:Q2989969","lastrevid":52824977,"modified":"2026-01-23T14:19:56Z","type":"item","id":"Q2989969","labels":{"en":{"language":"en","value":"Realizability and existence property of a constructive set theory with types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6728693"}},"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":"Q2989969$7EF4EC86-544E-48E6-87F6-DC89837C411D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f02a7195f5cb8974182aa31f8504d27bb7d954c1","datavalue":{"value":{"text":"Realizability and Existence Property of a Constructive Set Theory with Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2989969$79AC17E9-35D4-4AA3-95A9-FC64BC385EF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e288dd927ffc281e9ca88dfc5de8a67e167ce1","datavalue":{"value":"1432.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$912CBA81-1555-4331-98E6-9DE12324D1FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5e4197d9e51ffe50b10804a62c224971d58af2","datavalue":{"value":"10.1142/9789814678001_0009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$56DB0772-1FE4-4CB4-B5C7-00119F22C0B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9f3efbd184981c6972a5c03279b0c793ecaa9942","datavalue":{"value":{"entity-type":"item","numeric-id":2989960,"id":"Q2989960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989969$E06BA9B2-4DCB-4AE7-A715-2835D66D181B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83620221c4293528c647e6c1728fc1f62e1ddb01","datavalue":{"value":{"time":"+2017-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2989969$513EE937-2EEB-45DD-8CD4-F765EC074810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$63A5372E-3369-40FC-9D17-35459CB5B445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$3FFFCE7B-0A20-4952-BD20-A223BD274908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$1FA28425-23CC-4C55-931B-BD9B09214F9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3054b5a04aba0a1fb4a8d9a18582696211e797b","datavalue":{"value":"6728693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$7D3A3EF0-5776-4B22-BB48-B08727E2BC87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989969$5893DB6A-7532-47C7-9507-9E932B71A702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989969$0F9E0E69-9158-461D-842B-B991AB204015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989969$F7011890-0F4E-4543-B053-28BB5E5D57A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5159685676f36ed74f839840c5cb6d20ef2e80e","datavalue":{"value":"intuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989969$A29AE426-06A8-4287-A365-DA9EADC097E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989969$7304CDC4-A67D-4252-AAB4-2DDEAF28C607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd53a04583fd7990da10ec89b3ad9338c05e7ff","datavalue":{"value":"predicative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989969$49A8C312-0898-4DC0-980A-A410AD605BCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f80f388021945d2942bf766e11c8aa394afbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2363504,"id":"Q2363504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989969$94E9D6AE-A42D-47F3-B6AF-E73C7CEDA579","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":"Q2989969$96D0BE81-BD32-4450-96AF-FE7392F33598","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20f0d0d30e15bf0e74576cc03d8f4a248e46b2bf","datavalue":{"value":"https://doi.org/10.1142/9789814678001_0009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2989969$34126DE6-D737-4269-AF84-D0583474EF68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4290c2c7754bdbae9ac27d4e0498cd6d020cdd1d","datavalue":{"value":"W2482455963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989969$FB38AAC9-2A20-4695-B416-400E6FD75BAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8c7dc15f66ae2ef46a1cfe79a5c577aacb0408","datavalue":{"value":{"entity-type":"item","numeric-id":2363505,"id":"Q2363505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35d8c20581ff247b142b3703671ff9e487fdb9e","datavalue":{"value":{"amount":"+0.8416449427604675","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":"Q2989969$FC7C35B0-FA7B-4495-94DC-28BA54EAC73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06a14f02434f759006ec7400463357dbe306f24","datavalue":{"value":{"amount":"+0.7986508011817932","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":"Q2989969$2E783330-857D-4FD5-9CD0-5B0820E6EB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec70ff52fc796e00caacfc9a4c85f6c74c9f07a","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"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":"Q2989969$A2D8E017-89B2-41BA-A95B-7799B2CE7D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff48d3be9d3ba814c8a0e3d95e7fc98c23f5a22","datavalue":{"value":{"amount":"+0.7862216234207153","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":"Q2989969$A5D37702-6037-411F-AC98-6B3BD0135090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da92cb1e0349daf8a78255d0a62e3cc78faa2ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1407579,"id":"Q1407579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c51ef45cf278b1efcd5290524ad6acde374e137","datavalue":{"value":{"amount":"+0.7692745327949524","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":"Q2989969$46654D6E-2469-4073-BFEB-59EA1765F3E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2989969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2989969"}}}}}