{"entities":{"Q833736":{"pageid":835584,"ns":120,"title":"Item:Q833736","lastrevid":64685757,"modified":"2026-04-11T21:33:08Z","type":"item","id":"Q833736","labels":{"en":{"language":"en","value":"Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5595391"}},"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":"Q833736$02B3FBF8-068F-4ADA-A3DB-4C06364B2350","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8c651f8361b555ef72758bf638e3dad6b33eaa5","datavalue":{"value":{"text":"Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q833736$6BD6F696-D32F-4608-A6D8-B76DB2D5FDCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa5998c96e6a8101eb862f2524491f732b87b701","datavalue":{"value":"1179.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833736$06C52A8B-F85F-4457-A74B-ADC44A60889F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$B58D73FF-D569-4542-856B-C1AFC1E03B50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd4184030f5c2b742962dcf0b0857833f202eac8","datavalue":{"value":{"time":"+2009-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q833736$AC498ECD-3F19-4441-AED4-EFD1824D28E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833736$1F7F53D9-CD82-4FF4-BBA3-4CC96FB50767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d467328bdd970c4d84b02eb02ded41f575cda85","datavalue":{"value":"5595391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833736$A2D48078-0AD9-4476-9514-888B5865445C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd66ecc74910613d7c0f77d707239c00531e71a1","datavalue":{"value":"chance discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$588B3927-C533-4D3F-905C-F7979DAF29F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$EB1D3E30-3123-447A-97A8-D6F5F9764B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$3C47E5D1-FB42-4D94-849C-B1E94D067AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9378ec10a074b698a1a68d3f3028f3d38e5d7888","datavalue":{"value":"agents' knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$B45B3AEF-FFFF-48E0-985D-A13684F93CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$F984B96E-3FC1-4564-B9A3-4452D62FBEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$A0851F50-11FA-4E37-9BBC-FD2E4FDC1ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4568527248a46e0aa27881d094669b782a4ae1","datavalue":{"value":"Kripke-Hintikka models","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$F843F30E-CA9C-4B2D-BAEA-D01785692971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$881822AC-6BC2-417C-86D7-87D8B3925AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bac2afaa984ed48a1c12feb2dfdb97cb43195c39","datavalue":{"value":"rules in normal reduced form","type":"string"},"datatype":"string"},"type":"statement","id":"Q833736$B468B501-E0B2-4322-83F3-2CC40B4D0538","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$796079EA-6FC5-4544-9BE8-DD0E1F119125","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":"Q833736$0CDC7E58-077B-428E-BD36-D1AC5CF40EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e2017eea2d9817a8cb753e449bc6c84b62694a1","datavalue":{"value":"https://doi.org/10.1016/j.ins.2008.12.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q833736$10B077CA-F0D5-4ED2-88A5-ADCEFA0EA27F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3405e32c85c2543048a3da34abcf0044d8b713f5","datavalue":{"value":"W2016586936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833736$D36CA9FF-39C4-4109-BDF0-53357D44EE63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$8C4AD50C-0A12-41B3-AF4B-CD6DD5AE4330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e040be53b9dc937b6cf4f3520d5157b0bb094da","datavalue":{"value":{"entity-type":"item","numeric-id":859953,"id":"Q859953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$E990CC5E-1E10-4461-A1C1-C6A8E46F933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$E41E9700-C9C6-47EA-94CF-9CA55002E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3455c70710fdadc0c301310aa442cf3427d386","datavalue":{"value":{"entity-type":"item","numeric-id":3503622,"id":"Q3503622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$CB77BF98-B13E-4111-A26A-59968CD8EA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$DB55E0CB-28FB-425E-BEAE-1F44D9837525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a779749084eeb1902e9e7e0a7db871ee30a8e98","datavalue":{"value":{"entity-type":"item","numeric-id":4475588,"id":"Q4475588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$669970DB-8B67-4376-881B-37699D127C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$2FFD68F0-BB06-498B-B9AB-99C05D2D8D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$2EEFD586-E64F-4473-8FE4-765264591553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1efaad4e5b894c7dcab221b7b76136560b6eec0","datavalue":{"value":{"entity-type":"item","numeric-id":2765566,"id":"Q2765566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$10D3883B-4E7A-40E5-B17D-83A57ECA600C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba236a8376cd4ee56b3c550e2f3343b551e3003","datavalue":{"value":{"entity-type":"item","numeric-id":3374097,"id":"Q3374097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$C836A47E-9882-46E4-8725-4FECB0818E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$94DAFBA0-BABF-402F-BED3-11CF1132262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b2c29da6a19e8e7df88f942078742c98cab3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3434706,"id":"Q3434706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$48BB5FB9-EBE0-4FDB-B86A-82F13C9B31CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f056d135c98edf9a27b71e24a51d1d589ffa40c","datavalue":{"value":{"entity-type":"item","numeric-id":929294,"id":"Q929294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$F3531CAB-0D7E-4FC0-A310-9D680DC279C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$6BDC86F1-D3F4-4E31-BB62-CEBE8632170C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff03abe19d3b6a2255b9bcbe255e192b276c912d","datavalue":{"value":{"entity-type":"item","numeric-id":3771666,"id":"Q3771666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$930409B5-171C-4674-8BE9-2A7667195112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$93D9D517-7308-4469-B596-8037B6E7B937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a368ac3b97caba026d61d63673b66abca6c290","datavalue":{"value":{"entity-type":"item","numeric-id":1837679,"id":"Q1837679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833736$DB938080-5F85-4935-A410-05DC38B1283C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f39152933289bbdf4ecd7705d45e35fa1d1829a","datavalue":{"value":"10.1016/J.INS.2008.12.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833736$E2BA1ACE-3318-4778-B8F7-93890EEBDF8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef929fea9841c8134dfe5a88ef8c8581c3f7a29","datavalue":{"value":{"entity-type":"item","numeric-id":5477459,"id":"Q5477459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd20579a221dd18c39c5ad27f8ef5065735a0b12","datavalue":{"value":{"amount":"+0.7066047191619873","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":"Q833736$970D6815-179A-41AA-8EE0-D9EA1332CEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0207135452015841b065a4df3971df550695e51e","datavalue":{"value":{"entity-type":"item","numeric-id":5096273,"id":"Q5096273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b233b09300d4c2b0ba7f3545738d7a7897b8250f","datavalue":{"value":{"amount":"+0.7038924098014832","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":"Q833736$0DD56064-3D75-4649-BEC7-545E4DE4D22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe10b19e8b7698546e087026b7127fdb46677c8","datavalue":{"value":{"entity-type":"item","numeric-id":1288174,"id":"Q1288174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26097f249a5c1e5818810b409602bf36a9030cf9","datavalue":{"value":{"amount":"+0.7008216977119446","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":"Q833736$055D2D99-753F-41B7-9333-6437733F6359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958b1abf97932ff1d8b8717fd14c1e63df61cc89","datavalue":{"value":{"entity-type":"item","numeric-id":276034,"id":"Q276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b16aa37b73a56050e077a3e851c71d927010815","datavalue":{"value":{"amount":"+0.6988264322280884","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":"Q833736$75190DB9-6F58-49B8-A25E-5A4F64483BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3608314a0661e54f0bb1b2bef0f16012a5444c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3643317,"id":"Q3643317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4434216002b4b685c327793976011bee7c657b39","datavalue":{"value":{"amount":"+0.6942813992500305","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":"Q833736$481BDBCF-36CC-4B32-A969-37E82C9B79D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_of_knowledge_and_discovery_via_interacting_agents_--_decision_algorithm_for_true_and_satisfiable_statements"}}}}}