{"entities":{"Q2369013":{"pageid":2379756,"ns":120,"title":"Item:Q2369013","lastrevid":49821766,"modified":"2026-01-11T01:42:02Z","type":"item","id":"Q2369013","labels":{"en":{"language":"en","value":"Computing queries with higher-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020412"}},"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":"Q2369013$64208F72-2E60-4938-A115-3784FE243597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8e3d00b95087424ee05bf92a44e582fdc28d389","datavalue":{"value":{"text":"Computing queries with higher-order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369013$17D369DD-E5AA-413A-A598-B3AEE735BEB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4c68b2aea3680f0e8f2703e72b3dcafa744e9cf","datavalue":{"value":"1088.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$49FD70F6-BB94-4D63-9811-D59829FD3C54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$B485ED96-E68B-4013-8A5D-3EDDBF16227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$FDC1FE07-2D5E-407D-A286-05FBED5BE314","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$BB8F1F32-1E7D-4407-B73E-963B5004D55F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369013$1FDFA77D-1A1D-4130-9AE0-F790FEF95D8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$914A3C4D-182E-4863-A872-D6534E2ECA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$5239025C-1270-4514-97A4-3A8A40E34158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$C3F88523-519B-4443-A27C-4D6D6693E563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d5a1e9c14a89d72222b22c773a9039456e598e5","datavalue":{"value":"5020412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$84F6F76C-F2C7-4DC9-8C86-8AE9CD803E10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54379c30fc584df09e946297e3f1aa3f31e5d02","datavalue":{"value":"Higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369013$01EAB44D-AB56-45EC-9AA9-FEE52DEACDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f5939a03730f2cd62af91dad3a0718a27a1882","datavalue":{"value":"Descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369013$DB808073-F287-40BF-8607-E1627856FDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c4536b8e3ebcad4f5aafaff167daaf19baaffe","datavalue":{"value":"Complete languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369013$7BE0ADDB-B1A8-4937-AC26-7F6C8B2CD8B7","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":"Q2369013$A25A0733-C019-48EB-B859-30A5392BD85A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ed5942ae85c4de865a4c66705a1362985e8d9d1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369013$C4D7C89E-BDB6-446E-ACE6-6F0A9C0BD8C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"011160aba9b89ababdeb657ba6c9de1fbf942c9b","datavalue":{"value":"W2022519515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$D3F5D51F-038E-4C96-93D3-F5D1E40A3670","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9dea39d1205b4ab91072504969007ea29354c93","datavalue":{"value":"Q55954612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$F02B6F74-FA75-43F5-A690-391CB110BE36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$9EDA60DB-9AC4-4E0E-89C5-DE9EF4F2AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0a936d29cdb004405e9ceab9ae0698c1fa987d","datavalue":{"value":{"entity-type":"item","numeric-id":4321931,"id":"Q4321931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$AF7E3577-A761-4F33-A6C2-71EA39A8442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$D4A1A6D8-ABA7-42AC-82CE-35D78327711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e90f9104ea022c7422408156c4aea89597a34a","datavalue":{"value":{"entity-type":"item","numeric-id":3686043,"id":"Q3686043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$D081DA7E-3901-4FF6-A127-0007DF2ACD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$F0241026-2A06-40B8-B7B0-C0D60AD4806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$351086E6-B7AE-4667-B8CA-FE44261949B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b87d42ea44205b35a73a445f9bdd14d49dc880a","datavalue":{"value":{"entity-type":"item","numeric-id":1383163,"id":"Q1383163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$B6940C59-3C57-4E3C-97C4-A8CD4B068B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$FDB5869A-06E7-4293-8244-512E06E577AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79140950bda69b5e1f950770dc36123ffbcf2ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4924534,"id":"Q4924534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$E3F139D9-0A2E-4966-9093-DB5A9ADB266C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a749b6395f76d2badad36cd1391ea5621fdc5da","datavalue":{"value":{"entity-type":"item","numeric-id":1176290,"id":"Q1176290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$690F244D-5845-44B6-A8BA-43D84C40DCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$13F02364-D751-41EC-94D9-48F8F7FA7A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c2982328353caec4ead3ae3704c1d005446c4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5311718,"id":"Q5311718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$E185ECCA-96FC-44FF-A09A-B2B61FBB7295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d1af62c4bde8568f5a917f4705c22bb6eefaf1","datavalue":{"value":{"entity-type":"item","numeric-id":3798297,"id":"Q3798297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$7FCA82BD-DA89-40BE-965F-133A3890B75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ff9c0bc839db785d823b1defade22b16954cd","datavalue":{"value":{"entity-type":"item","numeric-id":1123616,"id":"Q1123616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$CB6777E9-1EE0-475F-BD95-039C313408BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$1E224835-BA5C-4DE4-B692-8B9ABAD29683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$0132E13C-BF24-4369-BFE9-51EF1A2493E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7674e1ecf7ca090abb78b1fa0171788df179c7","datavalue":{"value":{"entity-type":"item","numeric-id":5936000,"id":"Q5936000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369013$7E0D375A-CF08-4FF1-9EF3-9D7C81CBC070","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"caa8ae44421a3b2b8f7fcc0db3a369b075d15ed6","datavalue":{"value":"journals/tcs/HellaT06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$79AAD6BD-3B09-4FD1-B985-AB5DD7B80E54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f3f328c960c38f658eac33733eb237d22de9b17","datavalue":{"value":"10.1016/J.TCS.2006.01.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369013$620B02B2-D3C1-44FC-9BF3-18696B31F40F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a60d92e4c9a492bd42c53856e61ea6bc1f0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4924534,"id":"Q4924534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab67615bb56b1179a0a69962117692080e2e5127","datavalue":{"value":{"amount":"+0.946908473968506","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":"Q2369013$A050D610-1C71-4C41-848B-F7CEC62A9008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a027f29b3a1e20aa7f2ad66f89128ad7aa90236d","datavalue":{"value":{"entity-type":"item","numeric-id":5898540,"id":"Q5898540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232187eb337730465382df1d2fa4b8974275fd71","datavalue":{"value":{"amount":"+0.798285186290741","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":"Q2369013$0CCA491E-7305-4E1E-8270-CCE343887298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc59ef207aec58be4d00920e4710ac6db0f4b29","datavalue":{"value":{"entity-type":"item","numeric-id":1685920,"id":"Q1685920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff5845285f3168b48b4ea25d3b8d4dc632dc298","datavalue":{"value":{"amount":"+0.7842563986778259","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":"Q2369013$5EBA13BF-7AE8-48C5-AEC8-2B6BB5CB6635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57b73c3db3cf23c482102be7af6f80746dd0335","datavalue":{"value":{"entity-type":"item","numeric-id":5108510,"id":"Q5108510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09498ca649f1199a546bb6617d0761e1172113ff","datavalue":{"value":{"amount":"+0.7781444787979126","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":"Q2369013$EC5E0337-C832-468E-9B21-8B3F850D81FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f5e786ada4ba23cb77cb07f80927a539a188ee","datavalue":{"value":{"entity-type":"item","numeric-id":5133477,"id":"Q5133477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabe76e5fcc6196c0fc2e048a060b34861751133","datavalue":{"value":{"amount":"+0.7634153962135315","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":"Q2369013$65B48DFB-8BFD-4AC3-BCE6-053FCED58F4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2369013"}}}}}