{"entities":{"Q1868241":{"pageid":1878983,"ns":120,"title":"Item:Q1868241","lastrevid":71570058,"modified":"2026-04-13T23:07:51Z","type":"item","id":"Q1868241","labels":{"en":{"language":"en","value":"Tableaux for \u0141ukasiewicz infinite-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901326"}},"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":"Q1868241$AB3FC18C-5FCA-4106-9DB7-F51682A66BC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1d7de360e4a7de219bcf34f3338f33a02c5c13a","datavalue":{"value":{"text":"Tableaux for \u0141ukasiewicz infinite-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868241$BE7A5E22-0DA9-42CB-99CE-29C3FEA67BE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8e69848c53a61327e6a2b5977649bcbbede4568","datavalue":{"value":"1015.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868241$782A799D-6C9D-4344-9863-795EF38C3C0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40f9c574175af8cae5b4d51221df5a851fd08fa3","datavalue":{"value":"10.1023/A:1022989323091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868241$BE1BA491-661F-4611-BA1B-949D0BAE2ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868241$D8323E80-4AC2-4ACA-A9F5-107432BF48A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868241$C0329DD8-F147-4DA9-9963-2F60E05593D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868241$8A0C24B2-BAE6-4E53-8D1E-21BFDDD39E54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868241$CD4CFF4E-4607-493C-8595-50BA055B9DDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae0acad2df05fc106299c9720260ed7dba09eb0","datavalue":{"value":"1901326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868241$CDB5AA5E-7FAE-4846-8202-22A769240393","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868241$5891C5D2-D32A-4925-8564-7943F339B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a4dd4dcbe69571e25beb21098c1f1c394adf12","datavalue":{"value":"labelled proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868241$187F02F6-5173-4D0A-A241-EB1F811A392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868241$3301C730-C326-40AC-98C9-D6A73A945406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"056c84bfe7c0f526eeffc515e853753d9ef739e6","datavalue":{"value":"labelled tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868241$F3E0D7CE-59EF-44D0-BD3A-6B641A126B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868241$36596267-A1B6-4C5F-85E0-09F72FADFDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868241$6D9930A0-E22F-44D7-A045-C95FC3EFB293","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":"Q1868241$B4F47E20-0624-4524-90CF-ACB8295FA058","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3fd1a717a8818f2afd1e1af383cd08094e8044","datavalue":{"value":{"entity-type":"item","numeric-id":3511458,"id":"Q3511458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105f3b08e6a1f1ba75ed21826804ec95c833d3f5","datavalue":{"value":{"amount":"+0.796554446220398","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":"Q1868241$C96630E3-54F5-42A9-9076-B0123BC6FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb403c9bbb5a16531bef2300b5a474210cf01c","datavalue":{"value":{"entity-type":"item","numeric-id":1971778,"id":"Q1971778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd59f50d9215aa7f0a7c9497a96d67121cbc5db9","datavalue":{"value":{"amount":"+0.7931298613548279","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":"Q1868241$53D34C8F-2261-4593-88AC-52921777CD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33373c81652d58563a0063598c92df0f94812309","datavalue":{"value":{"entity-type":"item","numeric-id":1407546,"id":"Q1407546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd59f50d9215aa7f0a7c9497a96d67121cbc5db9","datavalue":{"value":{"amount":"+0.7931298613548279","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":"Q1868241$4682FA3B-1A04-4D60-B620-4EB7406B974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29875860d16bde25f3ab76851c897adfd91f77c8","datavalue":{"value":{"entity-type":"item","numeric-id":4821868,"id":"Q4821868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840bd8fbaf34b67d4d85e8ae9bbdd372fe99ceb9","datavalue":{"value":{"amount":"+0.7757341265678406","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":"Q1868241$9E36ADBA-E4FF-473B-AA94-3590433A71A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7601a09b70f70662b17e50aa3b13885b9b6f9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":687151,"id":"Q687151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3679b5a6303762b08218e7b07927b9e5953094f","datavalue":{"value":{"amount":"+0.7645512819290161","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":"Q1868241$959162B2-C79C-44B5-AE47-1E5FB4D5D801","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableaux for \u0141ukasiewicz infinite-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableaux_for_%C5%81ukasiewicz_infinite-valued_logic"}}}}}