{"entities":{"Q3149963":{"pageid":3160679,"ns":120,"title":"Item:Q3149963","lastrevid":47993194,"modified":"2026-01-03T07:27:15Z","type":"item","id":"Q3149963","labels":{"en":{"language":"en","value":"A General Notion of Realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1808586"}},"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":"Q3149963$8E667D51-90B8-46FE-9D50-0A72C93ABFD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c4d88e5930fb5cbb750fd328464df8163968438","datavalue":{"value":{"text":"A General Notion of Realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3149963$E2566004-8A37-4DF0-86C2-1E3A313CCE4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47aa8d456e89ef2c03b44d1345b64e7522f9bef0","datavalue":{"value":"1031.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149963$46793936-2588-4B99-B4A5-0C459168B069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bed462021c5372e76c635560090288561e3e4d0","datavalue":{"value":"10.2307/2693966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149963$A95029CD-8B94-4B51-8D31-442EE4A476F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149963$74CFC8F1-3362-4AD8-9A7E-E695094CABA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3149963$AAAE7CF5-3DAF-41F4-86D2-00A1C7A625A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"378ff7bfc14214df50553da5487d2d4bab418f6e","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0802-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3149963$05DA6DE2-95C5-4422-BF0C-B156ECCE7047","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149963$3030A618-A1A6-426D-865F-76AB6AC487BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149963$298289DD-05B3-462C-B4A3-677DA96A9162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da287812b487892f507dd5e3402b470406414311","datavalue":{"value":"1808586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149963$02D51871-9994-4AEC-8CF9-259AAC016EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149963$83712B30-ECD3-4911-BD69-05046ED07CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149963$EFD2D53D-97B5-46C1-B9B4-111EABB6CA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149963$CBEAE4AC-CA0D-4379-A640-701E70A803DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d898539b0b7b288326ffe34d8e2bf4b12316d36d","datavalue":{"value":"partial combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149963$8BF45372-16AA-46B4-B20A-EDB95FD3BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c54b8cfbd63333926f6af3b23e12d01d07db99","datavalue":{"value":"dependent predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149963$0B371412-4E40-434C-9F1D-2CD2A975C467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e470c666bc1c13b7c51456407f3c1428b4ea62f","datavalue":{"value":"equilogical spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149963$ED270920-D2F6-4460-A44D-2AA7A694E8B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149963$F1A93C07-F82D-461E-8CAB-E2EFF25A71B5","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":"Q3149963$D09E9604-9DB9-48A2-AE02-13A25D7901B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2e257b3303829c7bdbbc2eff24f9fc89f75b128","datavalue":{"value":"W4231312455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149963$38BA6B38-601E-4C2C-A30C-CE2331338349","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a54779f34ff896ecc51133063182d7ae9b296d","datavalue":{"value":{"entity-type":"item","numeric-id":1574785,"id":"Q1574785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87033381b93b7c1eb9edf56b5a14b789e61be7a","datavalue":{"value":{"amount":"+0.8306508660316467","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":"Q3149963$B50CBB43-228A-4F51-8AC6-248FEC7127DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79477bc109f9bbee7b69e8f8d59807b215092d42","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87033381b93b7c1eb9edf56b5a14b789e61be7a","datavalue":{"value":{"amount":"+0.8306508660316467","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":"Q3149963$BA0F93E4-9DDC-444E-8EDE-3DAFEAD55450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a04e8b5ce6e4f2fbafe67164edd17fd0075b6bf","datavalue":{"value":{"amount":"+0.7993334531784058","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":"Q3149963$EEA2CC0E-61C5-4DCA-90E9-A0A302FFD18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b4a2706ba9575915fb70c410b8948ab5c51781","datavalue":{"value":{"amount":"+0.7857100367546082","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":"Q3149963$1BF232A0-E936-442F-8C12-8064C0C5462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7929418949f820d3cf163aeee9d31a53e7b570","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b4a2706ba9575915fb70c410b8948ab5c51781","datavalue":{"value":{"amount":"+0.7857100367546082","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":"Q3149963$3153D284-2C36-4B5D-89A7-6779B17E4D9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3149963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3149963"}}}}}