{"entities":{"Q3647233":{"pageid":5677139,"ns":120,"title":"Item:Q3647233","lastrevid":50837435,"modified":"2026-01-15T08:47:30Z","type":"item","id":"Q3647233","labels":{"en":{"language":"en","value":"Adding clauses to poor man's logic (without increasing the complexity)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640513"}},"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":"Q3647233$6D7DC1CF-DD6C-46C2-B49B-2B72744C32FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"384bad6b8d536ad5c4bea587074dd83e3d0fb8d8","datavalue":{"value":{"text":"Adding clauses to poor man's logic (without increasing the complexity)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647233$80629B90-CDF6-46DF-A683-3C2D2B77D94C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d5144d2b31fce4e646e8ab2df21351c01309771","datavalue":{"value":"1185.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$F3BDC7FB-6897-4EF9-BBEE-686F40CCC9E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd3e34874773bfa76c6e79803e08ccc412dc7bf","datavalue":{"value":{"entity-type":"item","numeric-id":269510,"id":"Q269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$55A281EA-B428-4E5F-90E2-F25C455EC225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$0587995F-862A-4930-873E-E9CAAF70DCDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647233$4D93E305-DC26-4EC4-AE60-6243F427EA56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$4F86F5BD-27AA-46A1-9C30-27E9F70ED289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$930E0F07-C532-4F41-A4F0-8A83BC0A5FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$40B1BE6A-353D-4B1B-9AC3-948E45424054","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321ce9c94f510dc5a029ecd57500b89b053e01f9","datavalue":{"value":"5640513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$95C678D4-226A-4039-87D0-D0D4B420E1CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647233$F95F2810-1551-42AE-80F4-0D9EBB98E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f4f17845dea744fcda4545b7c2bf633122d1fde","datavalue":{"value":"poor man's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647233$C31A5328-151D-402E-81BD-B0A8178D816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647233$A55A98C1-92D9-4BD6-9B3D-E20EF7702539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a0c383a387b1f7bf6a0f5a1f896244b5448863","datavalue":{"value":"disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647233$9868FFA0-8486-455F-97F3-128FDCFB1B7E","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":"Q3647233$05639743-C2B4-4F2F-B03E-15DE4F7CDC66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d7708c1251d970c2ebd2a2f8cb7fb620fa94232","datavalue":{"value":"https://doi.org/10.3166/jancl.15.341-357","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647233$888EDBE5-7D50-44B1-AA4F-37175CE05D6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5ef074c6c8dbfd94a91823acd0a0c51ea105822","datavalue":{"value":"W2078543661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$C68DF2F3-6BFD-4556-924A-E8D00BDBAE3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$0C4072E9-CAD5-45A0-AAC1-3BA88DE1C3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663c1d1422a14927786014e0e38e99dd745742f7","datavalue":{"value":{"entity-type":"item","numeric-id":4797422,"id":"Q4797422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$B6CF37D7-4219-4035-9389-35855BBE69AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8d406bf4dde972ff02a3e74422582f99efc7c","datavalue":{"value":{"entity-type":"item","numeric-id":2946994,"id":"Q2946994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$82A2C8C7-BBE2-4074-A2FB-BB9F38FD4F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30503e2191a985b06e59de37ad4b47ce193e33","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$8B34573E-D0A1-41D7-96F3-E553A01DFE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$9B458755-39BE-43C9-8B7D-86EEED589FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$FE664495-1CBB-45AF-958B-AB9315C3FC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$D73ACACD-B3C8-4C83-B11B-3F09407D0990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$A684C753-028F-4BA8-B525-3E481351C2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6414810fc9a36c60bc5ea08489420f13a16cf3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5616126,"id":"Q5616126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$2F44EA4B-734E-462C-8714-990FAAD1C6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c39230728710dbdbad9cfbac4df4bd9c36db58","datavalue":{"value":{"entity-type":"item","numeric-id":1274294,"id":"Q1274294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$5C22EE24-70EF-4E67-99C2-F265C7A716EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab23ed73184628b6bf9881c7985ea1334403d94","datavalue":{"value":{"entity-type":"item","numeric-id":5958761,"id":"Q5958761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$1156126B-A008-4CAD-BBBC-4F1CA14247FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$1122B5BB-656A-4D9A-A194-F377EC1CA5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647233$FA8F74CB-DFBF-416E-8495-86A9FDD0D264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c45d36617319efd3670685f006532f37bb403970","datavalue":{"value":"10.3166/JANCL.15.341-357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647233$503E3F1E-16AF-4608-990F-ACC80C099C0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e6a378517747c3b742a7f23590f8e075915943","datavalue":{"value":{"amount":"+0.8397551774978638","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":"Q3647233$7A07539F-1BA1-48EA-BA1B-B271D0D9C640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9feaf5a26db187259b052cdc23a6f67419a653","datavalue":{"value":{"entity-type":"item","numeric-id":4580320,"id":"Q4580320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e6a378517747c3b742a7f23590f8e075915943","datavalue":{"value":{"amount":"+0.8397551774978638","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":"Q3647233$B3D628F2-D78D-498A-9572-88B01034A544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343044593eca8f3fe2aa659c4f2418217393e635","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131a5d9cb8201abe46949726a050642f27452f40","datavalue":{"value":{"amount":"+0.8395261764526367","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":"Q3647233$59DFCBAC-C0ED-434F-A4DE-25C1C4151748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1a49338df64d68678184d84c8222acc54ac60e","datavalue":{"value":{"amount":"+0.7557644844055176","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":"Q3647233$40DFBCEE-E27D-4AC9-ACF7-328E48839379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00b789a57c3289c2ab61cb85608fb7d6ed69894","datavalue":{"value":{"amount":"+0.7513588666915894","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":"Q3647233$57923F4B-AD07-4432-9892-357CE6AD8292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647233"}}}}}