{"entities":{"Q828116":{"pageid":829964,"ns":120,"title":"Item:Q828116","lastrevid":64637454,"modified":"2026-04-11T21:13:46Z","type":"item","id":"Q828116","labels":{"en":{"language":"en","value":"General recursive realizability and basic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291181"}},"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":"Q828116$B66AAC0A-FA67-4AD7-9D79-57758FA21229","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62832dbdf92fb35da4149dd35054a145537915d9","datavalue":{"value":{"text":"General recursive realizability and basic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q828116$6BF4732F-CBF3-434D-B0EB-0F10184591D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c950fa0aa731ac56204d2b8fba4cf9345e626219","datavalue":{"value":"1485.03239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828116$7D407C07-1DEF-4BCF-97DA-D73F82D6D72B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$2F18DC27-3916-4419-8F0F-8DF930FB937E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q828116$80FB3B9B-043D-4F95-873F-7C64A619B108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828116$568AA1E4-98B4-4F66-A74B-89FF357EB559","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6bc1cc3d5aa9874d3711001ecfad7a98e0a9fd5","datavalue":{"value":"7291181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828116$75E36459-AB9D-484D-B4CD-A08F035EC25A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q828116$3AEEFF8A-E371-443B-8C32-648D96FD1A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804fc314cf6abc23b7c393b554ec989ba8872055","datavalue":{"value":"absolute realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q828116$11015364-2EBE-4C30-ACE4-467F99812971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad2fd6cab7bda9279c0cdbea7b96f722599c6f","datavalue":{"value":"subrecursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q828116$063D6CC9-D8A9-4896-B1D8-A76A330A132D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q828116$359AFBA9-465D-4BE9-908C-C8B71B92B1CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$A3566FE9-136A-4A7F-8BCD-0ED14ED2380A","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":"Q828116$BDBB4ECF-5908-468D-8822-B523661633AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a6d84710bb36ff0c4ccca4fad563aab7987e5cd","datavalue":{"value":"https://doi.org/10.1007/s10469-020-09610-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q828116$91C71BFF-7007-4C4A-9BE1-8DB33A39E31F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"967e24dc1e3edc98524f9889c5d9e2cd4aeb115e","datavalue":{"value":"W3107646874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828116$C6FBFEAE-B17B-416F-A1F8-635D23B1FC47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$1820E357-70ED-40F2-85E8-C1BAC4C7E796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7964792cecb71eaca7125c2ad2b9eb082f1fa05a","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$DE3F0235-1708-4B26-BA6E-5BBAC81F65B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56dbf41aabbf4860d04ec852c8261dbb915fdb78","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$231E1AD4-01EC-4A55-8739-F091D99C4BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$8F1700BC-7CAB-4CF6-8F43-C8949B4AC380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fee8983891707bf6bf31f0a354748ef0e2126b7","datavalue":{"value":{"entity-type":"item","numeric-id":4808473,"id":"Q4808473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$F418D46D-1317-44D9-AB49-302D386AFCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3fd1ab25f136d43b99edfd9e9c2d934b7d51142","datavalue":{"value":{"entity-type":"item","numeric-id":297665,"id":"Q297665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$7CB004A3-B5DC-48C4-BB09-79BD1875C343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9371b890ca4bf83009d57c84f18759bcf3da3b70","datavalue":{"value":{"entity-type":"item","numeric-id":2362860,"id":"Q2362860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$B305800C-3F70-44B7-8E06-917855A32397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f48b6246fe81522ee5d745f52672c0588bbdbc0","datavalue":{"value":{"entity-type":"item","numeric-id":268079,"id":"Q268079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$AD31B390-D83A-4BE5-8088-C2FA98335215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q828116$4624B1C2-94C8-4F17-A222-14A672655700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f32799b4dff4a2f3ae0562e6f3a8e1d544d0ec2","datavalue":{"value":"10.1007/S10469-020-09610-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q828116$696FF502-E44B-448E-92EC-395F76FDDB8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6e612e0b30ef3a0ea47a1e1c7c684a8720bc26","datavalue":{"value":{"entity-type":"item","numeric-id":2246818,"id":"Q2246818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05aeb9940d1419ea2952bde8db2b8dc2427f733b","datavalue":{"value":{"amount":"+0.8969598412513733","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":"Q828116$1EF3C472-1508-486D-8602-29EFF8FA2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9f903e8936865bfd264bb778af6be43fb26bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5056354,"id":"Q5056354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08777e706e0fe64f5f93928b8d503753c4aac683","datavalue":{"value":{"amount":"+0.8329698443412781","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":"Q828116$E0041CE6-7C03-4FC5-9D88-D14BBB33FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9494c8d8cbea90756ac430ceafb04440ca167b4","datavalue":{"value":{"entity-type":"item","numeric-id":4440609,"id":"Q4440609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff4f0611e595d9981ac74dd24fe03445a81567b","datavalue":{"value":{"amount":"+0.8031426668167114","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":"Q828116$9B546BF5-A358-40A2-BD2B-06AE51D432B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0c106d1fe85c4d22a015414cdc2f0d1e2aaac3","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeed56a54471f6a4998f2df49734fef73e4909b1","datavalue":{"value":{"amount":"+0.7943963408470154","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":"Q828116$12DCC526-6C5F-49FA-9EC0-6568601A7835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e250dfefaa99cba2fba607d1062bc47e9a486407","datavalue":{"value":{"entity-type":"item","numeric-id":2287392,"id":"Q2287392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4cedff4da633181a8c9990d36b68a811795ea4","datavalue":{"value":{"amount":"+0.7909047603607178","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":"Q828116$5708E6D6-695D-4323-89B2-39DB849DF1B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General recursive realizability and basic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_recursive_realizability_and_basic_logic"}}}}}