{"entities":{"Q869790":{"pageid":871638,"ns":120,"title":"Item:Q869790","lastrevid":64968024,"modified":"2026-04-11T23:26:10Z","type":"item","id":"Q869790","labels":{"en":{"language":"en","value":"A functional algebraic model equivalent to Kleene's slash realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132508"}},"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":"Q869790$43300FA6-98DF-43E5-9432-5C918B289CC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"939f327c199a36f0758139ff7568b4a405e16fcd","datavalue":{"value":{"text":"A functional algebraic model equivalent to Kleene's slash realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q869790$CFD662FC-623F-4D25-923D-F429DCC0F9CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6433a8f3d63fdc61c2afd5d4a1af34a56dc3edc7","datavalue":{"value":"1111.03328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869790$AB2CF6D7-8832-4814-AB5F-3A534CF8B17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d85d0f6e4c7c2eaa7f8e11b80b1e85dbf2c6343","datavalue":{"value":"10.1023/B:MATN.0000015030.71163.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869790$BB633D59-2F80-48B7-8E9E-DDD6C8769617","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e48636b5fa08c10ac39bb80920a584977fb9124","datavalue":{"value":{"entity-type":"item","numeric-id":869789,"id":"Q869789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869790$DDF973D9-6845-48E8-8A3F-6505541EDF7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869790$AE8DB45C-FE8F-41BF-8318-02218738A2A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f90b7842433e42ce1b6e09c20a835573b6e91f9","datavalue":{"value":{"time":"+2007-03-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":"Q869790$878C985F-3A56-40E5-8AAE-E37EAB836428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869790$49DB9339-2CBC-4B21-B4AB-390A48F6CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869790$C5392A57-88A7-403C-9AE9-1FAEEA6A93EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4fa511d83167df55f8caf6b7c98bd66099bd383","datavalue":{"value":"5132508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869790$5A4DFDD6-482B-4DDF-B444-4831EEC16BA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e687aee8ea1bcdfbcbcc467d881094668d00b492","datavalue":{"value":"Kleene's realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q869790$752CE941-0C95-46F8-9A95-1A9B43399A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q869790$1D19AF11-9633-4F2E-8AF3-15FA7AE20AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf3e265f006c553e8daefdfe93752e305979909","datavalue":{"value":"functional pseudoboolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q869790$4A9F33E4-A81D-4735-AA1E-91DF93A7DE6B","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":"Q869790$BEA05788-0956-4A36-8E86-2B9DE523C91A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A functional algebraic model equivalent to Kleene's slash realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_functional_algebraic_model_equivalent_to_Kleene%27s_slash_realizability"}}}}}