{"entities":{"Q4914412":{"pageid":6943991,"ns":120,"title":"Item:Q4914412","lastrevid":91603130,"modified":"2026-06-04T23:35:45Z","type":"item","id":"Q4914412","labels":{"en":{"language":"en","value":"A semantic proof of strong cut-admissibility for first-order Godel logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155649"}},"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":"Q4914412$908F8BF0-57FF-4B60-AF95-2EA9C7E203F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c9c761e6185d532001131a5223d4f516fb25dad","datavalue":{"value":{"text":"A semantic proof of strong cut-admissibility for first-order Godel logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914412$660AF8DE-1F0C-4750-828E-371D7ACCFFCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d29587527e4f332c7a16cc1a7dc0baaf822c8f78","datavalue":{"value":"1284.03255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$9425CD54-299C-46B0-9769-7A646F76ABA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914412$8652F2F3-4309-45C0-8C77-47AFADC57044","rank":"normal"},{"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":"Q4914412$FA84DFAA-47DB-49FA-B26C-0DB0DD15DFCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914412$FF542163-0124-4C98-975B-9ABAAD86F347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$33301A9C-EDBE-4F85-9A4C-36B0F3A4DC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$0D86E049-6316-4D25-89E1-699AB6715B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$4082CAF4-A55B-451A-AFBC-5A152DF70425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"182b07d778a7ec6b54571261e4bd531395904a0b","datavalue":{"value":"6155649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$17D06ACE-1202-4366-A9ED-912F4C492A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$CEECA445-9EE1-49E0-96C5-DDF1B8307354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$AA15C819-8EA6-40DA-8E5F-6E1E69F5ACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$A42A1ACF-5EBA-4BC8-AD9B-7C68661AA40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$72CF941B-8F06-4BF2-9F5D-A2427E245C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9ee2efa056a2d50f77db1d0c8f6a52f653a5d8","datavalue":{"value":"first-order G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$3326299E-C4BF-43FB-BE47-FCBEE7CF5315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$A9CB33DC-DCD2-4AB0-8D32-727C529FC4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734ebc0d68353603a0e39797ad7b55b6e92c62bc","datavalue":{"value":"semantic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$372B94B6-BAA0-4FA8-9C85-C6B4757CB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01143ed29785f07f8b15716fa83fdff452868e3","datavalue":{"value":"cut-admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914412$3A8DF728-3633-4726-A41A-FC7911F711BE","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":"Q4914412$AB61E75C-B865-48BF-924A-CCF15DC3626F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82602fb275ab6edd10af365b5b60d5167d253f33","datavalue":{"value":"https://doi.org/10.1093/logcom/exs006","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914412$A68C6E04-44DD-4FA2-B4E0-5077449A47AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a96620052057cf162addf9efb7f24e6caa887054","datavalue":{"value":"W2032767961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$C4047E51-2EAD-4420-8750-E522A65AAAE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"568f50af562ef08ba8c027abd9e6d3c6059bd849","datavalue":{"value":"10.1093/LOGCOM/EXS006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914412$D5359954-72CF-47F6-AB92-F4EC8B8F70E9","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":"Q4914412$5B94C3F1-0058-44FE-8479-151E40765437","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2660d0fa2e5a3c9181d19758450070c5f4bf5b3a","datavalue":{"value":{"entity-type":"item","numeric-id":4412849,"id":"Q4412849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe2a79d06d803fb31791def830e57c7cf4d8c83","datavalue":{"value":{"amount":"+0.9282669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$FC40A658-60BB-4858-8DE8-C65FE41790DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e02534ac3b7c0b1c45f1f839ce0a69b53ac6d80","datavalue":{"value":{"entity-type":"item","numeric-id":3097870,"id":"Q3097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be94ffde07c0108331f454f5bd24612a712d8c5","datavalue":{"value":{"amount":"+0.92229354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$6F7CB77F-741D-4AEB-9573-12CA81497052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de34afdb9b082773bacb814a8bd7b9258df53ec","datavalue":{"value":{"entity-type":"item","numeric-id":5505574,"id":"Q5505574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ea09faee84331298bb9541cdc756ba3448c391","datavalue":{"value":{"amount":"+0.9061378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$12D060F6-16C3-4D1D-804F-2FA16F63EE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802e8e091a110467094e11a81c45123341e4867","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6be7aa390f32bdfdeba311fba8edff4c4507ae","datavalue":{"value":{"amount":"+0.8993391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$9E232179-CEB5-40E4-B13C-10D236867ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42b8e544f0120c442dca71451334ca5bfd2af10","datavalue":{"value":{"amount":"+0.8964493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$A1D36260-0E69-419C-BB71-63168052721B","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":"0b6cbbacf0362749ac390bb5742908d5265e7029","datavalue":{"value":{"amount":"+0.8951125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$10BCC8B6-49D1-46E7-A7AE-4FBBF411AD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b962f375580b82c2d85a6acf3932bf7a4f4b37f1","datavalue":{"value":{"entity-type":"item","numeric-id":2829667,"id":"Q2829667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2dc961c9e39660b6948804e8ccfe82ee4586dd7","datavalue":{"value":{"amount":"+0.8877431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$DEAE1F01-EBC2-423C-8B70-C735D999E239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42329bfa3fb5108d42d45b0bb2768c246d15c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5300578,"id":"Q5300578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b854b9507baea25008d7bb9de6fd03c77655fba","datavalue":{"value":{"amount":"+0.88463914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$49149BE5-2001-40D9-ABB7-543F7AAF8812","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":"59cffa464cd949bfbab7fde3e34e966d71dd5a35","datavalue":{"value":{"amount":"+0.8845467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$FE6E25FC-2AC4-4A58-9F21-41C2B21426EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e397e7511880410d414dc6016f4d90df5f5974c3","datavalue":{"value":{"amount":"+0.8836428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4914412$40B97E24-ADE8-4B83-B94E-68869C37346C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantic proof of strong cut-admissibility for first-order Godel logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantic_proof_of_strong_cut-admissibility_for_first-order_Godel_logic"}}}}}