{"entities":{"Q4826784":{"pageid":6856364,"ns":120,"title":"Item:Q4826784","lastrevid":74944665,"modified":"2026-04-15T01:10:49Z","type":"item","id":"Q4826784","labels":{"en":{"language":"en","value":"Design of Logic\u2010based Intelligent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2115413"}},"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":"Q4826784$40CD8EDC-5F4B-476C-A4E7-EE2E7C83DA77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62c00d7efb0b8a2e3621b4dbea3fa76b6002bd76","datavalue":{"value":{"text":"Design of Logic\u2010based Intelligent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4826784$64908CF2-B918-41B9-B49D-9921A2E0DC0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f7528c2d1171fe8b2d00799eb903a1de2eaeb60","datavalue":{"value":"1075.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$2F53E9BD-C51C-4D4A-8BA6-747D848FC55E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26134e6c86af9ee05ef9f82b3dffa3bea25cacd6","datavalue":{"value":"10.1002/0471723940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$3260B05B-831E-4BF5-A485-AF7EB704C8B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34155b6cc89baaa4c39d220f89dc2297bed564ec","datavalue":{"value":{"time":"+2004-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4826784$16EE7C7C-89D2-4472-B808-7F142C46DFEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$81C70908-1E37-4ECB-8FCC-4EDE9A63339B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$228861BD-F330-4303-9260-3D91C03EE10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$FE8420CF-27FD-43D9-A7D4-84C9699505F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bb667bc3352b2e0535446ea815e2e7bec8e061f","datavalue":{"value":"2115413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$6550165B-A6E6-43F3-86BB-8A632DACA17C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b891b61edcd5255d8268af7126fd2ddf7cbd988","datavalue":{"value":"logic-based intelligent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$6B3C13F0-5BD8-47B7-A9A5-E0FB36FE24EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$9D1E463E-8F10-4C6C-B431-874A106A44FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$77AF886B-E682-4CBA-AF7D-1D90D42F7BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$F98BE9B9-0F11-4348-BABD-5C3DFADC2444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$15E615BB-C837-4532-A8A8-8CFAFF49B209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$71DD3E74-BEB7-489B-842C-971C7C54536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$9A295DB5-407F-41CC-8DF3-6400D0838E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$A6310FA0-6305-4885-BC13-7982A1229F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$AC15278B-7385-42FA-BD9E-59DE6C135142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$296B2F27-0358-48E8-9EA2-676F0ECCD97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9043c7a4b3d72754e6297ab4230a16aefcc687","datavalue":{"value":"nonmonotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$A5DBB7FE-0318-4826-A551-9DB7C0C7D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$757387C2-F51D-4734-A5C3-C1296AF513D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$FEAD5EA0-CEAF-46B4-A9BA-4BCB024F9A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4826784$E2C750C7-7970-42B8-BC6B-A2785CCBD1E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcefb4747bbb5a6ab761f4e4fe82c408184c2849","datavalue":{"value":{"entity-type":"item","numeric-id":1386418,"id":"Q1386418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4826784$0A1DD132-6AB6-4ED6-843E-593C0E42BCBA","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":"Q4826784$4CA17ABC-68A7-42E5-BFC7-0483E7DD12C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a68ef9d2e3a68c1006b36e98b45c727dfc936c5","datavalue":{"value":"https://doi.org/10.1002/0471723940","type":"string"},"datatype":"url"},"type":"statement","id":"Q4826784$E51ACBEF-D81F-46FF-A1C6-B29F2E6885D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc5b2036b5a85c225a0a019243a5a4266aba320e","datavalue":{"value":"W2494756799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4826784$655D7926-2DD8-4CBA-98BD-9C240943B37D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648e843f6ba2460bfad679dba1cab93fe6df44f7","datavalue":{"value":{"entity-type":"item","numeric-id":4705311,"id":"Q4705311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9804a23657b7582c351b177023119cb601729d","datavalue":{"value":{"amount":"+0.8165770769119263","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":"Q4826784$809DEB23-7AD2-4356-9547-CCCE7F9B6A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53df82030396a58aeacb17ff2ca466c9980c325b","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7793af92ef9c4a230b836976d412347668c9afc8","datavalue":{"value":{"amount":"+0.8161066174507141","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":"Q4826784$C8244CC2-CDC9-4D10-990A-C42CA4875364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba8a57bc9620007504c125efeb4b8911d4b2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3399426,"id":"Q3399426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1973ef99765821a474999f8b4f1fec7dff20d4a4","datavalue":{"value":{"amount":"+0.8153666853904724","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":"Q4826784$FC341851-AA6F-4B98-8F60-EB2DDEC25845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e583181a2765fba372da0ac350c24cae912f430","datavalue":{"value":{"entity-type":"item","numeric-id":5498680,"id":"Q5498680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763103c7c93deade5aac36dc39825a1aec1834b2","datavalue":{"value":{"amount":"+0.8108614683151245","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":"Q4826784$91E7F1DD-144D-4B41-8038-32B83FC2E4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510b265ea165e0d6552a3dd321cab1d3b9a34f43","datavalue":{"value":{"entity-type":"item","numeric-id":4315881,"id":"Q4315881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8fddd79254b3fee1b5ea2f8830e0583626d179","datavalue":{"value":{"amount":"+0.7957890033721924","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":"Q4826784$0A5E1CE2-9B62-46AF-8E31-85F7BAA16639","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design of Logic\u2010based Intelligent Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_of_Logic%E2%80%90based_Intelligent_Systems"}}}}}