{"entities":{"Q2180504":{"pageid":2191247,"ns":120,"title":"Item:Q2180504","lastrevid":72778704,"modified":"2026-04-14T07:46:09Z","type":"item","id":"Q2180504","labels":{"en":{"language":"en","value":"Certification of nonclausal connection tableaux proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200659"}},"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":"Q2180504$681D8607-3D6B-4D50-8C0F-6E20B0A1EBB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d33c6c47ca85db9ac682a3409d2380f9703d8f6","datavalue":{"value":{"text":"Certification of nonclausal connection tableaux proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180504$2175BE85-17CC-4BF3-9789-73F45B3035ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3643ccbaf24f37349dcbb28676b3090939907c1c","datavalue":{"value":"1435.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$BCAA3B4A-173B-49F2-B9E2-7D8D6675A47E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b9fd3c40b5bb31209e322be1215f7f055c1b9","datavalue":{"value":"10.1007/978-3-030-29026-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$13722DF7-62D2-41B7-B80A-7C6CE9DF1A0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d813d7a07ca90cd7d58a326cc37575b5d447ac54","datavalue":{"value":{"entity-type":"item","numeric-id":2031417,"id":"Q2031417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$147D42BA-EDE9-4C1B-9ED1-84393F0C0519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$75635363-1A08-4001-9E80-BCE04CCBD9AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180504$E7A9A51B-AFEF-42B0-82B4-E0215929C604","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f32cbaf4dc63631fb3615e63fdc2f38b6f216c8e","datavalue":{"value":"https://zenodo.org/record/3407212","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180504$0E94A9D2-3F23-409E-953D-A28F65A8FC71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$1AC0ABCD-32A5-4249-BDFE-07CD3CEAC405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$59A1BD8A-2540-4434-BBDD-FD31CA709CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$933C3E11-392B-4BF3-937E-7AF8EE16FEC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53e9b63cdb8c6f3514c3701c3dbafe68901dfc95","datavalue":{"value":"7200659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$E69A49C8-53E9-4E99-9A04-084DC264BF79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c74563af8b2b2d6bb296af2e2b1a7360c0930ca0","datavalue":{"value":"Q108482113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$04A5630E-033F-44E3-AF74-536286B8BB76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$AE1F7C95-F520-4A6A-B0EE-909D4F1CD56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$71D2D596-1021-45E4-A226-17D1782D6363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$C95437FF-C0A4-4DF7-A73A-8AD92B16E98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d21be4c8a37ad19736ca38bb83a00d1f4ca63e3","datavalue":{"value":{"entity-type":"item","numeric-id":33354,"id":"Q33354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$0D95E8E3-C144-41ED-9E42-53BB50F7E1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0377fc08ea7f390117b8d130fb06b17b33670035","datavalue":{"value":{"entity-type":"item","numeric-id":33995,"id":"Q33995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$589F8CCF-53A4-44C8-8433-98E0245D77EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$1A42A6E9-F6E1-4761-B019-32B07B2C57AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5b9460a01ea60cde385cddccbe3b63d66f761f84","datavalue":{"value":{"entity-type":"item","numeric-id":44021,"id":"Q44021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$AF3D767A-DFAF-4F2D-8B30-9CD5FF6E0B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$FD22C083-A24A-427A-A8A4-B12789ABE5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$3A0172D5-90E1-420A-8682-40915D110A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180504$3DBA7733-C026-4346-A94E-3CBF777D13A4","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":"Q2180504$9A2733AA-502B-4D0D-ADE5-B8BA849FC273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5d4c99d26a5c0458913b9f4b9c2486350b94140","datavalue":{"value":"W2969690567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180504$73C97C0E-CCD3-442A-94B1-A6F75A38266A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41eae31321cb8f4d5091ef38abb8a9ca30ef670","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ee2d70de3d286ec2b96f65700af961f261ca72","datavalue":{"value":{"amount":"+0.840497612953186","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":"Q2180504$EA65A076-99AA-4C44-9637-CE5BB51A79B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8891623e9ede7941759125c02f74d0d785ef4406","datavalue":{"value":{"entity-type":"item","numeric-id":2817929,"id":"Q2817929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d6ea8b4856951996ba6bd2b79703b210162a81","datavalue":{"value":{"amount":"+0.8252269625663757","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":"Q2180504$B2AF7ADD-0BAA-43BE-A79E-6BEDEB4250E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bf28b6c9ac6d6df6c52bc9f25a1453544aed6d","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96186953ea6705a9e2180aa6f5b25907d01d0c64","datavalue":{"value":{"amount":"+0.7863227128982544","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":"Q2180504$6C923F38-93E3-4B6E-A4F1-9531862011A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2033a5d2f4312024fbd6d893ddcc1d57615fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5927985,"id":"Q5927985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa423904f9bcd6688a5595da1c50b5c0a1c27a5","datavalue":{"value":{"amount":"+0.7548089027404785","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":"Q2180504$51188DBB-EB3F-4DF6-AF1E-B686959C8B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574c234d136db95e089adaee97950623853f74a9","datavalue":{"value":{"entity-type":"item","numeric-id":877889,"id":"Q877889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9fa4deeb41c4794ee1dfa9bca9d0eef561933e","datavalue":{"value":{"amount":"+0.7536367774009705","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":"Q2180504$7B5BEA8B-05BF-469E-A70E-481AE8D2561A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certification of nonclausal connection tableaux proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certification_of_nonclausal_connection_tableaux_proofs"}}}}}