{"entities":{"Q312499":{"pageid":314266,"ns":120,"title":"Item:Q312499","lastrevid":60864810,"modified":"2026-04-10T19:37:51Z","type":"item","id":"Q312499","labels":{"en":{"language":"en","value":"A Gentzen calculus for nothing but the truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6627640"}},"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":"Q312499$6C17E005-66DE-4C7A-BB64-7088DE27B8A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba1db7f752187053a455cfd1ee2ce10c278b3a1","datavalue":{"value":{"text":"A Gentzen calculus for nothing but the truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q312499$32DCA3FF-CC8A-4B98-A73C-202584079C05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b982661214a46951d1468f59a301acb96e1a725","datavalue":{"value":"1392.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$95FEE997-4D3D-4998-967D-4581DE5D0A0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e23dd3583e00a7a6171f50fc509834020df522a7","datavalue":{"value":{"entity-type":"item","numeric-id":253120,"id":"Q253120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$1532D6AB-EA63-40F4-874E-16D9A565AC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6b13b37d48cdd7c1c22e28c51a3fcf0b4929b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2350969,"id":"Q2350969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$75133425-1E5D-4548-908D-6DB611CE7234","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$94A68683-FFBC-41FE-BD16-498EA57F12CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5a6dafe3da5544f45d8d8fc62171d4b05d0d57a","datavalue":{"value":{"time":"+2016-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q312499$D284EE29-FC85-46F6-91FD-C6615E92242C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$B2FC9C16-65DF-4061-8480-ABA3EF07A683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$A4B36C1A-0D74-4FCD-B92A-DA7504BF08B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$3B41F778-C3B4-4C32-B333-0CAFCA4F830C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b9e5eef222adf80f66c3f210cd07155085c96b1","datavalue":{"value":"6627640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$0B002A4F-CBC0-4348-9290-6889195B795E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085c84758bbd1865a829ab978366f9bd9dd1abdf","datavalue":{"value":"Belnap-Dunn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q312499$E71083E7-04DB-47A0-A181-B5EC86268DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56bbae12677e2bc07fa32071535dc74bdf2a651","datavalue":{"value":"Gentzen calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q312499$333B5491-8A2F-4260-A385-83C62EFC7995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efa25d9e6d408531190200902186391aaad78f5","datavalue":{"value":"multiple tree calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q312499$E90EE6FF-58E7-41DD-85FD-79392F1E19EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ffc607239d00f1f45125a1e5ce018fafe26f1b1","datavalue":{"value":"exactly true logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q312499$468B3897-EB41-4BB1-90F7-48353FE41C19","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":"Q312499$C18FC4E2-8E9F-4D59-92FD-D18EA7156295","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"68da79ef6fe02fe6ac1416fdf455e4e0f73dd745","datavalue":{"value":"Q59461608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$B446DBF6-4D4B-4A8A-8362-6573482A385C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2798110c93ba13124b277fa329b50fb182613032","datavalue":{"value":"https://doi.org/10.1007/s10992-015-9385-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q312499$7C34CF65-0576-4109-8D8E-87CE1868B860","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47bab7999403f06e9ff38f2e2591d324a21e5549","datavalue":{"value":"W1927935113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$3B15F63D-3BF6-4D02-9F37-BE4365272633","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$23FB9EFC-3CD4-4C4D-BC85-FE42763E7824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$32DD166B-3FCD-4227-B35E-7E1A2C7A0621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$E897162A-31A6-4318-BCCD-CF3A58401842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$96568EAE-3B67-4C6E-AA78-6D49033D0050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$B723660E-6ECF-4C7F-9AF4-1334DC85B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$6894538E-BF20-47F0-A37D-51000A2756DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad3697489e53a546ed5d32ff9d56bd94ef93efe","datavalue":{"value":{"entity-type":"item","numeric-id":4925873,"id":"Q4925873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$3A5F4333-2BA6-4332-BB08-99F7C78AC007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3d8574e3336f27cd57df5df75def16113fc168","datavalue":{"value":{"entity-type":"item","numeric-id":701297,"id":"Q701297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$6B04A350-F995-4767-8E4A-ECCEEDBE3AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d465ad7f9c0c47018952558c864ba8ccd6d1748","datavalue":{"value":{"entity-type":"item","numeric-id":497416,"id":"Q497416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$67B2922E-1981-4B24-8A2A-01A741A0FB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c55587ddd5699a7963c16efecf058fd56ea87","datavalue":{"value":{"entity-type":"item","numeric-id":1947033,"id":"Q1947033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$A0602880-EFC6-4C1E-A95E-DF4515751855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$736AC0A1-4E08-4671-9ACB-EB1EEFCC8514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$363665AC-6EF7-43FD-8CBC-03526BA823FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7525cf562911bef1c282e2977a18602f54c8a9e","datavalue":{"value":"10.1007/S10992-015-9385-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q312499$1B2C9DD4-316A-4F2B-93DC-C6E6B25A2ADC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc7ad6589a6981fb5368d8f25bd18516013c1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1947033,"id":"Q1947033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c34b813d2f96f6f93a9295f2066679c00eb711b6","datavalue":{"value":{"amount":"+0.7919114232063293","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":"Q312499$4810E858-A79A-48A6-A881-6F42042CD1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4496d0ae98fd26886760e6f29ca39b57c7a95e71","datavalue":{"value":{"entity-type":"item","numeric-id":4925873,"id":"Q4925873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2718586f0ad89bc0cfcc1c6c75ea961c0d7fcab7","datavalue":{"value":{"amount":"+0.7823131084442139","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":"Q312499$FD309E5F-1CE7-4F92-B9BC-8B667383B0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bed79b77884759cb00124154c08b1788a7a0d7","datavalue":{"value":{"entity-type":"item","numeric-id":4995617,"id":"Q4995617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c60a318cdf212feedde25965210141abc2820c1","datavalue":{"value":{"amount":"+0.7635062336921692","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":"Q312499$32ACE3B9-C6CA-4CC5-81EA-ED9D6D857610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb3c397aa0ca99730c87d6fbf0f9f9f8fc63f24","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceae0a5777d8f7cb45e6df6e9098b2b043ad9111","datavalue":{"value":{"amount":"+0.7582740783691406","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":"Q312499$0A10A20D-6D95-4916-8F79-42116A3F0A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924d6ce525c208be32ec092d81dd5680cec78327","datavalue":{"value":{"entity-type":"item","numeric-id":5869607,"id":"Q5869607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0fb3cf8053ed0b6f2b7548065c2464c9316bd8","datavalue":{"value":{"amount":"+0.7392287850379944","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":"Q312499$90790774-8627-43BF-A980-1726CF281D44","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q312499$33065ED7-18F1-4DB7-AE90-32DDE1BBBB55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Gentzen calculus for nothing but the truth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Gentzen_calculus_for_nothing_but_the_truth"}}}}}