{"entities":{"Q1362589":{"pageid":1373328,"ns":120,"title":"Item:Q1362589","lastrevid":67242990,"modified":"2026-04-12T16:19:09Z","type":"item","id":"Q1362589","labels":{"en":{"language":"en","value":"Elementary realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1044155"}},"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":"Q1362589$FF4EA719-2F70-4D05-89F8-A88611A0891D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"569bc3c85dcc0208f7bfa1d874fcb060400d2fe8","datavalue":{"value":{"text":"Elementary realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1362589$27B341FF-5347-4FFD-ABAB-F96DA0F52216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981beee4fbf85ecaab24bec3400fa1888e238dd9","datavalue":{"value":"0874.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$BC11B797-93CD-4A74-934C-47B150A45DD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f22afb008202f99acb68ac7c1cdefbb536a5f14","datavalue":{"value":"10.1023/A:1017994504149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$70F94831-2662-4EC1-B98D-A7C38F584CE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796c111fd27e4430cfa0e927bbe0e21aa71a1280","datavalue":{"value":{"entity-type":"item","numeric-id":190297,"id":"Q190297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$AD94C8AD-94DE-4929-8C19-7D111246FD68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$F0152276-B6CC-4B03-BAAC-AC98730FB8DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1362589$057AE8AE-79CC-42D9-A4C3-24B59B64D430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$163DD87F-0FBE-4F85-B67A-1916FA1CF71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$DC25547C-2D78-4598-8881-600499C3F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$A4953E12-447D-4DC7-A6CA-C4777893C7E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5ebdd8cea216c8c628a0f2bab82b9af5b94dc78","datavalue":{"value":"1044155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$5A52849E-BF26-4ECA-8763-D7F51F595467","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff025df4fc36f64892cd6ffcddfbc789b23ac6f","datavalue":{"value":"elementary realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362589$68A3EBBF-D771-4B7A-9931-4ED9835F3B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dda12b69f07d55d3e8d3f622aa44e9a495b31c8","datavalue":{"value":"Kalmar elementary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362589$319D2735-A1AF-4786-B5E5-F86F52453A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fe542e4dde74f0dca1f5066b83bbade54cfa61","datavalue":{"value":"fragment of Heyting Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362589$4E6F7043-E4C9-4EAC-AFE2-F573E86161B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362589$A88AE73A-CBC8-422A-BED7-E5040951C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a7d172fec2267d19780c89744ac681181760010","datavalue":{"value":"strict arithmetic constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1362589$CE4AD8C5-4BBF-49A2-B5BE-33DD08B32990","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":"Q1362589$5603C29F-15D7-4C55-AD75-21300BDD5D7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$77C35BD5-EB2D-40B7-8EC7-3B6D4E1A4475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ad898f482280f7235226b9e02630986c02f7ee","datavalue":{"value":{"entity-type":"item","numeric-id":5737079,"id":"Q5737079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$52E1BA38-AE87-49DF-A8E0-31B86EEDAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$DB45DF7A-C062-436A-B2B3-036E162013F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a0a0c884982e1e92a511dba35dbffff348a939","datavalue":{"value":{"entity-type":"item","numeric-id":4035305,"id":"Q4035305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$5D74ED30-AAB1-48F7-A115-84C608516AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$A48BCB41-47CD-406E-AA90-94A9BD0F9102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0485ac7e5f721385893ad331d87dcb5d0c4197c","datavalue":{"value":{"entity-type":"item","numeric-id":1903128,"id":"Q1903128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$E8C1745D-D76F-4875-854E-80460EAF7F1E","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":"Q1362589$D8F76CC3-BDBA-4419-AFE5-964E778579AB","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":"Q1362589$6B9CDDFB-4BDE-4066-A4D3-3B56B7C8AD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1fb960721d6bc7a2661cbb617c09c85b5a6f92","datavalue":{"value":{"entity-type":"item","numeric-id":4152523,"id":"Q4152523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$AD6B4CDD-6C28-441E-B0FB-1C5D09CC28D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$843B26E4-F94B-4945-AAC1-91CA359F8257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917800fa52c098f2382f946c4094dc39e957bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4153600,"id":"Q4153600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$90E756D9-6C21-48E2-A8FA-E53AADEA5A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$47554B0F-6F2F-4E37-9590-9C07049DE8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e92021f96a77533aa53974edef4b49222fa4ead","datavalue":{"value":{"entity-type":"item","numeric-id":5560277,"id":"Q5560277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$833F14C3-F2E3-42D6-9808-5D10C0351174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2146e12d70096585412fa50f364e0fbe43b7e82d","datavalue":{"value":{"entity-type":"item","numeric-id":3293402,"id":"Q3293402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$A2E4DA03-1225-481C-9EF6-1AAAE76553DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$D5A44DB1-BF75-42A0-809A-6DE3AB172AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6293d78d4e391cdef97da7f214f749c0f934bc57","datavalue":{"value":{"entity-type":"item","numeric-id":5596775,"id":"Q5596775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$1E280CEA-2BD9-4E22-9B8F-C3989C6ABD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfaa45aeb6d7bc3f23b68f353461ed5667b13fa0","datavalue":{"value":{"entity-type":"item","numeric-id":5613940,"id":"Q5613940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$36765A2E-D57B-4F80-8352-28A185F2C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$D853BDDF-9BDE-4133-BD8B-6C76AFA1757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$EFC6A20D-ED47-4DD8-B9C3-A4E98A660D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6ebac3df5ab99f9451e9f71d2c839b300f4b2e","datavalue":{"value":{"entity-type":"item","numeric-id":793720,"id":"Q793720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1362589$B6678109-3015-4E65-A733-9C9BDDD3C0B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0486824a300bf67bb15109db527c63958d2df94a","datavalue":{"value":"https://doi.org/10.1023/a:1017994504149","type":"string"},"datatype":"url"},"type":"statement","id":"Q1362589$79EDF3EF-7D6F-454B-A9BE-571E7469261B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d685accf05a4491fabb291235dac8022805b2d3e","datavalue":{"value":"W4238150421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1362589$6E400807-BFBC-4BEE-9DA3-0BB24D8EBC89","rank":"normal"}],"P1643":[{"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":"7227f738b24b9c6bc67e436b19feb1b761df609b","datavalue":{"value":{"amount":"+0.8394948840141296","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":"Q1362589$BF411FDD-613C-47FF-8C15-8E57BEE4C0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a6de8d24b1c2e795f32c30073bca5671a860e","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9334b9b3560020d927fca709cedc42c3674a15f0","datavalue":{"value":{"amount":"+0.8348464369773865","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":"Q1362589$C14ACE97-B3DA-4B9B-BE6D-1C37636BB85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee626d60e47a535b6ecdc9e1946f7f391a82631","datavalue":{"value":{"amount":"+0.7660627961158752","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":"Q1362589$3CDD3A89-E951-4F95-8176-DCA6BADFE8C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_realizability"}}}}}