{"entities":{"Q5737992":{"pageid":7767545,"ns":120,"title":"Item:Q5737992","lastrevid":52818359,"modified":"2026-01-23T13:58:16Z","type":"item","id":"Q5737992","labels":{"en":{"language":"en","value":"A generalization of Beth model to functionals of high types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6724439"}},"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":"Q5737992$BE4A2F42-B3A8-4817-88C8-D98B2ADE8579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1806c99fdb30925cabc0404fc46da6ab70f3fd8e","datavalue":{"value":{"text":"A GENERALIZATION OF BETH MODEL TO FUNCTIONALS OF HIGH TYPES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5737992$540C51B2-4305-4ED1-8174-48E498F3DD95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c436a194a9a49be96ea87347a17b196bc6072dbb","datavalue":{"value":"1364.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$2A367EBD-5C98-45BC-B2CB-675BACDF5CE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e169d4de4288503ea15d27d3d20838043eb23292","datavalue":{"value":"10.1142/9789814449274_0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$F6C5E037-2D6D-4A1E-90B3-5FF93751CB35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1182bc62f6f39ab33c887f071975495c41a6e77d","datavalue":{"value":{"entity-type":"item","numeric-id":5737980,"id":"Q5737980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737992$30C60666-9777-4ABE-8D68-906D0847993D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d49858a0afe4b614990a77fa152712e1ae2b828","datavalue":{"value":{"time":"+2017-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5737992$EA13A550-B7A2-4935-865E-AA1E5FF78DE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$D6F0ED5A-7663-43BE-887F-C627FD1C1377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$26876D53-DBB7-4F2A-B551-25BFFF2CB3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$F3448F5B-7EA1-449E-A525-0B599CEBF94E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2904159aff41f89edc0faa06023c5822ff6e8fbe","datavalue":{"value":"6724439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$6E5C0056-ADC0-4D8E-8B19-6DF1FB9BAA5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9647312fe401bb31971c5efbf7cc94712c75c907","datavalue":{"value":"Beth model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$7ADB8DA6-4093-4123-AE1A-96E0223A4A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$1A321E18-0D17-40AB-9AA3-3D39FF44755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023b4e11919c9f27b5c5a56602958f7e00154b1a","datavalue":{"value":"choice sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$E95DE350-F6FA-4181-A92C-5AEBBD5EE7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4b8b50b870740b12bca67b2c27c8e865ddf751","datavalue":{"value":"functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$9F38E72C-F588-48B0-A897-07AC4BB83DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35337350eeebcddcca76c7b2fa09647b1c1d651","datavalue":{"value":"lawless functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$883FA92D-82C6-433D-85FB-E61188346324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc6a66477066a1d04dd77d5176721033a7c69f7","datavalue":{"value":"intuitionistic principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$A2760678-78A5-437C-969B-0BDE4B765844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6decfbc950c32122b34f50a1bbbea181cd42d10c","datavalue":{"value":"Kripke's schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737992$4108ED54-CDD3-4047-B4BE-FA22A9D1E21E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f80f388021945d2942bf766e11c8aa394afbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2363504,"id":"Q2363504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737992$B3088CDC-42D8-456E-AEFB-4F08D59EC18E","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":"Q5737992$DBB6FEA7-1AF1-4871-9F08-C9FFAE3CDEF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2f15219f20cf27e505154d6c8a7a3af0c8d3b81","datavalue":{"value":"https://doi.org/10.1142/9789814449274_0011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5737992$D66D76A5-378C-447C-8785-4CCA6CD9BDC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cfb272ef58c11cde8be42176188c3f81fb908df","datavalue":{"value":"W2327634528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737992$915C2F38-8CBB-4F8B-965E-7A1B6F4E9A72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637ad4be1b4f61fbea547864db035b6a445c4d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3450813,"id":"Q3450813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f00a5aefb3e554819768c8411b11c4b4da253c8","datavalue":{"value":{"amount":"+0.829296350479126","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":"Q5737992$D8409719-5ECD-422A-9565-7E41E42B1018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f837cce084c3978a4e26e7bfa72e1fc781054fcc","datavalue":{"value":{"entity-type":"item","numeric-id":5593817,"id":"Q5593817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067c78e5882f3035093411ca170c5fb2a6bea553","datavalue":{"value":{"amount":"+0.7946969866752625","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":"Q5737992$BEFBD40F-809C-4345-BC23-BBADBC273C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141bec0be7345d05e7da963ba98e1e04a4b8497c","datavalue":{"value":{"amount":"+0.7603420615196228","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":"Q5737992$DA8FFC83-78D0-403F-82AE-C1E14FABA155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6422a767098cd577b5608669eca3745c61aae5af","datavalue":{"value":{"entity-type":"item","numeric-id":750439,"id":"Q750439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1edfebb3bf94acedd51bb26e50d46ad470c02132","datavalue":{"value":{"amount":"+0.7530006766319275","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":"Q5737992$41A5049E-21D8-4ACD-9C4D-19F38A15577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d86477bb29aed7c1fba37345fde82cd4426244","datavalue":{"value":{"entity-type":"item","numeric-id":1302294,"id":"Q1302294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b95ca1aa95199ee35cffbd0ea8a103a197fc16","datavalue":{"value":{"amount":"+0.7387595772743225","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":"Q5737992$73F7A290-2938-4990-858E-1C2077CDDDA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5737992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5737992"}}}}}