{"entities":{"Q5241232":{"pageid":7270800,"ns":120,"title":"Item:Q5241232","lastrevid":53583431,"modified":"2026-01-25T09:05:53Z","type":"item","id":"Q5241232","labels":{"en":{"language":"en","value":"Logic for exact entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7124572"}},"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":"Q5241232$EE0F812F-B486-460A-9B22-E42C743FCB69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d655f3ed1eb3c0431f819dd3d7e91e74092af120","datavalue":{"value":{"text":"LOGIC FOR EXACT ENTAILMENT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241232$612384BE-4A44-40B1-A107-B108BD2C42D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2674fb945dd7da87cc0efba26ca8c19d0e34cd66","datavalue":{"value":"1454.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$C8439CDB-02F8-4131-BF01-7423E211A8E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e307aeb4453fefa9b5bfe16ee2d95488b6cd317a","datavalue":{"value":"10.1017/S1755020318000151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$22491AEB-DE51-4326-9B16-8767E6B62F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a5f797a5812b3d1789f3a6c5eb6f827ccc046c","datavalue":{"value":{"entity-type":"item","numeric-id":169444,"id":"Q169444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241232$384B6A5B-6FDC-43D5-82B9-DE4FB04A5021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d8dffddd8b8a6dfc7cf1da545d5da1a924bcc27","datavalue":{"value":{"entity-type":"item","numeric-id":264023,"id":"Q264023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241232$141F9DE6-EC6B-47D1-A1B6-C15EC1ACE208","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241232$14C3F519-5DD1-41B4-8A03-82E3A37343F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf3c9392a3a411e1401dab8af8f22fd364f2a018","datavalue":{"value":{"time":"+2019-10-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":"Q5241232$514421F2-BE72-49A0-A12B-FF792D34C26E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$7109DAFB-BB8A-4549-AF01-4A03EC839110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$94B14E0D-BD13-4160-872C-9FE538665BCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79fe6aa63fb7451d284547e0e128ed4377220584","datavalue":{"value":"7124572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$282A4B68-1EF0-4C5A-AEDD-8F21109E2B38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5d4d81fc6f02a4cc922b26497ec74c5424b57c","datavalue":{"value":"truthmaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241232$BD4DDA32-64F6-4825-A5C0-3BF0175914AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ec887229e288e8f58643cffdc04bb72ca230e1","datavalue":{"value":"exact entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241232$B2488B15-96A1-41C1-84ED-AA3AF295737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aadc8e4e1e6fa52b339bccd19c289ff32398fd6","datavalue":{"value":"non-classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241232$BD90D3EB-6165-43D5-A56E-5750C68233A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241232$29F4C8D7-98B8-471B-AEB8-CE13D9C0AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e30a18dcc60ead9375ee51308e27722e14c154b","datavalue":{"value":"mereology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241232$A35655BF-C0A8-44E3-A38D-4722ABC1A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241232$6C499EFA-23DA-4289-AE12-D11337AEC2D3","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":"Q5241232$4075920D-3A6C-416F-8D66-8ACCF3E3722D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5ff44a5a5cdcfd500d97fc0a2ff9b9355c5bd0","datavalue":{"value":{"entity-type":"item","numeric-id":288248,"id":"Q288248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241232$BC2F0CD5-0A60-4A81-8469-725BAF88FD1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e5e0eb90915ad1e6e4142b4beab43c59754fedd","datavalue":{"value":"https://doi.org/10.1017/s1755020318000151","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241232$6CC9D7C4-FF97-46DD-9649-C3CB1C4F855B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95245f34b3197e35c886b4d8dcfda87f8da67bb6","datavalue":{"value":"W2896358236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$B2E67371-2941-44E4-8D19-35C903FDAEC8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f449673d49adda35b8065a321642d6bb586c3fdf","datavalue":{"value":"Q128487866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241232$E76900EC-C982-4109-8924-7269F04D3A9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cb86aa68a255995a16bb052a8eb66701bb4da","datavalue":{"value":{"entity-type":"item","numeric-id":2194111,"id":"Q2194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc27164ceccdf363dbe3d609c109b852dca45304","datavalue":{"value":{"amount":"+0.765460729598999","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":"Q5241232$D19CFC1E-085C-4A5A-AD4E-9A2E970B5445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156e43deb789da91de970cd2994f9c1376ba084a","datavalue":{"value":{"entity-type":"item","numeric-id":4532128,"id":"Q4532128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423d07562742c3c3ac20ac688715ab5977e90ef6","datavalue":{"value":{"amount":"+0.7289268970489502","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":"Q5241232$5DC7BACD-407C-4389-A547-275023E5C973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92bc8a97490ed292da55d9bd16077de5f1f3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4268411,"id":"Q4268411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891e2c51954bffaae37c90e9222d7e07c8fe70de","datavalue":{"value":{"amount":"+0.723587155342102","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":"Q5241232$D782675B-5376-4BE7-BC89-9F821D2AF10F","rank":"normal"},{"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":"89b483b7a86c1e3f0c9b211a6c537a15abeba506","datavalue":{"value":{"amount":"+0.7226066589355469","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":"Q5241232$E3EBE48A-B7EC-4BEB-8388-1B3D413CCC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a648b1c20f7566418d36945603c5a83c23c54d","datavalue":{"value":{"entity-type":"item","numeric-id":3305606,"id":"Q3305606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598bd61fb433fcdae364be7fd69df3e129492d43","datavalue":{"value":{"amount":"+0.714104175567627","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":"Q5241232$CDC54973-791F-4216-86B8-B32634D0D0C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241232"}}}}}