{"entities":{"Q490672":{"pageid":492439,"ns":120,"title":"Item:Q490672","lastrevid":62230875,"modified":"2026-04-11T04:40:05Z","type":"item","id":"Q490672","labels":{"en":{"language":"en","value":"Expressive completeness through logically tractable models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476488"}},"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":"Q490672$1A75F311-D463-48BC-B424-38ADB4039287","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0e9b311d89b981c123792ec5e25c7e4c0552a62","datavalue":{"value":{"text":"Expressive completeness through logically tractable models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490672$E9E07071-3205-4678-B072-B94C947AC6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53e2e79490c5ef91791f2054388fc5add2ece9d2","datavalue":{"value":"1320.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$944B37EF-10AF-4118-9536-85D3B3D82CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490672$89828225-C689-413D-A0C6-5FB5E01A0283","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490672$190ED59A-026C-4967-BF1B-B8998495C7BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q490672$9739C9B1-F6BA-4F83-B263-ABCDE6F19C99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$2DA7F6D2-E2DA-4B3A-BA7F-7ABBF4A23804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$F9C84464-89B6-40D7-8180-02383093E9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$98061E0D-42D2-4B4D-B3BD-8BFF9E8B3FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$BF5A8BDB-C380-4F3A-AB41-378288784466","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d14a8e5df50d746ae80a82c99995373c717fedd7","datavalue":{"value":"6476488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$E9085182-810F-4486-8EAD-313DCCE0EC1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q490672$7DE7D988-C13A-4E67-B60D-962C8F559A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q490672$D044F39A-5FBA-4EDF-9B02-FCBC2083F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a61ae933ec27f1466f7c7fbee93644abaeec54e","datavalue":{"value":"preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q490672$D995A8BA-7573-4102-876D-353A55BD86A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q490672$7B5B84EF-A8C1-462E-B536-B8EB3795C072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q490672$358C51D5-6375-4039-88BE-33FD9E3A3937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fadeb303585ca123830aa0297bf6032fec1818b","datavalue":{"value":"guarded logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q490672$1349B8FF-926D-4FC1-A2BC-4D58FFC7CCF1","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":"Q490672$FFB19843-F998-47A6-95B5-11B4F8360F3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e542d9aaab303769918479d886375976a398548d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.06.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q490672$9549D909-F4D6-4172-9B62-C488C2511523","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7debcad4f5dc34ba9538fcf35343816c0d088018","datavalue":{"value":"W2035778661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$0E369C7F-70DA-4F99-8061-3701D649CA15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"497eaf40d3efa2a6149e18803afb852f9d13d544","datavalue":{"value":"10.1016/J.APAL.2013.06.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490672$D3AF5344-3883-415F-8B70-3481267873F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6af2e0ad088c63965c07342468a68da1f272f0","datavalue":{"value":{"entity-type":"item","numeric-id":3172386,"id":"Q3172386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc26047ec52d1b9ce8f080d23e1c73d71bbab16","datavalue":{"value":{"amount":"+0.8106226325035095","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":"Q490672$8F42ACE1-3BD4-4111-9CE0-BFD8D3EFD2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ed3e99ef970c8df23234f63fa1a85c26828e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21fb5905f5e92f645b6ae7c5df5e91201f5d477","datavalue":{"value":{"amount":"+0.6831496357917786","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":"Q490672$5F41C574-418F-4B35-940E-14749C2E8F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36300110f1866871bf8c9d89d69bf0a1557a786c","datavalue":{"value":{"entity-type":"item","numeric-id":2446549,"id":"Q2446549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bfdc154c91b2029358cf613638bd6bf800d4bf","datavalue":{"value":{"amount":"+0.6795843243598938","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":"Q490672$04E67CA6-E055-4992-A168-CC2F200795A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6b8048bec0e90e2b75306007f9e388c74a4bf5","datavalue":{"value":{"amount":"+0.6743525862693787","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":"Q490672$55F2DB29-B297-4453-BEAE-5EB1AF704F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e590642790d6b9884ec6c573cef4baee6a1236b8","datavalue":{"value":{"entity-type":"item","numeric-id":5249664,"id":"Q5249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6b8048bec0e90e2b75306007f9e388c74a4bf5","datavalue":{"value":{"amount":"+0.6743525862693787","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":"Q490672$51744F76-7051-4C52-AE6D-DD50FD06992A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive completeness through logically tractable models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_completeness_through_logically_tractable_models"}}}}}