{"entities":{"Q4255973":{"pageid":6285574,"ns":120,"title":"Item:Q4255973","lastrevid":46836996,"modified":"2025-12-25T16:55:26Z","type":"item","id":"Q4255973","labels":{"en":{"language":"en","value":"A deterministic terminating sequent calculus for Godel-Dummett logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308923"}},"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":"Q4255973$396F6042-D4D8-4EA5-A704-ABCEBF98C37D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcd275ff285629e0df85f78fd952be8ef982b340","datavalue":{"value":{"text":"A deterministic terminating sequent calculus for Godel-Dummett logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4255973$46CF2867-F710-4989-9424-29698F0929AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d52c735238850f3aa3abc891590367289848e4","datavalue":{"value":"0929.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255973$55C1C208-5F89-4489-9A9B-798DFE264709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255973$3460C747-CAA7-489F-9989-F00693CE2D51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ed9b20a01c8d820e525b1531e507137ac7e4fc","datavalue":{"value":{"time":"+2000-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255973$D198520F-136C-4AE7-A66A-307ECC00BA92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255973$C82D9D8F-978A-4ED5-AFF2-B809525F9A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255973$783F11CC-10A7-44EB-9B39-9D1A0217B473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0a1f1380d35ef63544ba8dc5fd37e75eb66c35","datavalue":{"value":"1308923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255973$DD60E6C9-3EBC-4D0D-B62E-10E43154A839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255973$A894CB56-70DD-4AA0-B7D9-683D3A60AEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255973$E978759A-93F4-4D04-9217-E9B29C183EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255973$5599CC93-D2A9-4906-950C-587CAFC57DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df84dfb8014402350db0da13a68fbad4706e44af","datavalue":{"value":"terminating contraction-free calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255973$E4B47BE1-EBC0-4469-9DCE-DAE011CDBE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967d16be33d9c889d1ad8acaa6be639638549886","datavalue":{"value":"G\u00f6del-Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255973$AF54E42E-B0B4-4EC1-B403-690EACB3BB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f29160589acbe35234a72f41b4d03307d2e882a","datavalue":{"value":"deterministic proof-search procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255973$6EF40F42-3B01-4F75-946A-08EE88D1F8D6","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":"Q4255973$6B76B5A1-D2D5-4281-9AEA-6DEE135B3299","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b35edd113bfc6d6d9adb8974242fbcade62d1dd5","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.3.319","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255973$16BB6EAA-D42C-4717-8B0B-5C7167F97B79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd8d4f2af81171bd9bf4389c6949162ce69ca0fe","datavalue":{"value":"W2106490090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255973$CF9DD1C4-DAC8-4C51-BC73-15913000B9EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"343e80628b8669e8d6d074300bedf5f821df171b","datavalue":{"value":"10.1093/JIGPAL/7.3.319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255973$383430B3-28A2-4E22-9AEF-8949246DED24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255973$C7D84A6F-8B7A-4127-8CC3-CF11465196C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24577c2ed173d4323d9c2c754adc27e85515a815","datavalue":{"value":{"entity-type":"item","numeric-id":2721190,"id":"Q2721190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c8bd3835ec6ec8bab8d2ecba692c5f19e3d0c4","datavalue":{"value":{"amount":"+0.86921226978302","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":"Q4255973$59D95EFD-D0B2-43BE-9F86-E96852FA458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664a0ee14635908bc683f255f912037569321d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22ae44544a72683b09b7807b0723bbb8ab03344","datavalue":{"value":{"amount":"+0.8558061122894287","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":"Q4255973$F7A7399F-9FF6-4B69-82CE-9928FE5278F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4170c4d5c1837b22a74ff9624bf56a3249eaf1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f63bf7b71c95fe85d3dfdb4877b8bc37a2e77a2","datavalue":{"value":{"amount":"+0.8172825574874878","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":"Q4255973$856AED88-0F9C-478B-9CCF-49335D1C875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2325724171c07c11b8ad1031aeb3709a3f8b8119","datavalue":{"value":{"entity-type":"item","numeric-id":2352485,"id":"Q2352485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc68321ab54840bbd16460e41a3f68300dab4dc","datavalue":{"value":{"amount":"+0.7988085746765137","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":"Q4255973$5A0A225C-E9BE-4565-8EB2-1B62449930A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d837011c0324d90a7fd740a53e1a04e120db58","datavalue":{"value":{"entity-type":"item","numeric-id":5307065,"id":"Q5307065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dc6cf9be9346f039eacc033279a987b508f6b6","datavalue":{"value":{"amount":"+0.7988079786300659","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":"Q4255973$CA031FE0-DFAC-4B3C-A6E9-B690517E8B08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255973"}}}}}