{"entities":{"Q2402958":{"pageid":2413701,"ns":120,"title":"Item:Q2402958","lastrevid":73765083,"modified":"2026-04-14T17:11:31Z","type":"item","id":"Q2402958","labels":{"en":{"language":"en","value":"A herbrandized functional interpretation of classical first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6775038"}},"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":"Q2402958$763CA894-51D7-4288-83C0-D4F505F03C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efae543ff4fa87c7df541be528786151142689da","datavalue":{"value":{"text":"A herbrandized functional interpretation of classical first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402958$FDC2B02D-C769-4B88-808F-D96F4F72CFE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f68c1ca3f0b462eaa8f40effab0c21245c62305","datavalue":{"value":"1417.03290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$EF45FE76-E60F-4AFD-8022-E5AEC327C2EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$95F7B5D7-426D-4434-82F7-FCA7A2AC576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$11A8A7C6-B1F8-4CC2-937E-2B2E837DB8E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$1CBD713F-86E0-4697-A0CF-17021DC8F142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0e0e47e5327cb2e2874331da338f2ae03a1e6c3","datavalue":{"value":{"time":"+2017-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402958$1CD03AA0-EBB1-4162-AEB5-98030B97459F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e89e6994d398bbf3350c9a6effb5ecbb8edc1680","datavalue":{"value":"http://hdl.handle.net/10400.2/7089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402958$7AD5719F-142F-4FD8-B1AB-A66494B5C52B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$AA51695D-8CDC-4316-80CD-FDB923E548A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$088948D4-280D-4BB5-BB6A-21D0CFCD5A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$0451090F-0E17-47AE-9827-5CD522BB5A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$B315B3A1-B999-40E4-892B-754938BD19AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd34bda6cad4f56b0f4da8791ad54b0bef21cf4","datavalue":{"value":"6775038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$BA62B141-A8B4-44C7-816B-6650D61D4D7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402958$61617FC6-111B-420A-A22F-1C6F862F4F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402958$C1B2D209-45C8-456B-9803-3CD64E8F1648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2716f3faf1d24b68cf2cd4cf29f2d39cc97473df","datavalue":{"value":"star combinatory calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402958$C2846EFB-DA40-4766-A680-BB0522A52ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bdfaf50a859f5dcfd6c0d4cd8eb8dd602821d3","datavalue":{"value":"finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402958$20CE00E0-D008-4F93-A402-408B7F7D4F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bc200d6c450de272a08fa5c19ef28484b1d94","datavalue":{"value":"tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402958$17582F1F-DF02-476E-9612-9818130BBBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402958$E2DCD5F1-0C72-4EB0-9F1C-52E32D61ECFF","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":"Q2402958$FF433AE7-7169-4FCC-AC63-65465E9BB893","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af6791491098bb291d0f093c0c5aa1dc4682278a","datavalue":{"value":"W2614883855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$B6CF5006-BEC1-4103-8304-430634B808B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$911202CC-905D-4D3D-AC71-4DD1B2414AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22804e4168b3a0666e86ce7365fe1279f0a0943","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$6501CB6A-FD87-4458-BA3E-523C07C735C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96f8e90bcd6f511bcda66bf3dddf5f89844ba29","datavalue":{"value":{"entity-type":"item","numeric-id":5957851,"id":"Q5957851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$C3544817-E17D-4776-8221-15BC8555653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$904DBFCB-D997-4957-B255-6D499FBAEF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26e7e48781a52e6dc033fbfd496250fb6f1e60e","datavalue":{"value":{"entity-type":"item","numeric-id":5477639,"id":"Q5477639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$9805D66E-C1FA-481F-8E3A-CE882D913B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$DF968C17-F52A-4BB9-A6E7-FA2CBBE37E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$7CEC9468-BA36-499D-914C-9DC3F3709020","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":"Q2402958$8387502A-CEA4-4E89-B103-AA1623890B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580eb0e97c0840b142da1961ae82245c675f05c1","datavalue":{"value":{"entity-type":"item","numeric-id":1139043,"id":"Q1139043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$232760D8-48B2-4E07-ABB9-81C021A3F117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$E783FA0C-42DE-4842-BE51-362AAC33EC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$88B82369-4E6F-4328-BF70-5A2D915B65FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$A6C30901-BE28-457D-A35E-E523695054D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402958$B4CE1E7A-615A-49ED-BA20-9127C59846A9","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":"Q2402958$7E23ADE2-C903-4568-9EC9-B3B968E26083","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":"Q2402958$510C62D4-B3B6-4FC3-97A1-3A3BB0C573AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe0e4ae1395d044e56ee0d9cf077614e164b5bb3","datavalue":{"value":"10.1007/S00153-017-0555-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402958$BD23D7F3-0B0E-42B2-BCDA-55E0CA79542E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c04c6fe146e60d9031de2c0be545b32257602f","datavalue":{"value":{"amount":"+0.8051230311393738","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":"Q2402958$B97694D4-EE68-4A66-B1DF-FB2CC670DD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad9f76053e2eec268eabfc3f030a1df49e12bb0","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a18f2b9d08adb148d4b00f38cd26ced98a8334","datavalue":{"value":{"amount":"+0.7956206202507019","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":"Q2402958$8D9270F1-7366-44EE-9EC9-923DB6689853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa1f42894661bf99edd1c77fed2191fcf0932bc","datavalue":{"value":{"entity-type":"item","numeric-id":5579477,"id":"Q5579477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243fcc1428492d871aac905dfa65c1ab01abd1b0","datavalue":{"value":{"amount":"+0.7943314909934998","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":"Q2402958$16479ACA-DFB1-44A4-8C91-2D5C8B6B680A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95330b6380a0d5189187a11071d582fd9182a70a","datavalue":{"value":{"entity-type":"item","numeric-id":2502163,"id":"Q2502163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb91c3ef4c6927e2ec150e6919407ce40e67e17","datavalue":{"value":{"amount":"+0.7649396657943726","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":"Q2402958$3DFFB144-0DF0-479F-A8AC-32D787A8EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d821789da53b4d6ead4f95bcf87cd96023530045","datavalue":{"value":{"amount":"+0.7619068026542664","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":"Q2402958$5A956B9A-DD16-4140-BE23-E7C376027646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A herbrandized functional interpretation of classical first-order logic","badges":[]}}}}}