{"entities":{"Q2323641":{"pageid":2334384,"ns":120,"title":"Item:Q2323641","lastrevid":55371871,"modified":"2026-02-17T14:43:11Z","type":"item","id":"Q2323641","labels":{"en":{"language":"en","value":"Eight inference rules for implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7100702"}},"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":"Q2323641$4BBF10DA-0E29-4A80-9967-F05E27720FCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a33d17baea0f649a17bdb17adb03b787dd67fc19","datavalue":{"value":{"text":"Eight inference rules for implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323641$1DACF682-4161-4187-9D1F-DF720257BDC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"193570030a9797c9d0e20e2afa4b890fc30826cc","datavalue":{"value":{"entity-type":"item","numeric-id":2186693,"id":"Q2186693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$55226513-5EC2-4F49-A838-2354A13944AB","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":"Q2323641$727C7581-2D30-4214-BFF1-D40A65BDC5A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa4ee36009a742ce6b868039c855591a846096a1","datavalue":{"value":{"time":"+2019-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323641$051B7B76-FF8C-43B3-9682-223B1168FC64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323641$0CB461B1-B168-4C8E-AF3C-3B177738B190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02c638b03d1561a5c034a68c06b0749bfe87caa3","datavalue":{"value":"7100702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323641$0FF8AC48-AD42-4366-83D7-3749149427F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323641$9502373F-4015-4E6D-9EB7-7588CC3A8640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c33d0a684259d01e781672fae5e4f2e745e06be2","datavalue":{"value":"ground sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323641$B38E324B-AF7D-452A-8979-7575E9B7B545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3567aa6f6f38bda6ffc9f9d3c13730c59f418e46","datavalue":{"value":"analyticity of cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323641$F45F3143-3A6C-4F26-82EC-25ED2EF4849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f7f60d69c419590df67752a40e1e7aee0c2318","datavalue":{"value":"alternative logical rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323641$CBE1BC32-54D6-4A93-8B79-4B478B411D40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$80D8FE3E-53A5-4345-A086-650BAF90EF35","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":"Q2323641$6C335AAA-CFD7-4E9B-9E4B-D41CC2FB4A63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee55471c595c27d8987efa95a4af94b5e066dd58","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9821-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323641$8A0EF88E-23B8-4DA0-B34F-EDF128C0D7D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43dedfaa0b5300d3a5b08107086c4dcfa6092fe2","datavalue":{"value":"W2888205906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323641$67377F58-BDF2-4BD9-9335-CB0062EDC511","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$D1D24447-B965-4445-92F2-BBE48747170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$685977EA-42A2-4896-A943-4D89256F9E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$1AD2FCD9-005D-400D-A353-2CD15201FCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$7007A391-5951-4708-9507-C28523FD0019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ba8a3d330a6c8f1ccbbecd7a0083b7bd6e1dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5251184,"id":"Q5251184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$96529217-3B2A-48F6-93BF-E0FDA4413ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9997d38a41b35b8dd05ad93d7539770d5644e8","datavalue":{"value":{"entity-type":"item","numeric-id":626494,"id":"Q626494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$B0A14465-45F6-43A3-A216-5F3D2A0C1F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9e66564df4ebecebd5f3393730b20c73da5434","datavalue":{"value":{"entity-type":"item","numeric-id":5570912,"id":"Q5570912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$AE7E0C11-169C-4B63-B1FD-1CF97C695C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462102038b0eb74508c2054c78ea9d8330d39fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2915886,"id":"Q2915886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323641$5DACA0B9-D929-4CAA-892F-8EF44B72B2C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b15060b8ea78432e165e0713c0e286dc3dad1d89","datavalue":{"value":"Q129399617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323641$52BCFF67-38BC-457A-B189-064024533A16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"684d6db4cc73b7190b99b2b73d013dc948bd9cbc","datavalue":{"value":"10.1007/S11225-018-9821-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323641$E42FF8BF-8C99-4329-921A-C4FE63098970","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd56dd31aebd78b23a8b14ab8b601f768b71d341","datavalue":{"value":{"entity-type":"item","numeric-id":626494,"id":"Q626494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5df2490231a4b416d43d01a9a59091965d6fd0","datavalue":{"value":{"amount":"+0.8086267113685608","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":"Q2323641$802D3748-84C7-4555-93BA-C78A38064F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a6be049974380ae410e52d7e0bc6313a8fb063","datavalue":{"value":{"entity-type":"item","numeric-id":5251184,"id":"Q5251184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb3373a7157b8bc31e3c1c132675bcc8c381ae9","datavalue":{"value":{"amount":"+0.7698635458946228","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":"Q2323641$A315EE2B-1997-4A02-8424-6433DB342815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5820ca235d12252b41cc6c592978addc321496","datavalue":{"value":{"entity-type":"item","numeric-id":2784788,"id":"Q2784788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe44d6218bcba08de359e2b6ad64e27532349f0","datavalue":{"value":{"amount":"+0.7496162056922913","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":"Q2323641$6874425A-8E21-47E0-A0FF-ACA9D88CE1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28229740b9f1c81200e242976f83a402615014b1","datavalue":{"value":{"entity-type":"item","numeric-id":2409390,"id":"Q2409390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8055ca4f6bd0833bda3faa988315bd9d3b5dac","datavalue":{"value":{"amount":"+0.7320900559425354","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":"Q2323641$4F030B0E-0E07-493E-84CC-09CA350176BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a555d7275365927d53bfb389ec61cd77eb7129","datavalue":{"value":{"amount":"+0.7300387620925903","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":"Q2323641$56D42B83-7D82-4F7A-BB54-725774E1F2F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2323641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2323641"}}}}}