{"entities":{"Q2640590":{"pageid":2651333,"ns":120,"title":"Item:Q2640590","lastrevid":79437134,"modified":"2026-05-06T13:54:24Z","type":"item","id":"Q2640590","labels":{"en":{"language":"en","value":"A decidable first-order logic for knowledge representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187778"}},"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":"Q2640590$F14B5EB0-AA85-4772-9DD8-B08FEB4DD036","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea51e580b3263def2d2683ba3a9adbeb5754ba09","datavalue":{"value":{"text":"A decidable first-order logic for knowledge representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2640590$03F2FC8A-5234-47A7-BF24-113A0841DEC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55cd21350d6498952386b26130506de4f6e50512","datavalue":{"value":"0721.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$125C88FC-5095-4EB1-8B09-98AD1F82DFA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2508238a3d8a3db12a349fc86e10dd36347a72bb","datavalue":{"value":"10.1007/BF00244354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$EAEE305F-FE53-4013-BDCC-DD09BF46ADEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640590$F32D5E1F-01CD-41DF-9887-D87F1B35541C","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":"Q2640590$8303514E-2712-412F-9BF4-CA702175CDE0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"325d3600013e34dc7a613a238a1486b88c17650c","datavalue":{"value":"A decidable variant of first-order relevance logic is developed. Some properties of this logic are stated and an algorithm for computing t- entailment is derived. An axiomatization which is complete for t- entailment between formulae in prenex normal form is given. The logic provides an alternative semantics for knowledge representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640590$65FDEE51-9D2A-4BC1-BAAD-DC9423826FD2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640590$F3BA63DF-098E-48D8-BAAC-066C62A9A939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$325FB514-CC12-4967-BC79-B84D83CD3B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$9D47B9A9-811A-4395-A92B-CEE4758FF77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$C47447DC-5950-4248-976A-4F67445E2B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$6F9BAB83-E3CC-4CCA-8627-E54400E0B545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc469eca4c1d76efa4751d7057a97c2c485e5ce","datavalue":{"value":"4187778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$676DCF6F-2441-47E9-A8F4-145B989F553D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640590$77B3F7D1-08B7-4D85-B09C-BCC48BB42455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640590$BF9F2231-AAA5-4445-8BED-C67978093613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0465ccc7490eb4ab40faee7fa8a78b3c3ef2ab","datavalue":{"value":"t-entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640590$760B3A85-6449-4BDF-9CA5-EE0925CB859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640590$77F60B49-88FC-4CA5-BF66-72593A4971B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2640590$C77DF04B-8CB1-468C-B554-4246A38C6183","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ead71bb496cbcb553019c9478b7d6a0b70e1c59","datavalue":{"value":{"entity-type":"item","numeric-id":1115427,"id":"Q1115427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2640590$A6DD38BE-91A6-484C-8338-260C15B7E0E0","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":"Q2640590$F397D4D9-094A-440D-B6C8-799703C4B5DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03060b9bc80e60393cfa31fce9e2986ae2fcc099","datavalue":{"value":"https://doi.org/10.1007/bf00244354","type":"string"},"datatype":"url"},"type":"statement","id":"Q2640590$74BE5AE3-5A4D-4407-8635-02EA02991CB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70ad7c5ca55856453e5bcef107ce4c974bdd8b9c","datavalue":{"value":"W2053017611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2640590$5021DAAA-15B6-49D8-95A6-C46190733C31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feedeae8e8b7dcd5a596c16b74864daf86e1cea9","datavalue":{"value":{"entity-type":"item","numeric-id":5740451,"id":"Q5740451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e453fe72bac268649710947fcf598ce1767362da","datavalue":{"value":{"amount":"+0.922145426273346","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":"Q2640590$F2477085-5E33-45C4-859B-8793379B879D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8310effb216b0555e155e737967aca724f0267","datavalue":{"value":{"entity-type":"item","numeric-id":4287505,"id":"Q4287505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abba49ec87891cf0aa7f339cc11258a1955c352","datavalue":{"value":{"amount":"+0.7974131107330322","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":"Q2640590$9BB799B5-7E62-4C52-B4B6-470A50905501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae59022c747f3171d4478304a839013d6dcb70b","datavalue":{"value":{"entity-type":"item","numeric-id":4941839,"id":"Q4941839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1462e2c0b2c25ace563b1471d4beea03ed110d1","datavalue":{"value":{"amount":"+0.796505331993103","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":"Q2640590$715B1088-C900-4BAA-B7BE-F510BF7E0FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d322f1ef8e2bb800123c90bd204f122a79d397","datavalue":{"value":{"entity-type":"item","numeric-id":1343837,"id":"Q1343837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51571effb07d716970bb7f4efe3ab676586cdd8d","datavalue":{"value":{"amount":"+0.7667239904403687","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":"Q2640590$02807A25-3156-47BB-AD9D-38B98C307306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fa723cfbf711b3765e2dc1caa0e2f527e4a58d","datavalue":{"value":{"entity-type":"item","numeric-id":4018075,"id":"Q4018075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45382b129844150da341189b102396ebe6613105","datavalue":{"value":{"amount":"+0.7609574198722839","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":"Q2640590$A00F3FA9-0899-41FC-B06A-FB060198445E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidable first-order logic for knowledge representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidable_first-order_logic_for_knowledge_representation"}}}}}