{"entities":{"Q4924534":{"pageid":6954116,"ns":120,"title":"Item:Q4924534","lastrevid":51733130,"modified":"2026-01-19T18:05:17Z","type":"item","id":"Q4924534","labels":{"en":{"language":"en","value":"Expressibility of higher order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171449"}},"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":"Q4924534$DBE79D6B-1EBB-45D4-A541-0776EEC9CDEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"083614ec59cbd2353c8fb76592763d13309fa9e3","datavalue":{"value":{"text":"Expressibility of Higher Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924534$47E99087-010E-4010-BD86-AC077FDB7ECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d47c9b6ecc2b86d33a64eb51929284cb15ea924","datavalue":{"value":"1264.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$A12C18CA-CBEC-4E04-9939-688B9C60968C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc6e69d1e715847dc4080afb4ee1c7e7e09ca79c","datavalue":{"value":"10.1016/S1571-0661(04)80850-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$9BEB8917-13F6-4B58-8401-8423CD34DD62","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":"Q4924534$543040ED-83CB-4F03-8A2C-D91B3B1E1FBC","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":"Q4924534$C940DCF5-E689-4DBE-8B2A-0457E7E33FDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924534$7072D9F9-3D3D-4B5A-9768-3B818E269573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924534$A559D030-03CE-4E7D-871F-428725BD78A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$BC256505-F6F7-4A95-98CF-4EA2B1D92BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$AB585508-044A-4C40-84B1-D99945876B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$5141B29D-51F8-44AC-84D7-3649F2FC5434","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c8530709ef6a3c9342148b00426016ad7f85c63","datavalue":{"value":"6171449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$15927406-5B3A-434B-A281-902DAB39EE80","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":"Q4924534$31BCE099-6EC7-4C80-8D7A-28EA1F928B05","rank":"normal"}],"P223":[{"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":"Q4924534$4B3A054C-51D7-4C91-84D2-4CA5F23DCBF4","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":"Q4924534$4FCC2B55-CCBB-483C-9719-2BB18E0E16A5","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":"Q4924534$9B314116-267C-40D6-97DA-2B694FC31C90","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":"Q4924534$FACC343E-BFAA-4D26-A588-0DE8979DEA3E","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":"Q4924534$215C45E7-0337-4047-83F7-5720C29EC55B","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":"Q4924534$D3990EB8-4A3A-409F-AE87-A51C50127E3E","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":"Q4924534$8A189285-364B-4F91-81AA-E195DC75B324","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":"Q4924534$1F38F372-F7CB-40B9-AB5D-C3F2AEBB9A83","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":"Q4924534$198E14EF-1A2B-4278-BEC8-29273AE3090D","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":"Q4924534$424DEC2D-BA3F-4B81-B1D8-54B477384F76","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":"Q4924534$C7AD2073-0D66-4946-A131-1FC120650917","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":"Q4924534$221B5D67-7768-4E8F-B340-DCDC6C92896F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecbacddc2c06169189890d80e9752b135048279a","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80850-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4924534$A69B89F7-B90F-4662-82F3-E66B0CDCFE83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d8098e06d6845612ccacb6e6e7939af1e3f15a2","datavalue":{"value":"W2092107489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924534$4FF5400F-5D35-4CE4-8664-5259619E5A5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa5d8cc7dee47599020cd4f4e441885fc42ae6f","datavalue":{"value":{"entity-type":"item","numeric-id":2369013,"id":"Q2369013"},"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":"Q4924534$72FDBA88-7BF8-459E-9FE4-30B462DE4B34","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":"d5f666910e44503a63b305e1becac3ec7c41d800","datavalue":{"value":{"amount":"+0.812078058719635","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":"Q4924534$354082ED-A716-4527-BA3F-9501BD63FFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c25e03c60bae296ad08a8a04e944c772534ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2385450,"id":"Q2385450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96579588e02ff6fe0c927e1b942bbca33ae50043","datavalue":{"value":{"amount":"+0.7997387051582336","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":"Q4924534$1B3B6049-4CFE-4F98-A061-225F470B9B91","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":"8a9728b3dd6bfbcfca0744f393319c29290b95ac","datavalue":{"value":{"amount":"+0.7941386699676514","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":"Q4924534$3CAD2D71-EAB4-4448-B115-1811BEDCBFDA","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":"ffc52509fe72e4bb7b5d2b19dd7e476644e3cc6e","datavalue":{"value":{"amount":"+0.7658565044403076","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":"Q4924534$242B3A99-0E64-4876-A61F-D7A561750F35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924534"}}}}}