{"entities":{"Q4820464":{"pageid":6850044,"ns":120,"title":"Item:Q4820464","lastrevid":74751147,"modified":"2026-04-15T00:10:09Z","type":"item","id":"Q4820464","labels":{"en":{"language":"en","value":"Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108054"}},"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":"Q4820464$819A0263-3BBA-4135-8863-B5F6DDEA7B76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"976dbd0bbcc580773deabea1b02c3c02ef4adcdf","datavalue":{"value":{"text":"Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820464$C5F6DD7D-C4EA-4E1C-BB26-05C8DDC85A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"339eee250d4d4a5748cbfd43f1b2edd6413b7155","datavalue":{"value":"1101.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$4979FC36-8868-40E8-8A32-DD9E0FB1A1AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820464$8CF38956-33D6-4773-AC44-2304DCF6AC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820464$E2D37ED1-F80A-4326-AF18-19E34D42B3EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4820464$368D5483-B543-4A42-AD3D-A96663050408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$4CB03881-1772-4CFA-BDCA-15E2CAD2A563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$4EAE76DC-22D7-49C3-B435-5E99B18C4547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$30142E33-7703-4AFC-8016-93C2285A7C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"082f687355bd272a89149bb480ed8a6ab05c695b","datavalue":{"value":"2108054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$57D3D226-05F0-40DD-A68E-FC04FA93345D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971ee52cc98a88e4d13233657f8338e7e6b622d","datavalue":{"value":"Automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820464$D9E20AA3-07ED-4B04-BFC5-743068ED1DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820464$8FB8254E-1F9A-4ACD-95C2-4967A17B7100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabacb2bd9bfa003ffe87c04d7c5daaff1d4875c","datavalue":{"value":"approximate reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820464$A4D8AB26-F290-4F8D-B728-0ED237A18633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362099ff662f4c22f3c2e38f780612908abfe83b","datavalue":{"value":"limited reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820464$26550EBF-6B36-40D2-BA70-BE5AB4A72411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820464$021D69C0-EBB2-41BB-9567-A3ECFFFAC496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820464$ACFBEB28-C8C3-4FE4-BE0C-7BC067350CF3","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":"Q4820464$9A6A5BF6-526E-4942-83D0-07E90A86E287","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"597a0caf9d2c5e102d028536d7f4eb9df6ca8f43","datavalue":{"value":"https://doi.org/10.1093/logcom/14.2.179","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820464$1F9C7848-48EF-4AE4-97AD-FC585009E207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbfba36a0ec1bf2cbefc4ceb3b428f7676393cf2","datavalue":{"value":"W1984806351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$70A5133D-2DA2-49C3-A93A-141C6BF6D821","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc1f66124c7bfd7ebe018cd2404f2e4c8bae3851","datavalue":{"value":"10.1093/LOGCOM/14.2.179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820464$7AF31357-CA75-4A43-B116-C1488C0990F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820464$3E40EA48-29A7-4D4A-97B3-7C5E8F49828D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bd662b571ad447d608875f2273239f2a2f374c","datavalue":{"value":{"entity-type":"item","numeric-id":4924531,"id":"Q4924531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb4a0a5e7e2f594835602de59b666aa29bd7541","datavalue":{"value":{"amount":"+0.8374431133270264","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":"Q4820464$2FDC9A7D-7731-44D5-8260-EFC8DDD0B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414a2ff90cf917e47f1d0e2bd387392b6e95edca","datavalue":{"value":{"entity-type":"item","numeric-id":2369011,"id":"Q2369011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3bfae3702dc43358a38fd25d471b9c2e781f16","datavalue":{"value":{"amount":"+0.8288310766220093","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":"Q4820464$0465F949-EE3E-4F91-B5F0-CF2FDC263E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f239f7d79abaf7effc25a1abd34860c67d701bd2","datavalue":{"value":{"entity-type":"item","numeric-id":1855213,"id":"Q1855213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aa79b0e39ccc8402448a9ccc3b02fe73e39c7a","datavalue":{"value":{"amount":"+0.7696784138679504","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":"Q4820464$DCC57252-25CA-4DC0-96FC-EDB38AC07979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63b4ef5e4f83b1b19e3bea8926a8219a7535fda","datavalue":{"value":{"entity-type":"item","numeric-id":4945160,"id":"Q4945160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aa79b0e39ccc8402448a9ccc3b02fe73e39c7a","datavalue":{"value":{"amount":"+0.7696784138679504","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":"Q4820464$A3740890-7E8E-436A-A5C8-B3BC68E8820B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18d733589ad4eb9af735fe33ae259d87d61bc9c","datavalue":{"value":{"entity-type":"item","numeric-id":4783313,"id":"Q4783313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3d345bad37e2e0d7732c96e148d94bcf679bc7","datavalue":{"value":{"amount":"+0.7671049237251282","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":"Q4820464$6A4F1B71-D8BD-4381-B37D-B27C441426A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_and_Limited_Reasoning:_Semantics,_Proof_Theory,_Expressivity_and_Control"}}}}}