{"entities":{"Q706620":{"pageid":708469,"ns":120,"title":"Item:Q706620","lastrevid":63776142,"modified":"2026-04-11T15:28:15Z","type":"item","id":"Q706620","labels":{"en":{"language":"en","value":"A proof-theoretic characterization of the basic feasible functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132498"}},"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":"Q706620$1B0488D1-E2CA-4242-AD9F-FE5D0D78138B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"369e5f7bb7a7c3a382840fc3712ae438d9a66be9","datavalue":{"value":{"text":"A proof-theoretic characterization of the basic feasible functionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706620$D4E1C45F-616B-4070-9D29-F647E1D366CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db4ddce93124755cc3d0e8e8acd7f9f116786a8e","datavalue":{"value":"1086.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$C17DE8AB-9055-4698-B772-AE58C70B27B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$43ECFE70-B735-46D4-8BF4-55254C6F3C5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$428EE91F-C2E1-4CC4-9526-55925BDBB69C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bb430d98445fad0c07a301b258c507df3dbc1f9","datavalue":{"value":{"time":"+2005-02-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":"Q706620$F3A2C292-758D-4648-ABEB-13F0CFBF07E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$C115C886-6218-4415-8CDE-2C9562E928AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$9492841F-5A63-4AD0-BC51-F4F1A84A0F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$8FEEB537-AC0A-4724-8836-4BA1DD1967EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"831bc7e7e89a44eb8d4f592c90845f5f9a5be47e","datavalue":{"value":"2132498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$F0D31AB1-359A-4EB8-9E18-9A21EC2535B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c808ff520fb68f735b8dad972317a7e8e8c47fcf","datavalue":{"value":"basic feasible functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q706620$5204E2C3-9ED3-4E99-9A22-3A28AFD3D796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q706620$FEA9CA75-CB30-4036-8C60-1062AD054BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q706620$370D9218-9BD8-4832-959E-0B1C0AA70861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"349e397511b77dfe594bb62cbbfbb1897d7b9bb0","datavalue":{"value":"type-two feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q706620$75CD8ED1-3843-40AA-9BB5-0DF3786A5E51","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":"Q706620$0653D1D1-1613-41FF-A4AC-352AF7206A44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"653d2af271f87305a14444ed3401a8a78ea41822","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q706620$DBD5366B-8E67-4972-9C93-7FB77504D863","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a1e820541a350e6dcb5c0632a421f14969986a0","datavalue":{"value":"W1973440844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$C963F5F6-0452-470B-A220-67133A73FFB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$12D99445-3B99-4B04-A106-991D0BF72E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$7A36C92E-DC4F-424B-B5A8-B03A0349F5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e24b39445cfca5147dd536f3fae9a40b727db0","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$6808A910-B02C-4FA6-A5ED-C5BEC03750D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$5A1A7A8D-77A7-4D34-B9CE-BA1D7D4DEF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31f2c064dbb4fcdff1fc3118ad6dfb9b36c8ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1577477,"id":"Q1577477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$654056D4-7E0D-4F40-AD6B-95FE3DE6BBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$908E9887-9229-40E4-9CEB-A6685522D2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393d8e4708b8ba69e8861193f5071c32d4e881a6","datavalue":{"value":{"entity-type":"item","numeric-id":5702663,"id":"Q5702663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$43ECF66B-185C-4AF6-9B18-02FF26F9F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae978bd620b682123250e58a731aadd5413dc2a4","datavalue":{"value":{"entity-type":"item","numeric-id":1407533,"id":"Q1407533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$982066FD-ECFD-44C6-95A1-6DE77EF34FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1937be61d8b5e0b9b7d996e8fbe4ac24597510ee","datavalue":{"value":{"entity-type":"item","numeric-id":4934292,"id":"Q4934292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$FF6CE014-1A89-47B5-A548-53504A16EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24767a8d698bfa7d4c473315d4d9fb022ab6caeb","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$7A6306DB-9D9B-47F5-A3D9-D152523DAB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$D8986D86-BD7A-4F64-978E-A1414CC3055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$FD613418-CA4F-4415-9774-3E6BB4EDA6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$10705115-686D-4ED4-94DD-A76E054FA9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9929ae1dbf5214a7c76afb4ad9bc8b429e10e6","datavalue":{"value":{"entity-type":"item","numeric-id":5966630,"id":"Q5966630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$4C166ACE-D56F-4809-9940-221473C6B1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$83E7814D-8693-4D4B-91D8-ABEA1110CC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$28087226-3002-4E28-B348-57F2EDE8F01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff0021c47f038767b56ed52a1c4a1edbe5c7a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":2740989,"id":"Q2740989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$DAE1012B-5A0B-4732-9B80-4D00F237BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db006d769bfa83ed88080615168698ac96f83ac","datavalue":{"value":{"entity-type":"item","numeric-id":4875448,"id":"Q4875448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$22430DEB-8744-48A3-95D1-BF29C25BD503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9007f592c26c879cdc9d51881c070212b204dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1327386,"id":"Q1327386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$0D172FF9-D341-44A8-B8D6-A2AC469164F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f77e5b82d54a68d439526fcdd7274d218a5804","datavalue":{"value":{"entity-type":"item","numeric-id":4501154,"id":"Q4501154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$14DEE355-D2E5-42E6-9C72-898CA7924BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$1CC5500D-81AB-46D5-8981-7CDD79460928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58816bb8df72de2b5c8d35d5ead8485de6e46cb8","datavalue":{"value":{"entity-type":"item","numeric-id":4411835,"id":"Q4411835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$A0DDF585-93FF-4C4F-B539-DBB2C959F3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b27998c5b0d19a37253f270b442f162814b8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1227276,"id":"Q1227276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$1DBC4FD9-911A-4E86-9D57-9059E669F471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f480d9e779f5f6dc3661ac906795805447faf1","datavalue":{"value":{"entity-type":"item","numeric-id":4218943,"id":"Q4218943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$2E456293-E6CF-4B84-AB7C-2C2B15E933AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960096a5e3afe7b4968083000e652591dfd15924","datavalue":{"value":{"entity-type":"item","numeric-id":1362334,"id":"Q1362334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$08EACFD0-0634-48F6-A24F-D10674524202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3199afbc552d4b782fb652485d98c16207457f9","datavalue":{"value":{"entity-type":"item","numeric-id":1427856,"id":"Q1427856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706620$36013A10-CE87-4C40-8FBE-41F38A0D0F12","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":"Q706620$202C2B68-B1AF-417F-A2FE-7C8EAF2E740D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27eb7aa6d2afad06668e66df99f5a801710bb563","datavalue":{"value":"10.1016/J.TCS.2004.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706620$D4DD542E-4F38-400B-A740-1FD320883F82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd9f5bc98894e657089966cf51110ac623e0085","datavalue":{"value":{"entity-type":"item","numeric-id":5277700,"id":"Q5277700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd82e2891b2ffe38bc262a2413ec7ea9ac8639c8","datavalue":{"value":{"amount":"+0.8413628935813904","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":"Q706620$503863C7-AF25-47FA-8BC7-2ACDE864180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf83a91e1d016e815f86713d7820673dac3350","datavalue":{"value":{"entity-type":"item","numeric-id":2740989,"id":"Q2740989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9efd4281b3597695acdd5761cd2ab9310242571","datavalue":{"value":{"amount":"+0.840551495552063","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":"Q706620$413B2B91-E748-44B0-809D-5A80E294D094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6780020cc5895134d1846195b69f286fff0c6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4411835,"id":"Q4411835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9efd4281b3597695acdd5761cd2ab9310242571","datavalue":{"value":{"amount":"+0.840551495552063","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":"Q706620$64224740-2CED-4C13-8C42-0B43C82F222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91f905396bab229f7fcbd25bf468b2f3938ce37","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61619837bba9ca6324f3af5f9af108eda66157aa","datavalue":{"value":{"amount":"+0.825534462928772","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":"Q706620$76B46826-AB29-4B1B-BCEF-6F6D49EB3D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7783b63959664558be17e95541d87d6e420cba6e","datavalue":{"value":{"entity-type":"item","numeric-id":4823143,"id":"Q4823143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0617c2c717357282693156b9b883e5d20112d6c3","datavalue":{"value":{"amount":"+0.8255339860916138","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":"Q706620$D0062969-CACB-4A96-9ABC-4D3C99236D86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-theoretic characterization of the basic feasible functionals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-theoretic_characterization_of_the_basic_feasible_functionals"}}}}}