{"entities":{"Q5411661":{"pageid":7441235,"ns":120,"title":"Item:Q5411661","lastrevid":96163127,"modified":"2026-06-05T10:34:13Z","type":"item","id":"Q5411661","labels":{"en":{"language":"en","value":"Proving propositional tautologies in a natural dialogue"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288087"}},"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":"Q5411661$026C07E4-67E2-4CF8-96C1-79401AA6B379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e91bb5cd51e8cd0ef40e6b74d26b6f5d7fa0a75","datavalue":{"value":{"text":"Proving Propositional Tautologies in a Natural Dialogue","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5411661$9C09EEBB-71EB-4069-8C09-9440FDD681AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46b1ab763bd618a9987ae90f06097b4527750210","datavalue":{"value":"1285.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411661$F3023489-5B0E-4681-8F64-1047F7AD0423","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8326a5c4d1a974c0d1c34f18659b038ecab12124","datavalue":{"value":"10.3233/FI-2013-944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411661$FA0FC0A5-4DB3-4A8B-801E-D054BD1F0999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2bfae139af52fcaaffc64c6468d55be2916382c","datavalue":{"value":{"entity-type":"item","numeric-id":5411660,"id":"Q5411660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411661$01A76A3D-1EF7-443E-9386-6133FD1CEA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dbb3be39f355f046234e12de5c151607fde4fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3008103,"id":"Q3008103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411661$CEE6A1E6-7AEF-4844-8CDC-9BFBE93EA293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411661$D2976609-E334-49B3-9344-970127283516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411661$4F1A3BF7-DE0D-49A0-A22F-B16B7AB9FE58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5411661$02EE900D-1F97-4745-88B6-F6DA512B4A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411661$D5052F97-DBB8-4BA7-B5BE-03F05EC46B78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96762ff3c7b0b33a6492a81befbde551a626a91c","datavalue":{"value":"6288087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411661$51122FBD-4388-45EF-9BF1-57CD66B8FC34","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":"Q5411661$1EF39368-1BB0-44D7-BA7B-F24F7332A22C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dc74d56da40a5677c93f6b60a0c558418dc60f","datavalue":{"value":{"entity-type":"item","numeric-id":5234725,"id":"Q5234725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92ee2a2d64f476dc21d5327c10b6805f2b9810b","datavalue":{"value":{"amount":"+0.796991765499115","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":"Q5411661$E7FC65F9-2BF7-41E2-9043-072BEC262A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f81d5ab63ff0759405bc6906e7e53a015bebb6f","datavalue":{"value":{"entity-type":"item","numeric-id":5259300,"id":"Q5259300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6b8801857c4b763e62ca1eaa526c4384ca94a8","datavalue":{"value":{"amount":"+0.7669137716293335","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":"Q5411661$69AA5357-F536-4C02-B3FF-052721624BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51de2f4e72a5c58ef834ac8ee21af96d97fadcd","datavalue":{"value":{"entity-type":"item","numeric-id":3101111,"id":"Q3101111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd87580e78c9e19ab73b8e3e513df1f24e337140","datavalue":{"value":{"amount":"+0.7549863457679749","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":"Q5411661$E43AC8E1-6B46-4CFB-9AFB-19AA68DEF23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a2a5009225a7063a20c0d0301b58b88d68a80e","datavalue":{"value":{"entity-type":"item","numeric-id":809991,"id":"Q809991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b514e5330af81fbfb6131652da73ea0b0c19a87","datavalue":{"value":{"amount":"+0.747418224811554","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":"Q5411661$15547B0C-AFB0-406B-B74D-D3694A6D4500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c24484032c10bf1290f7343c1b486bcd03b56a3","datavalue":{"value":{"entity-type":"item","numeric-id":4686519,"id":"Q4686519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5df947455e371c2145670a4137dae67b8d4b60","datavalue":{"value":{"amount":"+0.7437623739242554","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":"Q5411661$976F92F1-21C7-4B20-8723-DAF38C7D55AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving propositional tautologies in a natural dialogue","badges":[]}}}}}