{"entities":{"Q3201782":{"pageid":3212490,"ns":120,"title":"Item:Q3201782","lastrevid":49444768,"modified":"2026-01-07T04:17:20Z","type":"item","id":"Q3201782","labels":{"en":{"language":"en","value":"A general approach for determining the validity of commonsense assertions using conditional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178808"}},"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":"Q3201782$FF6AB354-460C-4F13-B868-2FC340A8A56B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29cea3d56e5d5285f49488584ccca06e8a303909","datavalue":{"value":{"text":"A general approach for determining the validity of commonsense assertions using conditional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3201782$68104DC5-ACDD-4909-819B-699C3647F14F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c96d11d0c599f9f1aa5ed77c8ca8deeb39d41e4b","datavalue":{"value":"0715.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201782$7D086904-9071-4147-8896-C0DEE384F711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a9d97bd7df770eaae35d88b31511ec09946318","datavalue":{"value":{"entity-type":"item","numeric-id":3201781,"id":"Q3201781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$CE48A9E1-07EF-400B-9F51-FE81DE948D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bf0cff9e215df3aaf30e4a09d6638e838fc0de","datavalue":{"value":{"entity-type":"item","numeric-id":294885,"id":"Q294885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$05295592-DCBA-4787-B999-A8B808F3F019","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2a692c5fbd47d4547f3c7fcd5eafb312e8a8e095","datavalue":{"value":{"entity-type":"item","numeric-id":107479,"id":"Q107479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$10D8A52D-C310-4F3E-B3D4-2197EDD92756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3201782$344093A1-31F9-4A09-80BF-CEFF6768C842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201782$4253E6B6-A494-4756-BF73-5DE955DCAA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201782$55439E3C-DE02-4C3F-BB29-B7612E358037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c329c56aaf97556e077ea5e749f25de178cc808","datavalue":{"value":"4178808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201782$3EFBC614-8892-4DE1-A2D1-86F780C6A952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201782$5DD1459D-4A97-4C7C-8C94-85F6C675C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b48ff5c256058e6b3fc88a3a32299b762bb771f3","datavalue":{"value":"normal conditional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201782$3DCD06FE-86CF-4067-9EA3-92558D4F1E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201782$1F021397-1599-4AF8-B2F5-53D2450A4A97","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":"Q3201782$03645ED4-3A97-4435-8651-9DA85DC2292C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8571cfe1f24ce81d8571dd01121322e125a8e057","datavalue":{"value":"https://doi.org/10.1002/int.4550050505","type":"string"},"datatype":"url"},"type":"statement","id":"Q3201782$E15CBA70-2418-47DE-9DBF-4A92F9EF648F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2883efccdab7c42948027e99405b9e2196145091","datavalue":{"value":"W2082139594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201782$D017940A-97AF-40C5-B29F-9F7C8C8FA56E","rank":"normal"}],"P223":[{"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":"Q3201782$4D8D1A8E-9449-43E9-A8A2-949C6073FB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$9FFCF68A-60B3-4B80-A6B5-2C52E666D28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d53b4d0b65edc05fb0be75134b1388f4c6f47e2","datavalue":{"value":{"entity-type":"item","numeric-id":759003,"id":"Q759003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$7E9E7E4A-C092-4F23-9F0C-21191E69662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$A21204C1-2C96-4306-8F1B-A44709ACEC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564ba9b94370fb757c1f6b80b9ca46c370768d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2555483,"id":"Q2555483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$83BD694F-D3A2-4C89-AD66-6BA9BE6D3382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$2D2C635F-27EE-42B4-B9C7-DC6E5C875B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf623f1a7ea86f826c62939187b8825feb38fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3787425,"id":"Q3787425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$FA281AEA-1025-4879-85B0-903FD70EB20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7ac24fd531f581fbac6bf121377ab8b25a4774","datavalue":{"value":{"entity-type":"item","numeric-id":3667969,"id":"Q3667969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$F6C5B55E-8245-4B7C-8FFD-16480660F482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201782$F0560F70-F38A-48CA-868F-33C05C806F37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12ae2eb850284f19bea81515ed1adbe7c52a6cd1","datavalue":{"value":"10.1002/INT.4550050505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201782$D2D07521-9315-40B4-B82A-D85B8DBEA9D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a7365f26074158a57a1ce0c375ada416a12c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3563381,"id":"Q3563381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c34531eb58deaeaf8eba3aee7dad95d68a2ebb","datavalue":{"value":{"amount":"+0.7021043300628662","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":"Q3201782$E5CD8050-9BB6-4689-B045-3A900BFB9CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfe2283112d88bc5f01fe3ba130ed363ab5f907","datavalue":{"value":{"entity-type":"item","numeric-id":1924731,"id":"Q1924731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee300501822c5266d49e5b6ede824d59812cd26","datavalue":{"value":{"amount":"+0.6967847943305969","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":"Q3201782$310E665D-E051-4B8C-98F0-5555ED7977AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c02bafdbde59535d2bd1b5c2f15c640585300be","datavalue":{"value":{"entity-type":"item","numeric-id":4287484,"id":"Q4287484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e36df0a5a42c33cc1a1d29f184ca36ea737f8bb","datavalue":{"value":{"amount":"+0.6948491334915161","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":"Q3201782$7B788239-FB79-46D4-B46E-37968AA80B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825ed3fb3fdf6c4040907f99e7e2b81af8ea46f","datavalue":{"value":{"entity-type":"item","numeric-id":4912992,"id":"Q4912992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a195f919ef80f23eb1cf212dbacf13987d8711fb","datavalue":{"value":{"amount":"+0.6878834366798401","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":"Q3201782$F8BCAEFB-77AF-4A5D-A110-5FC457E82A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a61ee167d4bbab5bf2c097d2bc8feaa23820e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3643366,"id":"Q3643366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6b9cbac05f42d686e990574b9e3578128b6ae1","datavalue":{"value":{"amount":"+0.683529257774353","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":"Q3201782$D2B6C57A-2BA6-4D4D-8410-7F41A53BD37B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201782"}}}}}