{"entities":{"Q5740451":{"pageid":7770003,"ns":120,"title":"Item:Q5740451","lastrevid":52581497,"modified":"2026-01-23T00:58:49Z","type":"item","id":"Q5740451","labels":{"en":{"language":"en","value":"A decidable first-order logic for knowledge representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606380"}},"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":"Q5740451$EC38F51C-850A-49DF-B128-FEF2FBBE7010","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad899b5b444860256c9baa58dd75efa01a47d846","datavalue":{"value":"1341.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740451$EB002214-E0FE-4FBE-B0E2-92DDBBF3E0A8","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":"Q5740451$5322E672-4D56-41E5-AE53-B065BF8981B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f68c40e94bd0774ffce1c64b5329d163d095033","datavalue":{"value":{"time":"+2016-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740451$10B02BE3-6E53-42CB-AAC9-6A64F6DE0A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740451$FDC77FB0-5479-4A4B-91FA-0446403DF152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740451$0E2A6A90-115D-464E-8743-AE613240CAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740451$BB913C03-89AC-4952-A975-9A1F35596D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740451$1F680E3E-C72A-4CED-A150-16DB37885888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bca3213f8872badfa1143094b809cd92547a4c6","datavalue":{"value":"6606380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740451$C5EDF647-9C10-4EB7-BE4D-ECF2F167A03A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4cfad4b936208ac5a1b4fde821d4619f8b73ea","datavalue":{"value":"decidable first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740451$BA3F7685-9837-4A19-8277-918D084E893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740451$61D543B5-C0B6-4E53-9944-F60283EF6697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5740451$F47E53D4-D4F3-4253-8A81-4E6A29DC8C11","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":"Q5740451$66D9BBBD-27A9-4709-A370-92D53E77131D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204e4fa18eb30dddc7326210d05b1f9ad5eede81","datavalue":{"value":{"entity-type":"item","numeric-id":2640590,"id":"Q2640590"},"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":"Q5740451$15269D6C-529B-48B5-A1D5-EBF6873B4917","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":"523fc73e15ff7c85634e054ed38c0e914fbda2a3","datavalue":{"value":{"amount":"+0.8131380081176758","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":"Q5740451$174756F9-CC28-4724-B74F-A1D5E347BD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df768e58ecdf0cd201eaa99dbc56d2143a04b2eb","datavalue":{"value":{"amount":"+0.8121846914291382","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":"Q5740451$0FFAFE49-E0E3-49E2-8714-5DCDE02E51EE","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":"16f4264a600c7e5a39ece12c5c1a476dec0bfe51","datavalue":{"value":{"amount":"+0.7769663333892822","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":"Q5740451$50922F4E-9CFE-4161-A9AF-899B396474CE","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":"5c5280956c33f67cf413f9025d8df484da8c5f96","datavalue":{"value":{"amount":"+0.7413185834884644","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":"Q5740451$96B8F761-6208-4BE8-9E52-35A9D6FC5CBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740451"}}}}}