{"entities":{"Q5883191":{"pageid":7912742,"ns":120,"title":"Item:Q5883191","lastrevid":55441633,"modified":"2026-02-17T16:28:24Z","type":"item","id":"Q5883191","labels":{"en":{"language":"en","value":"First-degree entailment and binary consequence systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669421"}},"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":"Q5883191$148BA576-2B31-42BC-AF04-21133FCEC144","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":"Q5883191$3DE0DD15-9288-469F-A1E5-858337B56950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883191$D8BA0E95-13A4-4342-A314-9167ED1C3882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883191$48F0F897-5E4C-4097-863C-424A43838421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883191$E33D5165-D77C-4B0D-8C20-848547EBD3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883191$066AA3A4-39A6-4F74-9D7D-B42DB3723020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883191$80179FCF-A338-41B9-B9CB-D5F5BF6E6708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48167f28ab48af065069c7461cca6cf454a5d92b","datavalue":{"value":"7669421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883191$37790D9B-0497-4133-9FDF-4D329F699615","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883191$EB27503F-60E0-43E6-B83D-8D7F77B4EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d204595a1a37f4d932a9cdcac521fa823c327bef","datavalue":{"value":"consequence system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883191$62432EE4-5960-4EC8-B627-F46932F97B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ca3da1c4ee27d718b69d601a283264c3c99ed5","datavalue":{"value":"binary consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883191$08512AA8-EF7D-41FA-880F-5780AF2847F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883191$C4AEBAD7-A56D-454D-96F8-3968D50F3C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39796d0a2e97de17e00ce5d232fe2a1ef6a4b362","datavalue":{"value":"structural reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883191$6C614141-BBB9-43E6-9E0B-77802E63D070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a839aea0516f497259e9d2e98e40e765ee00f78","datavalue":{"value":"super-Belnap logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883191$5D8451CF-EABC-4013-AC5C-3329A86F7227","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":"Q5883191$175FC5B5-E97F-491B-846F-FFC9A7398F3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264598d98f230d8d12c9e1b79ed86ddee5ac6e94","datavalue":{"value":{"entity-type":"item","numeric-id":5869726,"id":"Q5869726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2072b0ed1ffd29d7e6b2553fae138521fa93e1","datavalue":{"value":{"amount":"+0.9901167154312134","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":"Q5883191$79A82BC0-6F61-42F9-8043-F0EB3675BFE5","rank":"normal"},{"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":"b3f9e657417367980119227c0230ec4d6f0bc41e","datavalue":{"value":{"amount":"+0.9106996655464172","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":"Q5883191$3E72B9F8-D731-4AF4-B3B9-3AF95F1672E7","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":"e7eb17e0f62b2e607405ab31b8dbadaec1c75779","datavalue":{"value":{"amount":"+0.8983491063117981","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":"Q5883191$23B24730-8CFC-4DD7-9472-2AFA3F072989","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":"3b8f25a768fe591b8445586b1f7b9f2ef341244c","datavalue":{"value":{"amount":"+0.8040149211883545","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":"Q5883191$A486E858-7C54-481E-BF38-2F6883D333AF","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":"ab6a0144965cb5715682d09e4941675750898465","datavalue":{"value":{"amount":"+0.8031487464904785","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":"Q5883191$1E2951E7-5035-4C0F-AA41-224FCDF73C9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883191"}}}}}