{"entities":{"Q2946659":{"pageid":2957379,"ns":120,"title":"Item:Q2946659","lastrevid":52347311,"modified":"2026-01-22T10:12:08Z","type":"item","id":"Q2946659","labels":{"en":{"language":"en","value":"Interactive realizers: a new approach to program extraction from nonconstructive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483165"}},"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":"Q2946659$9B91AA7B-D867-4276-8A24-08F5D2F96860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c2a8d60c6770bcdd3900c3db95170cdfd68d262","datavalue":{"value":{"text":"Interactive Realizers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946659$CEE679EE-33A6-4111-812D-775E3145C261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db5acbaf13c76893f02ff15e878fdff2673200cd","datavalue":{"value":"1351.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$D9EDADF1-4430-49E3-B537-DE8E5E1E63E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2526e51f9c1daf2bf07aa4eaaa585ef26920fbb8","datavalue":{"value":"10.1145/2159531.2159533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$AA8BB24C-ECAD-4EB7-B4EF-CA86E0392791","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946659$8E1AD357-9E92-429A-B874-BD3E1FDC746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946659$F724A37E-CA63-485E-8A1C-71C457F75C6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946659$38E7A32F-70BD-46C0-811B-5B589F3A335D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946659$B4EF55E5-C77B-49C0-A5AD-52815DCD817D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$C54F5C77-2E3E-4213-8560-076BCFA15662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$7653364A-9E2D-41C4-AEB1-65203558A3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$ED5FA37F-A8D0-4BF9-B4A5-C0C4ED602C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$E3E2D8C4-0C6F-43ED-95B3-973130BB573A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fcfc6bdac09cf469c559dd35d774a5f42a19fe5","datavalue":{"value":"6483165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$A29BAB4D-C92A-47BE-AC67-3BB2E6046C3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946659$B81AE39C-0B4A-4144-B618-145B8F7B0FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b5babc07ee0695f7776523d30ef7960a2c5f5a","datavalue":{"value":"constructive interpretations of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946659$ECBC9851-86CE-4BDD-A8EB-593A9C223538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77157463f33fff32b60991933b6e1c2ac5fbdc2a","datavalue":{"value":"learning in the limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946659$F6A20BF9-4F0E-46DF-9AF2-46C09C89C19E","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":"Q2946659$7A365123-12E0-41FA-94E6-65E64FFE4962","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f26442e3bf29b8df567cfdca2aef4c78e055b847","datavalue":{"value":"https://doi.org/10.1145/2159531.2159533","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946659$5CC60E5D-CC2E-45B0-9E1C-10DB538C4F93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5cbc450f0b25d9b7d837dff4d00b667ba49c1de7","datavalue":{"value":"W1970441061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946659$6BA4DC52-23DC-42BD-913C-086AD6BC1D7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d54b6bd7fe1ed7ecf513ac4eafa387abb84a59","datavalue":{"value":{"entity-type":"item","numeric-id":3540181,"id":"Q3540181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8693cada436a81e24b3d69db040a8dece2e01f89","datavalue":{"value":{"amount":"+0.8646577596664429","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":"Q2946659$367EFB50-EB95-4F47-A9B9-711E6627E0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eee761d350055cecaf5aeb7ffc1e23fab36fb66","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9aaa9c5140f2b8b6623f7a191b8ad43eea60a74","datavalue":{"value":{"amount":"+0.8431888222694397","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":"Q2946659$A370846C-27DA-471F-AA00-4DD81100055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5836db08dac9b4f207bdd9a241cb401d2c9557f","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96e6229964c4ff823329b21048d3d4a3e790d16","datavalue":{"value":{"amount":"+0.8349106311798096","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":"Q2946659$8CBB9086-3C8B-41C0-8064-A6CF825F801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53f0cadf8f9d668c6c583bb81246694bd7f261c","datavalue":{"value":{"amount":"+0.8332010507583618","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":"Q2946659$AA2E3A9D-C180-4E7C-B24C-137BDEEC3DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea18e8ea28d3cc5ad02cd232c358ad298d95025","datavalue":{"value":{"entity-type":"item","numeric-id":4649536,"id":"Q4649536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1357375ec3b783dd94d4e35e0d5b62d15adb4312","datavalue":{"value":{"amount":"+0.8278360962867737","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":"Q2946659$5EACABF8-6AAB-4B6E-A517-096B4F459518","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946659"}}}}}