{"entities":{"Q948984":{"pageid":950832,"ns":120,"title":"Item:Q948984","lastrevid":79743062,"modified":"2026-05-06T14:36:42Z","type":"item","id":"Q948984","labels":{"en":{"language":"en","value":"Harmonising natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5351922"}},"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":"Q948984$5F75AE52-FFF2-41E8-94BA-1EB8A7B5CA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c46a17b33a790b311dabe923bcbc036f61df5516","datavalue":{"value":{"text":"Harmonising natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q948984$7255DD4E-9497-49A3-8D7F-43655264F47E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ed6561a1aa1d1ac1b47e1faeca7cff4ed72c007","datavalue":{"value":"1183.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948984$5448CE63-C557-4D00-B14C-B6A5E61ED30A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c9ceb3aaf566e6583d7e6376f7da08a582daab3","datavalue":{"value":{"entity-type":"item","numeric-id":948983,"id":"Q948983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$BCC71E1D-6988-445B-81EC-364073A2657C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$042023A9-8412-432F-8F52-5974A0176D48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5e1148a8db14a761b33ca61d319fa20c3d24269","datavalue":{"value":{"time":"+2008-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q948984$154512AE-5FF0-4FB6-8DA9-EB2718B3E7DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7fe0042f78c4aaac4778291ed989459c10cb978","datavalue":{"value":"http://research-repository.uwa.edu.au/en/publications/harmonising-natural-deduction(047cd01a-38f1-403f-afb5-5210a8e64e14).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q948984$EA78396A-AC45-4CA0-9EAD-2EBF5FEB6B44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948984$3F5E7B90-5B2F-43FB-A689-DA61C168D01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948984$5C21EBA8-9AC1-493B-BFEE-5F365FFB75A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf85347aa67569df43a7416c65400ee4e5a225c","datavalue":{"value":"5351922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948984$4DF70C3A-B2A0-4D23-8D11-B514FDC95793","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q948984$20E283F9-7B0E-44B8-A158-453171315019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q948984$36C0D993-AF51-40FC-A531-68F9CB9634E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed98149e09fcb227a2507e4c376757d4ccf51b8","datavalue":{"value":"relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q948984$3F0205AA-56AA-4E19-A310-37DE03856B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a613dd81fe2942e8dc7f7f0de6dd8290657e9fd","datavalue":{"value":"epsilon calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q948984$3E06E739-AED7-4AAC-96B2-D92360DDB2C8","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":"Q948984$F73084A7-A010-4A51-AA47-D3560AE51876","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3ea1615d776c0e2f655da079326bf11fd80241e","datavalue":{"value":"W1977394669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948984$E79F2A0A-35D9-49CC-BC20-FA0D0F8F12C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"feda6d15c9d7c20a2c76f0b349a8022ba33fdb22","datavalue":{"value":{"entity-type":"item","numeric-id":1775860,"id":"Q1775860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$C5040EDA-D653-4256-9E6D-84A891401270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$CCDFAFFE-2921-44B9-BAF8-05161F994733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9345f55b07abcc48c3a4176c64845a3b9c2b66","datavalue":{"value":{"entity-type":"item","numeric-id":1256460,"id":"Q1256460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$E6D8F2AB-DDB8-4EBE-B315-922B153D9C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$3D897FD2-66BD-4BD9-92E9-28C6AB6D6F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf000fbe77aa4735109b86f1522c01e6b9a88772","datavalue":{"value":{"entity-type":"item","numeric-id":1568714,"id":"Q1568714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$03FB5DB3-16BD-448C-B4D0-33A54B2E1666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0a9488ae63a9263a81ce24a7c74b15a704be04","datavalue":{"value":{"entity-type":"item","numeric-id":4159053,"id":"Q4159053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$BEFDFF23-EAA1-4DE1-844A-46305BCA80E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7307594af40217459ceaf051a66a6e28ffb59306","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948984$A781F3BA-01DC-459D-AC0A-4A410DF4650E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3f368e2ac1dbf68eede0c73e47c053262edd88c","datavalue":{"value":"10.1007/S11229-007-9197-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948984$B05E8ABE-349A-4F1D-98D6-AC24CD045165","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712d93f8a9264863dc2cfab14f70c4431a2fffcc","datavalue":{"value":{"entity-type":"item","numeric-id":1340989,"id":"Q1340989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac0cc26ffa1bdfb2d730d7dc82d5490a02fd763","datavalue":{"value":{"amount":"+0.8234198093414307","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":"Q948984$366DA0CE-D19F-46A5-A59C-576D6B94E9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b6bb69a1aeac85dc04eb58581e1fdbd2a3ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":452347,"id":"Q452347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1fc19d3085e70239403827aabaaa3e4b3cf475","datavalue":{"value":{"amount":"+0.8026140332221985","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":"Q948984$1954AFAA-1FCF-4B40-B55C-5E234AACBF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2e502126e894bb6bd849610f27bf9efff92e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2254564,"id":"Q2254564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74713c049f8cb1d63262f790e1de4702b74ab24b","datavalue":{"value":{"amount":"+0.8025844693183899","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":"Q948984$4C49E235-34C2-48FC-BC3B-78D98882FCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30d5b4a27960b1a76aec9d8361fa570310b6b37f","datavalue":{"value":{"entity-type":"item","numeric-id":5149151,"id":"Q5149151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090069c1b4057dfef760ad754c4765b500b9889f","datavalue":{"value":{"amount":"+0.7955496907234192","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":"Q948984$93744B48-76EE-4F99-B448-F87D2144AA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9358fcbb7800592e2dce4d36039279baf694aa","datavalue":{"value":{"entity-type":"item","numeric-id":2281316,"id":"Q2281316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0d5e215b80251aaa199d592090fc28e7ae09a9","datavalue":{"value":{"amount":"+0.7940384745597839","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":"Q948984$A75F191E-A065-4A97-80CF-B53948831CE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Harmonising natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Harmonising_natural_deduction"}}}}}