{"entities":{"Q3591433":{"pageid":5621337,"ns":120,"title":"Item:Q3591433","lastrevid":50162657,"modified":"2026-01-13T07:55:07Z","type":"item","id":"Q3591433","labels":{"en":{"language":"en","value":"Descriptive and Relative Completeness of Logics for Higher-Order Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189702"}},"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":"Q3591433$8C5991F3-3643-4870-9CCF-B7DCE8B78FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4ea9965974e14db4df026ebf208380e4c81649e","datavalue":{"value":{"text":"Descriptive and Relative Completeness of Logics for Higher-Order Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591433$8229973E-1FC1-4682-87D7-07CA23EF651F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d72d489ebaee5add11d3399949410be8cfd68fc","datavalue":{"value":"1133.03333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$F5FB92AD-8F0E-4F8B-A4F1-16279A995318","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a1736be22b13c0ff27bc383d31bd861a0c8e80d","datavalue":{"value":"10.1007/11787006_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$DE6E1D87-8DCA-4E69-88E5-254B97B2153D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591433$FE2C8185-7D51-48CF-A08C-B4FCE4A8272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591433$E3AF5B3D-8390-449D-8C11-94A2331864F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591433$4FF3E1B0-1F0E-40DA-98ED-A3C65F77B628","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591433$465C7561-78A9-40A4-BEFE-F0FB61930447","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591433$3B723C77-94E6-481F-A6C9-E7404576A276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$4ACBB39E-2D75-4DD1-82AF-4CA25A655AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$FE7905A8-F87D-4087-8CD2-7DCCAB08E967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$16121548-6630-4554-9C63-36109959F392","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbddacb2c051c4d67745ab3f3600b3df88c700c3","datavalue":{"value":"5189702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$82361956-8F4B-40B4-8AF7-6CCD82F9C594","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591433$E8AF00FD-6F17-494F-9484-F8D3C4698DA7","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":"Q3591433$0A8F515E-C98C-4EFA-A6BA-3EC476220FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1286bcf62beb01cb7e054d56a1abb42542f3a7b7","datavalue":{"value":"https://doi.org/10.1007/11787006_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591433$A87AB56F-C03E-441D-A922-4EE83D6BDC72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a26f834b406ae3d4b0bed81151811038134b775d","datavalue":{"value":"W1867526098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591433$973926FB-AF11-4C4C-914F-498664DA047C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961f42b0e586ec5f5db21fa2d898ad09097791b","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6d73ca3f8d6685bd537b019909817d9cca9291","datavalue":{"value":{"amount":"+0.8340091705322266","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":"Q3591433$1FD7A38D-906B-40BA-B5DA-59BE099D7E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b675de94614d42de3721ca8b178a73fd06c537","datavalue":{"value":{"entity-type":"item","numeric-id":2915704,"id":"Q2915704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395451682e449a1f82790aad7ad791979424d619","datavalue":{"value":{"amount":"+0.8143453598022461","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":"Q3591433$209897A8-9146-4735-8319-0C6EDA693417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9124ab0c0ef67b95ab8ab3037041ca69d44b4","datavalue":{"value":{"entity-type":"item","numeric-id":1318282,"id":"Q1318282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252bba5d4e9623f14e526fd5c460088730545ff1","datavalue":{"value":{"amount":"+0.7706506252288818","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":"Q3591433$6839B2C8-2917-4ED8-832A-77CD795BC8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2100b422bb21b17977e053bf5509de51685db641","datavalue":{"value":{"entity-type":"item","numeric-id":5758044,"id":"Q5758044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e9fe606de3f295d133ef0cc390f8d6af281a64","datavalue":{"value":{"amount":"+0.7460927963256836","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":"Q3591433$745F49F0-A8B5-4DA3-988B-BC56B31ADDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36e30c473efe86fbb830e5ed990880d4f822f57","datavalue":{"value":{"entity-type":"item","numeric-id":1318281,"id":"Q1318281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1fa238961fba3a66d1badc45c0baf87aac7de4","datavalue":{"value":{"amount":"+0.737555205821991","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":"Q3591433$3EBF11B2-8BCC-4FE7-A1D4-9D58E87F39DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591433"}}}}}