{"entities":{"Q4977221":{"pageid":7006800,"ns":120,"title":"Item:Q4977221","lastrevid":58381986,"modified":"2026-04-04T23:39:07Z","type":"item","id":"Q4977221","labels":{"en":{"language":"en","value":"The Herbrand functional interpretation of the double negation shift"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756188"}},"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":"Q4977221$2BD446BA-2609-41C7-9B8E-9CCB124C6BEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06ce3dd30dcc50f506f0d35a5204c411cab961a4","datavalue":{"value":{"text":"THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4977221$615B1FDF-556D-4534-8208-577BAAA3B16B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60e6e319180aa13ad12b49b2747003382dc67f60","datavalue":{"value":"1419.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$6E9D7403-1AF9-4EE0-A803-EC6F13CCF988","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$DC2B0ABB-3AB6-4F2C-9660-8015D424FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$DC58BAA0-2DD2-4CC0-892A-709D9B4AB818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b3a2783a955645e83aada5eb39ffa5fafcd7904","datavalue":{"value":{"time":"+2017-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4977221$D32E6BD8-AB12-4FE2-B661-E6E53D6AB7E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de07a9e583665ed92866f88708557c993c1c7a70","datavalue":{"value":"https://arxiv.org/abs/1410.4353","type":"string"},"datatype":"url"},"type":"statement","id":"Q4977221$CA31D367-6449-470E-919B-AB3DFFE716CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$FF54C514-4E00-4C92-B62E-9F7E19513486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$FD65E4D0-50EC-41CD-B784-77B3E69FC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$0D130BAC-E61C-4893-A518-69D099A751DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c15e514c5199441622a6835ed6aac77e8be41de0","datavalue":{"value":"6756188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$AEE0DB4E-9C39-44F2-8E0E-99DD6F13F45D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977221$C167EF98-919D-4F24-A0DC-8DBE14A971D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4988961b245bef937a766f31c000affc718e4f","datavalue":{"value":"Herbrand functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977221$EE62A12A-B1DD-4D02-BF89-9C6D2F1B97BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc1e701d5c8b428559fe63586d1c99bea21ce041","datavalue":{"value":"dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977221$1A6CC765-2477-400C-BA16-77B1EEC12017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977221$C85B3561-F0EB-421D-8B05-381963D1B1CB","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":"Q4977221$2E253D52-65B9-4597-9310-6DA645F0EF7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c36c392c2662b1fe05f22b514d8b5abd25fdcadf","datavalue":{"value":"W2963708890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$120E3D82-D9A0-498C-BAB2-D81A82F9B8C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1a90574c396a1ca159a0401d8596bb5f1e528d","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$1694E01C-402B-4B79-989D-F1703F9EEF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d8a1d1e241aced44f331721f2320ad6a6af4a0","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$FCAA8DEC-3427-416C-AF7F-AECD1336D5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$D8D91F3C-AC75-47D7-BB61-F2F30F358BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0395bae31179833695d1a42d0a1d5d5935c455","datavalue":{"value":{"entity-type":"item","numeric-id":3576200,"id":"Q3576200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$8596C21C-DCE8-4D51-9470-8B691639EDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2d5cf70957811b3c1a72086f7c66b724e20b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$D4BE4EB0-112F-426A-8944-876AAA0911CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70de28c5744e3d74f5cb50c3c7187b1579dc8426","datavalue":{"value":{"entity-type":"item","numeric-id":3104817,"id":"Q3104817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$A2D4A22E-0628-4D7F-972D-8C60CF700B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c36583bfd80b3da914eb7a0ddbf596a8b546cb","datavalue":{"value":{"entity-type":"item","numeric-id":5251356,"id":"Q5251356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$8AC17FB8-CE9C-4019-BEBD-988B1B059912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ddf42d7166ec3534d79cd606a257788d4d5f88","datavalue":{"value":{"entity-type":"item","numeric-id":3570171,"id":"Q3570171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$7F3B2D7A-B545-4AEF-A4AF-F859AAEE78AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd3b24c79d7d8e3697dec63d4d2a7f944f9b330","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$CF8B4EDA-87F3-4146-9CCC-2F0415C97529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$F5BBC704-AFDC-44A7-A723-CE466F23FFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$E21E922F-4E32-4B38-B390-45E311EF9680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5866c8cf369b26c2f36d05d1b0e488a542eba870","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$5551E3F9-0122-4F6E-BBAB-3575E9A1D9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$EA454B37-A196-4849-9E2F-4F5D32F7FD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$0FDEBFFD-5111-420D-A56F-0F86361FBF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620904076f85aac60afc82ac685ef67fae15bf4","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$4E55438B-B1D6-43EF-8340-F32F9B68D098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9969e44e74a4ddcb9248ec285f5a1c9f4cf96634","datavalue":{"value":{"entity-type":"item","numeric-id":5613181,"id":"Q5613181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$C7F34490-B6A7-4D0F-9CBC-D1B7933F198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$A3BABCC4-63F6-4C24-8E2C-5BFD6BD2BE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$249F3FB0-BE2D-47E5-9464-BDA67E9F633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$081A104A-920D-4938-9164-67D7905C5BF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ef908bb2db6a14bf3b2d29fabc90fa2148cf2a","datavalue":{"value":"10.1017/JSL.2017.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977221$5534B8DA-9969-4102-B532-BAB0B1D51A72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977221$27BF8A33-2EC7-4514-B835-C9ABCFFA485B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e42f71f56b705b565b1d6fafd60e33d492f3b3","datavalue":{"value":{"entity-type":"item","numeric-id":3570171,"id":"Q3570171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f85dee474184e43e5989647f987fcf6a258b3f7","datavalue":{"value":{"amount":"+0.7558033466339111","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":"Q4977221$A1D2B0E3-D3AF-4D10-A374-3465D7FC620F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fd9fb352aee5bc7fe47f52e49e1896e190e763","datavalue":{"value":{"entity-type":"item","numeric-id":5016215,"id":"Q5016215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8163aa21718e8229b0cbc6ea6a0c4aa7b1d8ee","datavalue":{"value":{"amount":"+0.7547249794006348","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":"Q4977221$2FB0AC13-CBC1-473C-857A-B4EFB4DF95A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6a439cb401c7a2f3638fc599c80413a1101627","datavalue":{"value":{"entity-type":"item","numeric-id":5112393,"id":"Q5112393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c77a5581ca97d66e172c04c4c478f136f0a4e8","datavalue":{"value":{"amount":"+0.7501474022865295","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":"Q4977221$15AB6859-5C6E-4CBC-AF52-B4A66F330E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cbae7d5d39431813e32e16e11760a7eadf50a22","datavalue":{"value":{"entity-type":"item","numeric-id":3576201,"id":"Q3576201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73da097d99b663379b100aa7f64278728016b01","datavalue":{"value":{"amount":"+0.7381165027618408","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":"Q4977221$C8677B39-3136-4436-8608-07E7FB84B18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6b28e81522e997b721e65f3f0bfdbea783f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5251356,"id":"Q5251356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b401031edf599f2223acc5a05a71b5563b9b40f6","datavalue":{"value":{"amount":"+0.7166591882705688","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":"Q4977221$35798A07-221C-418F-B354-4384F62B783F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4977221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4977221"}}}}}