{"entities":{"Q3119286":{"pageid":3130002,"ns":120,"title":"Item:Q3119286","lastrevid":85831628,"modified":"2026-06-03T11:55:31Z","type":"item","id":"Q3119286","labels":{"en":{"language":"en","value":"Analytic tableaux for intuitionistic first degree entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7034362"}},"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":"Q3119286$D40C3F74-EEAE-4978-BC84-E56AEE7F9F88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"815f80314a9d20c6fceb22722656159ca438725a","datavalue":{"value":{"text":"\u0410\u043d\u0430\u043b\u0438\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u0430\u0431\u043b\u0438\u0446\u044b \u0434\u043b\u044f \u0438\u043d\u0442\u0443\u0438\u0446\u0438\u043e\u043d\u0438\u0441\u0442\u0441\u043a\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0430 FDE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3119286$06C8D6DF-9E12-47A8-87BA-875FF1E527A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d8ce20fa40807ae8876be74b705e49d2eb79f94","datavalue":{"value":"1431.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119286$F2BE1893-E3CD-42DA-907D-F29BBD402354","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7268dd44ea00efd4a75ffd86fd166747df105c7","datavalue":{"value":"10.21146/2074-1472-2018-24-2-116-122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119286$F5A7627C-790D-43ED-B0E7-6CF2226A209C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119286$4469FA64-F076-4B9A-94F9-056F39A7EB26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f1e50024e8819cb0b85124b28367c18d16eca6","datavalue":{"value":{"time":"+2019-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3119286$C38E15F7-92B0-4B2D-B034-7823A259177C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119286$7D5219AA-9F50-49E7-8DAF-B2696DA6953A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119286$C2B3F2A1-577D-49D4-8093-975680D88132","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15d56033d0944a475a05570f09edc62434d45240","datavalue":{"value":"7034362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119286$83702B63-81C4-49D0-AF3A-2F9E8C20A8EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119286$0C0054B6-86BA-4E74-8C8C-12D4F0EDA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119286$9A340FC3-4B60-46C6-BD6C-EDCB0CA11402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119286$198531AF-4BF6-4805-BE6B-2BF2ED2207E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ab57a4985f9779a2881ec9c1f85d2c49a02623","datavalue":{"value":"first degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119286$22D4AB7C-5B35-4B9C-998C-B1A119710D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463fb05607cf5d6665e4869f55acd8b6928e1758","datavalue":{"value":"revelant entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119286$FBED84D1-251F-49F5-9BB8-2E1B5EB50322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d2ca597005b0eb2168b21a0c7589d1adf584f67","datavalue":{"value":"generalized state of description","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119286$92B04528-4271-45CB-958A-48DE93BF5624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119286$93DCE23D-A246-4E9A-BEEC-992A631BDD26","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":"Q3119286$9AA06CB3-C982-427F-9988-BC5C5169363F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c98d60fdb519ab5a0d408200038c97ced87c0083","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2018-24-2-116-122","type":"string"},"datatype":"url"},"type":"statement","id":"Q3119286$08CA8227-A349-42FD-8739-3118534E8A6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"127526d51dad82c8aef635b061fbed7f00bf3e67","datavalue":{"value":"W2913751580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119286$DF0E60EF-C4C5-41C5-BE5D-235CF19A3B10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e13ef08b6841b2129e403f92c7418431f65a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2770974,"id":"Q2770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ef9af0c7d8ac109f76f7c65204820b52c5c5f8","datavalue":{"value":{"amount":"+0.7789867520332336","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":"Q3119286$5E1AB544-ACC5-4834-8E89-7CB2A6C49BE4","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":"6df9ee22dcf0c95c2d160f31c5067675893fa4e9","datavalue":{"value":{"amount":"+0.7707382440567017","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":"Q3119286$5BE6F59E-408C-45FC-BE27-72258CBEFC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd7b0ac37f6471f61720c79f4e1caa4fe999d0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751827,"id":"Q2751827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c28fd3e3f1f15ac17c338289ff21a62f6de1e8a","datavalue":{"value":{"amount":"+0.7662039399147034","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":"Q3119286$88E9DD09-2065-4EF5-BDFC-4704F84B6785","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":"3660b81b74f3b531bf7749c761c1130b88a06536","datavalue":{"value":{"amount":"+0.7578557133674622","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":"Q3119286$1BA9B877-12F0-41F1-A804-7ACD6C1D5EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105be96c07e62baa886db68ab419c6e4ed6bf7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3305615,"id":"Q3305615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97463e848eb56bd3bc1aedb6fcd57f03df73e27","datavalue":{"value":{"amount":"+0.7509579658508301","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":"Q3119286$461923AC-532C-409D-84EF-EB0D91F3AD46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic tableaux for intuitionistic first degree entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_tableaux_for_intuitionistic_first_degree_entailment"}}}}}