{"entities":{"Q5869726":{"pageid":7899277,"ns":120,"title":"Item:Q5869726","lastrevid":54407579,"modified":"2026-01-26T18:46:54Z","type":"item","id":"Q5869726","labels":{"en":{"language":"en","value":"First-degree entailment and binary consequence systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594257"}},"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":"Q5869726$2AC5E097-093E-4780-B4EE-5C93AA455583","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a75aa0ce15c29930bb5bfb3686899092a610e21","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869726$0FD6D7BE-9F9B-458C-9866-C98B53FD4B9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12849bc9397048f3fbe61bf9712405dfa85dc246","datavalue":{"value":{"time":"+2022-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5869726$31145680-6B70-4FF3-87A8-EF54B8C1E257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869726$F7BAC73F-38EB-4FA8-A0E6-DF8A430F941B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cba3c9032d455b4fbd87c099e95fe694f6611ff","datavalue":{"value":"7594257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869726$2AB3D48A-5523-41E0-AD64-44B64261CC84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869726$33494A40-50F5-4041-A0F0-F99905D40A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d204595a1a37f4d932a9cdcac521fa823c327bef","datavalue":{"value":"consequence system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869726$9CD44805-F24D-46C7-97DD-D8B363C4E980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ca3da1c4ee27d718b69d601a283264c3c99ed5","datavalue":{"value":"binary consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869726$4EFCC370-B34E-4BEA-970B-9651E2DC9AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869726$64D3EE18-D8F6-4CA6-8822-B7731334300D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39796d0a2e97de17e00ce5d232fe2a1ef6a4b362","datavalue":{"value":"structural reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869726$61453AAF-6E18-446C-BCF3-14CE7E1BD707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a839aea0516f497259e9d2e98e40e765ee00f78","datavalue":{"value":"super-Belnap logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869726$1FDDAD4A-452B-40C8-ADA9-61A36B737506","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":"Q5869726$3D438DC5-BB48-4C82-BC63-1F05A88FBA3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129ba433866e5ba7d7aa688862ddfe96451ad675","datavalue":{"value":{"entity-type":"item","numeric-id":3305621,"id":"Q3305621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aca714ef3cfae0f49014245b9ba91ccef9fb794","datavalue":{"value":{"amount":"+0.9047256112098694","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":"Q5869726$969750BF-F070-4F19-991C-C9ABC5EAD380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db71a64ddf7705cc28f031cdf59deccd46b8e018","datavalue":{"value":{"entity-type":"item","numeric-id":1685573,"id":"Q1685573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9f22c74c476e4e2808b2e43473bfb831afabe9","datavalue":{"value":{"amount":"+0.887616753578186","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":"Q5869726$D60E8D75-7B34-4BCF-9181-FA43E8F6FCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9550337e89fa60d6a90d36b0ed49bbe7d9738b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2041966,"id":"Q2041966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dd195e301b54c80d994ff27a99162f4e3e716d","datavalue":{"value":{"amount":"+0.7951933741569519","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":"Q5869726$342B0740-D403-4FCA-9F3C-0E3848B3618F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d094c150bae8cb7efe5966fd31a6e7b3452618ea","datavalue":{"value":{"entity-type":"item","numeric-id":1679746,"id":"Q1679746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83577cff73bf68201ae4b549a82c77b6f5b0c311","datavalue":{"value":{"amount":"+0.7934414148330688","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":"Q5869726$805C64B1-EC0F-4CAD-809E-D1640676BA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7120cdee5eb8bf7425244a14c5ce507ab8d62ea8","datavalue":{"value":{"entity-type":"item","numeric-id":5937857,"id":"Q5937857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816e244a99a239ac362004503d07cca1fd81a62f","datavalue":{"value":{"amount":"+0.7933840155601501","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":"Q5869726$824EA75E-7941-4FDD-955B-7DF4C8C26F9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5869726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5869726"}}}}}