{"entities":{"Q1959223":{"pageid":1969965,"ns":120,"title":"Item:Q1959223","lastrevid":51097424,"modified":"2026-01-16T15:56:58Z","type":"item","id":"Q1959223","labels":{"en":{"language":"en","value":"Reasoning processes in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5796447"}},"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":"Q1959223$00E405E0-4647-4BC6-BD5D-0BB6D59AE9CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32d36fce3a4eb583a758ed55e40aa102f998775e","datavalue":{"value":{"text":"Reasoning processes in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1959223$D44F8F74-3DA7-4F99-A878-6099CEBDDC5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b22f1bbff69ed2c797a534b2977baeef718dd451","datavalue":{"value":"1202.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$78481097-D314-44CA-B1B3-8D4004555512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba2963937cd7d4009fa804458e86b96772c1fb16","datavalue":{"value":{"entity-type":"item","numeric-id":1959220,"id":"Q1959220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$EA56A664-C07F-401D-8DC8-170890C3C3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3012306afa53716d4d68e0f76586cad7fc8ee69e","datavalue":{"value":{"entity-type":"item","numeric-id":1959221,"id":"Q1959221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$D6D903EB-CAD4-4715-BA01-E36A1708EDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1717c0da765eeb605ce4abd3878e091d04bb08c5","datavalue":{"value":{"entity-type":"item","numeric-id":1959222,"id":"Q1959222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$C1D0173F-1747-4FBB-9F46-B1F6E4584B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf08d2a3ed4ee9205a7f2821c3f60df77f73766b","datavalue":{"value":{"entity-type":"item","numeric-id":1693862,"id":"Q1693862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$616F0A71-5D15-4886-8911-DADE93289557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$F6A4DDE8-5660-4ECF-A105-CC9791A1988E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95d18b46fedfd0a4265c850fd91377eb31609d3a","datavalue":{"value":{"time":"+2010-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1959223$72EFFDE6-65B9-4ED1-B38E-68EC1C42564E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$DCCDE8B3-F129-46DD-8848-ED6524230ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$51EF8980-5E9F-47E0-8397-1CF55F8343FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3a7b46fd876e94c80ffa161ba095ff11db1f3ed","datavalue":{"value":"91E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$6DACD27E-8E40-45B3-83D7-04EBEF0F31FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4758eb63a07fec59e93d687d203d352380cdcd6","datavalue":{"value":"5796447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$C900B7D8-44AD-4B73-89B6-E6FF5A99A957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c66a624b7fe1d4dfd9c178a928f6b0e39fd0eccb","datavalue":{"value":"bounded resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959223$0CF79D61-19C1-4DC9-B270-A9E888ED6EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959223$FBBA68A2-4A7D-4C2B-903E-B9000F91D592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959223$39A95741-BB7D-44E2-A576-83005C5CC1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9518072963ac32916a7746bb9dbc5c54e775de15","datavalue":{"value":"psychological experiment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959223$066FE0EB-F3CD-4028-9B25-AFDB62682F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1959223$D4DD98C5-5BB1-4B88-84B2-15B60F01EF7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$BD7F2D72-D083-41E7-A1FE-4CD1319E95E2","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":"Q1959223$E81D3347-8908-4C35-958C-67AAA6215224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f519649193d400f5a1798d0366acb5143202ec0","datavalue":{"value":"https://doi.org/10.1007/s10849-009-9102-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1959223$452371FF-6C68-4934-A9DA-D57516B65D21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae72360f28246d40646398182ef777d7958a03ee","datavalue":{"value":"W1988106090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$495DADC8-2BF0-43C1-9070-B132F0256CA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$B99012A0-665A-492A-8A4E-EE267ECD156D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$961A6AC0-66C2-40B7-B9D4-A17B528394A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd34e43fd657c7094b70b7c2dabd6fcfca2fb10","datavalue":{"value":{"entity-type":"item","numeric-id":5901566,"id":"Q5901566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$98E32B08-36AC-4688-BA5B-A1B1BAD56BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$71AF662A-1041-4E07-9BE7-C629196ACC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$B30CB758-1632-40B9-A66F-F5558B626C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ccc95ef06cb0b1f5643a860fc786eb8b54dea2","datavalue":{"value":{"entity-type":"item","numeric-id":677429,"id":"Q677429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$DE25E5CF-00CD-4587-9B2B-87DCFE86C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$CEE1AF4B-1E03-4383-9867-9AE8EC282586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$2438F57D-7387-452A-B599-9F46690E3E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$E4240EC8-E5A3-43EB-AAF2-0A607E25BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1959223$DE6131E3-0C5F-4B1B-AE32-54D4404C4F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff1f269a6222a69565b85d91135edb200011cf2e","datavalue":{"value":"10.1007/S10849-009-9102-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1959223$6AB8368E-460B-420A-B59D-1CEDDB0DF3CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce60711512f98cf572b669a71a0d76fbd2f05e4","datavalue":{"value":{"entity-type":"item","numeric-id":2255212,"id":"Q2255212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f0b2f2db382019fac1d28729e3794ff7f28c8a","datavalue":{"value":{"amount":"+0.7526712417602539","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":"Q1959223$2344BE82-4AB2-4721-977B-04794E146E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef6d60f0cd39c5a3322a31afc9fcc3a72fe926a","datavalue":{"value":{"entity-type":"item","numeric-id":5942588,"id":"Q5942588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4149dbccd8f189a3af7552cb219b7aa256a74a5","datavalue":{"value":{"amount":"+0.6526699066162109","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":"Q1959223$AE186602-0DEF-4652-904A-F56DCE518195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35a882d95def01bb1e340945d093cd4b5396128","datavalue":{"value":{"entity-type":"item","numeric-id":5100154,"id":"Q5100154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983922c94806aabdc36cd45ded9d0d12718f7176","datavalue":{"value":{"amount":"+0.6519385576248169","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":"Q1959223$F037A45C-1DC6-4BD5-9490-CE911ECC5A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f00b3334fa57b42ca73059a8b39be91a546b996","datavalue":{"value":{"entity-type":"item","numeric-id":2771060,"id":"Q2771060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a74583b106b08c7079279893b0d544d335488f","datavalue":{"value":{"amount":"+0.6495835781097412","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":"Q1959223$70C302AC-E5C9-4E0D-B0F5-7550E5482EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb77b20fa4de5711f4f416c9214dcf22f700c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3476786,"id":"Q3476786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d4834c01d99d510f95859b863b81365bbc0455","datavalue":{"value":{"amount":"+0.6495834589004517","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":"Q1959223$6728BA06-BDE7-4AD9-A4C6-B70461DA05FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1959223","badges":[]}}}}}