{"entities":{"Q4283240":{"pageid":6312841,"ns":120,"title":"Item:Q4283240","lastrevid":47232028,"modified":"2026-01-01T02:09:37Z","type":"item","id":"Q4283240","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 515737"}},"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":"Q4283240$2257F946-5334-42A3-91A2-98AE09A27945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a15140ae7d144015ce4e626c10b4206ba7bb72d","datavalue":{"value":"0792.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$E00925F7-936E-42EB-BCD5-C70BD6305295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283240$53205157-949C-40BA-9BA8-7A832A89F9AA","rank":"normal"},{"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":"Q4283240$69FBA323-4071-4FE3-948A-E6ACA03F5B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcf8c05223362cb6bd6c445f68f31dd9aee8436e","datavalue":{"value":{"time":"+1994-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4283240$E3F03950-39A7-4811-AF59-69A189683CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$DE310312-61D3-415E-93EB-B6B79AC93ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$D92DA113-F318-47BE-8D55-1D72746853AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$6594D74D-E196-44DF-8865-1AE09AC4C4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$1367D8B0-96E5-4F7B-B56B-6E9CD9F2958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$7706AEEC-F99D-4BF3-A50E-50A3578702FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"888bda86a68c6e68d437b10e3291f5ea043ed1d7","datavalue":{"value":"515737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283240$9E9B9B33-2B70-4D02-8F1C-5BE45C31602F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$D90730D3-9ECE-4F97-9CF2-5FD92ABA2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74abb85b0aaf1ea76b4f71b25504110f2ccaf4e9","datavalue":{"value":"polynomial-time computable queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$F9D46609-945D-4394-B5F9-52750784476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96d5624289d81bf6edb38f8d4daab419cb438b2","datavalue":{"value":"logical languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$53DD34D8-9843-448E-AEE0-7B8F3F37E156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"885e23605419a402acf4921aed903655bdad6f56","datavalue":{"value":"fixpoint logic with counting terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$68E41A28-7C5C-43D1-9E92-9B058FA1EC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$91F38D9F-65A7-4D4B-9105-873B28833CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fedcf07dc9ea8ea1ff0cb41317d81239cd9f3390","datavalue":{"value":"inductive definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$A035556D-6888-4E3E-A61F-CBFFE43969DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8424a78e89db147c389dfa5f7d120b67ba0d9c","datavalue":{"value":"database query language Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$230C75FD-D133-4BE2-AB57-A5784F8C9776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283240$269571D6-2B15-43E4-8062-139A08B9DC71","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":"Q4283240$F2A55FAB-5ECF-45E3-B6B3-4E65F4AD1A9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c0d73896f4f6d517d02d2864b07f5d2422ede0","datavalue":{"value":{"amount":"+0.8667626976966858","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":"Q4283240$52D82FEE-998E-45D8-AC8B-C47AC2169050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62267cc504c4f0be602515d1d6ae79b5d6a84ffa","datavalue":{"value":{"entity-type":"item","numeric-id":672336,"id":"Q672336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c0d73896f4f6d517d02d2864b07f5d2422ede0","datavalue":{"value":{"amount":"+0.8667626976966858","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":"Q4283240$1CAED7AE-E671-443D-A5DB-D61F80CF5755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebdba5fed38aaadacb66604db6f0be16390a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4508261,"id":"Q4508261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515cedb2095e843cf4c8dc1c0e7ed52d32ea00d3","datavalue":{"value":{"amount":"+0.8515678644180298","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":"Q4283240$1483DE04-B308-4545-B8F3-446376D084DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a8d1442ae03d1ec47b8d2efd1e60140c7f71bf","datavalue":{"value":{"entity-type":"item","numeric-id":5738897,"id":"Q5738897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515cedb2095e843cf4c8dc1c0e7ed52d32ea00d3","datavalue":{"value":{"amount":"+0.8515678644180298","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":"Q4283240$C22935EB-53E8-4630-8D77-F8F541891B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1780bef34d537fc68268e2441823ba61963b300","datavalue":{"value":{"amount":"+0.8385217785835266","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":"Q4283240$5C394E66-B549-4309-B35E-E7FD80144403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4283240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4283240"}}}}}