{"entities":{"Q2486989":{"pageid":2497732,"ns":120,"title":"Item:Q2486989","lastrevid":48528097,"modified":"2026-01-05T03:03:51Z","type":"item","id":"Q2486989","labels":{"en":{"language":"en","value":"Extracting Herbrand disjunctions by functional interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2194769"}},"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":"Q2486989$D2386834-F99E-499D-9F8A-E1FFC6902012","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b767ceac12d3c3b8d3d3ffdab4ddaa4289790b0c","datavalue":{"value":{"text":"Extracting Herbrand disjunctions by functional interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2486989$AAB8A5A6-5E68-47C8-BD6B-F0D3418F5962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d76162982876045d0c18c0cabd90a65ce660c7f","datavalue":{"value":"1081.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486989$1B62090E-82EA-466F-8BBC-CF58BA802F7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b72ed3f0645b45bfaac00358ab147f29f3539249","datavalue":{"value":{"entity-type":"item","numeric-id":819710,"id":"Q819710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$32FA3000-F9DE-479C-8CEF-D011A99FC0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$9C66B2BF-D1E5-432E-8929-DF020887C142","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":"Q2486989$7FC5FC91-8133-4C98-B2F3-F0B373E4AF85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f7da25f0352325b237ec8b5ac3a231082f46afe","datavalue":{"value":{"time":"+2005-08-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":"Q2486989$58629612-B9E5-4439-AF30-9B13B8EF46F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486989$8D7CCC56-981E-41DE-9683-2CC84AFB302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486989$E53043F9-6933-41E2-973D-FA737F64CED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1db489704f63859a31c87dd2291d4f9a77ca61c1","datavalue":{"value":"2194769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486989$51BCF309-1048-4F26-8ACE-0D98D522A0D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486989$6A51611D-4B3E-4CB2-A712-18B4773360B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486989$32446089-BC30-4641-8D25-FBC9858B0B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf376320d404fb68fbdbb90e53791ed3552cbae","datavalue":{"value":"Herbrand terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2486989$E3640618-F02B-4ADF-9DBF-C03668615D40","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":"Q2486989$EE721ECB-3693-4453-AECD-56E4288F31FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"911997ea9d231662bdc5330b1c80b17f0f5a818f","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0275-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2486989$77E371ED-8865-448D-9FE4-4C7AF4679C67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f0a187a9f5e6eb867a559683b1baa3fb3a6e4c6","datavalue":{"value":"W2082381286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486989$665E399B-3DB6-4696-A405-D8C9D2C57BD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$2AFA59B3-8AB5-4DA0-A7A5-673AE4ED2AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$F5D8B7C5-9B05-4BDA-8A4F-E985C081759B","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":"Q2486989$E2B5B1B1-3727-4A5B-ADF7-7E8D58092063","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":"Q2486989$5C198100-A975-4A4E-A388-C92C32B20EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$D83D8F4B-8E3D-4C1C-B809-870BBC040FF8","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":"Q2486989$3742183A-4031-47E3-9CD3-20672621B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4427ef296c1f7546ad24835a53c2d1b6602bc84","datavalue":{"value":{"entity-type":"item","numeric-id":557798,"id":"Q557798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$0BA6DCAF-F38F-40D6-8AFC-00460A8B0CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68633294b75b82f4404bca2080b91b9e400dc074","datavalue":{"value":{"entity-type":"item","numeric-id":5931215,"id":"Q5931215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$678CEE07-F45B-41C2-B2EB-BCF4FF394E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$5CCDA3B5-937A-439A-AB0F-FD8F1BC30C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ca2b3a8c993e095afbbedb64d0aa4c7a5d7eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3964564,"id":"Q3964564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$C3F85311-906A-46E8-A184-8680FF245F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$573D3A59-4858-4ABB-B783-8182CDFC42E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$3F17DCE3-52C3-44B8-A1A1-D51EFA793BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886dee40f42def471a97967ad48c04c047f9b17d","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$42B08117-1C9F-4B59-B769-919ADC06B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e085c4847c227118c61fb798400661bb25f4681f","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$37C8340B-7AF3-4102-AD2C-51D4D12DB88C","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":"Q2486989$1195A3AA-EE65-4DE8-BC62-4B56322AB267","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":"Q2486989$612D387A-935B-4B2D-B984-9B8A3DE28E43","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":"Q2486989$C6EA1ED6-AB89-4026-B023-52F9AF2E6147","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":"Q2486989$D83BA225-C2E2-480A-85F2-303B414CE5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8246186317a12728382bda44d4fa806440e38","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$96429A05-1D08-4EB4-AC11-D47B7F7E0FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d00aab1326d4e92125bfdd3af6e80e218d54c4","datavalue":{"value":{"entity-type":"item","numeric-id":1329747,"id":"Q1329747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2486989$0DF350FD-B8D8-46C5-ACAE-4CFED7F0A6F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8384b8d9182cab08fc4f3364f4f80c3956c3f14","datavalue":{"value":"10.1007/S00153-005-0275-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2486989$AEDFD7F8-DF24-4B2A-9CAB-79492EC44588","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f253b64b275d4f54eddb948ffee8cad0928764","datavalue":{"value":{"entity-type":"item","numeric-id":2157604,"id":"Q2157604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef6fa60b186388b60e8002442989134d48b1f7b","datavalue":{"value":{"amount":"+0.814796507358551","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":"Q2486989$97AFFBDA-E89A-4EB2-9911-983EC8B0E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ebbf210dee7754cb6e0f702cb00fc1dbe61808","datavalue":{"value":{"entity-type":"item","numeric-id":1709688,"id":"Q1709688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d2826d9fb6af517d9a8ce5ab81ca0a03aaccc2","datavalue":{"value":{"amount":"+0.8137446045875549","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":"Q2486989$B9844FF9-FB87-49E6-A977-343302E56A8E","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":"32e9ea71bdddcc40517b133c13a532f10c73877a","datavalue":{"value":{"amount":"+0.8117016553878784","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":"Q2486989$A7C75437-BE86-405B-9666-C14662C05564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b760549a0d48ad63290fb910e13cc5a64e4728fa","datavalue":{"value":{"amount":"+0.8054776787757874","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":"Q2486989$37F51C88-5195-4D13-8406-1812F6EA4F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee8f700e4781d7117206a2b7fca68d3b7834795","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"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":"Q2486989$C9AF803E-3096-469C-9660-9B9972041976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2486989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2486989"}}}}}