{"entities":{"Q3097870":{"pageid":3108585,"ns":120,"title":"Item:Q3097870","lastrevid":86194805,"modified":"2026-06-03T16:01:04Z","type":"item","id":"Q3097870","labels":{"en":{"language":"en","value":"A simple proof of completeness and cut-admissibility for propositional G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5970063"}},"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":"Q3097870$663FE73B-6DBA-4926-9A76-299E0AEAFBFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af18850990ec8c6a450e81493a7125d6228dc2a3","datavalue":{"value":{"text":"A Simple Proof of Completeness and Cut-admissibility for Propositional Godel Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3097870$A07B1148-15AB-4814-9A81-95C185D6D027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b34f703b9114415bf958f5f1c871acb0c4b6184b","datavalue":{"value":"1258.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097870$D62F7E80-B686-42CD-8E5D-89CF58B3C887","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3097870$684517FF-9B48-4B11-847A-8C2C61FE57E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eaa681f595e5adaa3f79c590c5e5c1e3273415a6","datavalue":{"value":{"time":"+2011-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3097870$90527E36-73D6-4345-BCFB-E105D300252B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097870$FC15141E-6C8F-4F33-81C3-9CC29BADDCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097870$D46AEB64-B1AE-4622-94B3-95B9F618F863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d20e24ba045d481d291276c6ac4a4f4c1a82a3d6","datavalue":{"value":"5970063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097870$97D1C052-B7D9-463D-BA73-4BA93AB3F31C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52b5d7dfd4933c8027d46cefeb916ddd7b926c38","datavalue":{"value":"propositional G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097870$F9A6A170-2CE3-4115-A4E5-56ABFC9064CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097870$E83C987F-3ECE-4C9E-B471-EC470DC9D4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d30b19555362d5c132aaff30cb9d70c6abd0e2","datavalue":{"value":"strong cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097870$5CDD2F1E-0F60-4572-87F5-E7444148157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097870$65F131D1-44F1-42B3-85A6-F8E9A420F9CC","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":"Q3097870$45D17812-FBAA-4242-B8BD-D23C14ACB3F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72a926450e1df393b1d7ca1706b328b3490a4517","datavalue":{"value":"https://doi.org/10.1093/logcom/exp055","type":"string"},"datatype":"url"},"type":"statement","id":"Q3097870$643D2161-C517-40C9-80D7-564E1FCFABC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ae06796c534172ad288eab559a28e7b47610ca8","datavalue":{"value":"W1991664539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097870$8D353536-3DD4-4DB6-BE2E-20A0B38C824D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf81452f706dc0bd004b08a334630bfbf71344e","datavalue":{"value":"10.1093/LOGCOM/EXP055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097870$5CC81018-AAEF-43AE-9BEE-346768D19863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3097870$07B25DE1-6139-4787-8590-DCB951D759AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736cff3ce74ebe8e4e7be4b9344f691ed0650afa","datavalue":{"value":{"entity-type":"item","numeric-id":4914412,"id":"Q4914412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0915b71e58a3481930b5475637594a51f31726a6","datavalue":{"value":{"amount":"+0.8894495368003845","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":"Q3097870$4AD6E399-228A-4205-BE9B-27FB0DE1A0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba83f0b2237ad7a4f39e4ef1513c75920945eb28","datavalue":{"value":{"entity-type":"item","numeric-id":3007648,"id":"Q3007648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d5bac53757bb8e86c57c48404f48d421d0baa3","datavalue":{"value":{"amount":"+0.8674398064613342","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":"Q3097870$1DB8D229-96C6-42BC-9340-82ED8F1700BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f503e3a02f03e5292f38db47055df28fa0333f0","datavalue":{"value":{"entity-type":"item","numeric-id":1677040,"id":"Q1677040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a382321c5ab23cbf6a167e4c16e39e6112355b32","datavalue":{"value":{"amount":"+0.8344677686691284","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":"Q3097870$B10C196A-B88A-496E-A9E6-E47691B94D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9670ee6811d4bb69cca0602c1ef704733fa5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7cd8e0863364155da8b9e1ee0496c0a2bff5a9","datavalue":{"value":{"amount":"+0.8179797530174255","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":"Q3097870$ABE3826E-40AE-4D13-A8CB-B93A7A1B8162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165f000e6dfecc517eb74b04196c25644c6aa1e3","datavalue":{"value":{"entity-type":"item","numeric-id":2820683,"id":"Q2820683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7e0e6ab1a6522ed976cd841c6ef5e28a798526","datavalue":{"value":{"amount":"+0.8002548217773438","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":"Q3097870$D708EDD1-4B86-4AD5-AB96-D3FF7FBCA760","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of completeness and cut-admissibility for propositional G\u00f6del logic","badges":[]}}}}}