{"entities":{"Q813076":{"pageid":814924,"ns":120,"title":"Item:Q813076","lastrevid":64530405,"modified":"2026-04-11T20:30:39Z","type":"item","id":"Q813076","labels":{"en":{"language":"en","value":"A proof system for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5002525"}},"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":"Q813076$0FAE867B-A4CC-42F0-9480-2894108F81C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f2a6b3a2319ca0e24e0c459160e97b0de6f3def","datavalue":{"value":{"text":"A proof system for classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813076$89779334-86CB-4714-ADFA-DDA8800F70DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c48e9ff6749aa19dc8da52b998797ef5727aa83","datavalue":{"value":"1098.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$5EC74BF0-7D71-4978-ABBF-F6DA3C9AF3A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"577c92f88fe60cd1e98012f369f965b4bb1d1748","datavalue":{"value":{"entity-type":"item","numeric-id":195356,"id":"Q195356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813076$126D1597-C44B-4379-A89D-FE073EF2DF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813076$D782D4E1-7B8F-4A11-A4E1-BBA8E04F1405","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813076$6602DCB7-0292-4141-A3BB-BC0AD209DB17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e85d50ed0268da19dacce71e99c4b69a3ef5199","datavalue":{"value":{"time":"+2006-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q813076$8B352B10-27E2-4938-BD86-03EC12840B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$F2CBBC69-B104-44AC-813A-F96331F0811E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$30A45204-8AF7-4BDA-946B-A95BC4D0F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$743178B0-DD51-42A2-9F57-2D2A0C2E81F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$4099B2F9-76DC-4741-B072-0D96B7B37C3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fe0c86a117e9abd90c67794fdb99a1e94cb3660","datavalue":{"value":"5002525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$1491F3DE-0C19-4748-9435-233094CBD517","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051711f4ce57997e0c148609b9129ad5919c680b","datavalue":{"value":"Hilbert operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q813076$9A16243D-09C5-4DFC-A3E3-84B97262E4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813076$9B6FDBB6-0105-45DD-8455-ED84EF0458B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b0f280a67fd8addd9041b6edfbdb4f766b9b565","datavalue":{"value":"inferential rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q813076$7B88E9F9-59F9-458A-8F7D-78AD0B295837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q813076$9DD34AF5-C6AE-4597-991A-E6510593F7D3","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":"Q813076$C6DB868E-B5E6-4D97-85D8-773F137121ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34b68266228259071f8f8ebff02c5d1af1de4a52","datavalue":{"value":"https://doi.org/10.1007/s11225-005-6778-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q813076$635D60D4-DD35-4D68-AA49-A0235BCD3BA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fec4384a4b7b3329ed806a9acbfe0a6e398cc0b5","datavalue":{"value":"W2078118469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$2AF14239-79A3-4944-BEC9-342A8776C012","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"813abbcce0273aa89a3edd5812066e2900db62c6","datavalue":{"value":{"entity-type":"item","numeric-id":3916544,"id":"Q3916544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813076$59C4A367-FC0A-475C-B8C5-50306FE3DEF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bec94b2c543ca6b8a91ff43d94e3d6a7d83a695","datavalue":{"value":"10.1007/S11225-005-6778-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813076$01FD270D-BD04-4D74-A474-6AC51A2B9112","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dbeaddc209263e48a78ca4766d06b6707866326","datavalue":{"value":{"entity-type":"item","numeric-id":3220554,"id":"Q3220554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366f59017a9e9c59570881bdeef515f1a2c8c19d","datavalue":{"value":{"amount":"+0.7846580147743225","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":"Q813076$194217B8-EC90-4523-91BD-AE4BC40E154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f314cff929cca149604d1e27a9c836babf4016","datavalue":{"value":{"entity-type":"item","numeric-id":3728877,"id":"Q3728877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a355b1841d4a5d1064e72aeb4e4a6437a872b71","datavalue":{"value":{"amount":"+0.7751477360725403","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":"Q813076$5E7DE406-5909-41C2-8212-6E45E62A6220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918847201547e4f0b4229f68ef09921e8084932a","datavalue":{"value":{"entity-type":"item","numeric-id":5434518,"id":"Q5434518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f05a44d72302cc4c1e436a63a6fc7aab98780cd","datavalue":{"value":{"amount":"+0.7057952880859375","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":"Q813076$DE35C064-5238-4CAB-BCD8-9E777DEC76B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d110f87b773c3c5f12c078339b2d1360fb9ffdde","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04efd96690166c1d6e24d4608f3e318a70024e72","datavalue":{"value":{"amount":"+0.7018424272537231","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":"Q813076$4DDD2DA0-9E27-4A8C-907A-795F86818165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05ba94db997397fa74a11f1ad87975c1d3bdab3","datavalue":{"value":{"entity-type":"item","numeric-id":5169377,"id":"Q5169377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b856cb4d341c461720b18fdc8c786c19616282f5","datavalue":{"value":{"amount":"+0.7000970244407654","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":"Q813076$209ED5AD-8E98-4879-938A-D2D4EB92E15D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_system_for_classical_logic"}}}}}