{"entities":{"Q5240216":{"pageid":7269784,"ns":120,"title":"Item:Q5240216","lastrevid":53576246,"modified":"2026-01-25T08:59:32Z","type":"item","id":"Q5240216","labels":{"en":{"language":"en","value":"A compositional typed higher-order logic with definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121948"}},"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":"Q5240216$81DE8626-8D01-4B7F-8E92-FB49878D5263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d8c2f672e9041d8aa96213e92710bf35e4bb89","datavalue":{"value":"1428.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$770AE7E1-CF99-4648-BA58-9FEEF956A7C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49f7ac5b6359c00a0aabca0cf8a6a4721eca1bc","datavalue":{"value":{"entity-type":"item","numeric-id":4593007,"id":"Q4593007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$6CA32349-4520-4519-8ACC-966DD7A052BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff420c33f6583661703789fa0e35ee2fc656e38b","datavalue":{"value":{"entity-type":"item","numeric-id":2317965,"id":"Q2317965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$B812EC50-9784-4BF7-ACAA-A8D59FC167C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$56B5B2B9-1302-4807-B913-68A6854DB5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10df364845edaced0a0bcab5763b691a5d68702d","datavalue":{"value":{"entity-type":"item","numeric-id":2317966,"id":"Q2317966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$1E992F65-361C-4B8F-B884-54DB562019CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$F46808F0-095D-46D0-8BEF-364AAB17DF44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240216$82A480D7-96B9-4789-9FC5-F168C7E1EEA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$07CE5D7C-7C64-47E2-B6E5-59859FDF0057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$5BC0EC12-67C6-4405-AC93-A4C6BE9B6C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$9F7C0FB0-83F2-42B6-A233-C67E6D790C11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e651f031281a29364b6254242e7ed6deb4f03cbb","datavalue":{"value":"7121948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$884A42F5-9D9C-499C-AB99-A73CEA0B9C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240216$4FF5CCF7-6D4B-49E7-A167-0D5364D3C8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240216$E588FD18-A49D-42EF-9F7D-F28426D33E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240216$4092FB1F-94E8-408E-9FD2-BBBDDBAA3489","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$2EE6731A-8415-4D56-8A53-261FDBD5B67F","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":"Q5240216$7F61864C-806D-4E94-87E9-03646A39E0FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$80E61FA7-4A81-4334-B619-B9806649F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6500975d14a24160d1b78508e88e0881024557e","datavalue":{"value":{"entity-type":"item","numeric-id":4593008,"id":"Q4593008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$D7C7228B-673A-4A3B-BF5E-E4D130AED279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$14817116-57EC-4605-B129-E9A13413ADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4118754afd2dcdc1ee0dad96a14d2a78b55da9c","datavalue":{"value":{"entity-type":"item","numeric-id":5277803,"id":"Q5277803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$0AA60FCF-804C-4E5C-BF47-008FF085BF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a3eed5c3aba65d71b71a3237daf2a24cb2deb9","datavalue":{"value":{"entity-type":"item","numeric-id":3999490,"id":"Q3999490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$0C7A40CE-CF16-490E-B9E7-DD1E3105D946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$D42B8925-A1B0-46E2-BD5F-96DFB1A794D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$6F78F16D-A680-4D75-B903-A56A4F243EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614e3105c95f588131b97303d8b492178b2a78f2","datavalue":{"value":{"entity-type":"item","numeric-id":2931266,"id":"Q2931266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$11A9799F-B748-4B0B-8EAD-E3101889A7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141c581a2fd7a21daa916bbc9c28595ab8ef54cf","datavalue":{"value":{"entity-type":"item","numeric-id":5741473,"id":"Q5741473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$356FA41A-5088-4152-9730-5DF1E158D112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f736763f9b8cfd359627a27ea17992bb6a6a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$D5C4B8FE-EC80-4D17-B8F3-60FCC401E809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c47e065860ee27108dcea52709bf9bae3f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":1247414,"id":"Q1247414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$79FBC59B-5143-418E-AF40-75F12236A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4498619c2bc3e2755fd4d57faf7f5cb107eb2341","datavalue":{"value":{"entity-type":"item","numeric-id":4940936,"id":"Q4940936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$44020D4D-6123-43D3-A76F-10096FBB069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78d9d3c8959961badfc69e08dbf8af92c65ad16","datavalue":{"value":{"entity-type":"item","numeric-id":4702576,"id":"Q4702576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$9D089B5E-1BF9-478B-BE39-217555F3751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$2557E37B-F88D-4042-BA0B-A7258A422908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$ADD98E34-91C8-412E-A628-BAE1F4F35C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02855c18933035a88630f09d03ce867cf8502ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3432854,"id":"Q3432854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$7E30EE75-E214-4F19-AA9A-43BC926BD847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e33c8e6986b8da420f9eeb670a3b73d0f1028e64","datavalue":{"value":{"entity-type":"item","numeric-id":5424890,"id":"Q5424890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$1A697D8E-66FA-4FFB-9586-4F11FE71956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7491ab4a7be556ef06f48788ee23bf754a6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3172899,"id":"Q3172899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$36C848EC-4D12-4F55-85E3-C37930F79A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf017d66b0575b0dbc13c77878741fadabd9cb","datavalue":{"value":{"entity-type":"item","numeric-id":4933335,"id":"Q4933335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240216$94184DCF-FA89-44BD-9E6D-D6E60856A8BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34490dba69cd854056ccc92df5f6dbdac8ab63a1","datavalue":{"value":"https://doi.org/10.4230/oasics.iclp.2016.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240216$7D988CD6-E4BB-40C0-A5FC-1B295CA36598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1228fcd32b3e1ed2e574ca8e46bcda72bb5a9f9f","datavalue":{"value":"W2591642135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$04E8E387-1412-4420-960F-EC639D55E847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43a654fb2ecacd2e80da9795afbea27bbdde64e6","datavalue":{"value":{"text":"A compositional typed higher-order logic with definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240216$36B4F7A2-5CCD-4823-BAB3-AFB9A4EA6E09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09c6e130b19dcfbcb935f5dee6b84d948908b9ec","datavalue":{"value":"10.4230/OASICS.ICLP.2016.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240216$64F18084-C5F4-415F-9DDB-4AE901F24ED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32afbc7bc0a276624836e177cce632de71840e5","datavalue":{"value":{"entity-type":"item","numeric-id":2016061,"id":"Q2016061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3615c528085a69b81b7b12db48dd0313e20601","datavalue":{"value":{"amount":"+0.7026212811470032","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":"Q5240216$C63A97B4-2539-4F22-93ED-BA22D92701D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78b255d0530b8f2ff04052afea49489fcca7960","datavalue":{"value":{"entity-type":"item","numeric-id":1682292,"id":"Q1682292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7ae13b261aec68ef3057c5ac269db9c213d88f","datavalue":{"value":{"amount":"+0.6994655728340149","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":"Q5240216$02427788-63C7-4C97-A12B-0A4533AD0780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ad39c9c53ae3a243a5d971710e3f464cd9f861","datavalue":{"value":{"entity-type":"item","numeric-id":5184892,"id":"Q5184892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b64c5e9ee43f2630e3b6f35e8d9f51eaee2b408","datavalue":{"value":{"amount":"+0.6866215467453003","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":"Q5240216$42707400-6144-4AFE-8945-9A1CA7A1B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055dc719e4d037845f4b18d4cde0262627a53672","datavalue":{"value":{"entity-type":"item","numeric-id":4707736,"id":"Q4707736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78c9b75972b275409653923023431ccd2382a5d","datavalue":{"value":{"amount":"+0.6827964186668396","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":"Q5240216$07A7521F-C03C-4199-BF47-614C069CDBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19e77784c701cfdf07eb85ea483ab72521d74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5712546,"id":"Q5712546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e183d32ec02bd55731c7278dced681a28757262","datavalue":{"value":{"amount":"+0.6827797889709473","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":"Q5240216$AB28A14D-ADDE-4A4F-A92E-3714FDE2FF2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240216"}}}}}