{"entities":{"Q5327367":{"pageid":7356941,"ns":120,"title":"Item:Q5327367","lastrevid":51794078,"modified":"2026-01-20T01:59:40Z","type":"item","id":"Q5327367","labels":{"en":{"language":"en","value":"Stateless higher-order logic with quantified types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196184"}},"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":"Q5327367$4E41B5EE-7892-4D49-876F-EBE2D27CBCAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a78cb959c93815b24ae3c59d1cf201a153de1b","datavalue":{"value":{"text":"Stateless Higher-Order Logic with Quantified Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327367$A25FAE20-8E1B-4FA2-B79A-E82E2ED2269E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35af3c5bc85e763f09202d5068be5cd8185e637d","datavalue":{"value":"1317.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327367$3937120A-0857-468D-A954-A6904ECB3A93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c26fffc632dde0458fdbf49063b877f91e91b23","datavalue":{"value":"10.1007/978-3-642-39634-2_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327367$752177A6-5D9F-435C-BB53-D18A6BDE88AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42596af36c495bfc44390ff3a78320ee79ec748e","datavalue":{"value":{"entity-type":"item","numeric-id":5327366,"id":"Q5327366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327367$621A8F10-09F6-4A73-A2A5-7A0EA167AB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f5a899f806846c9a92b0ae62d876e2da1bacd3","datavalue":{"value":{"entity-type":"item","numeric-id":608237,"id":"Q608237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327367$BD948038-D9DB-4FC1-BB38-1D357AF4FBF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327367$2E96E7BB-45F7-407F-820F-7C87AFAA1D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-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":"Q5327367$486ED4A5-04C6-4358-8B51-35F1C8D76F76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327367$8E2FF0DA-E8C3-43A0-972A-063405210B5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4c06030e8bd54a4cfcbc66b82f337cdfa375a3e","datavalue":{"value":"6196184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327367$4BBE2EB4-7F78-4F7B-908E-2C47BA577A43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327367$BA221952-1270-4DEA-B683-98619EB3B682","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":"Q5327367$D592E1B9-4958-417F-997E-E10E396AE310","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b202c9f60bf21ba11492429aa1b36684eb41abb9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327367$073D44E8-2B26-4B63-8620-6E1E9D8E2DF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9baf2f643e71db367dbf42d23cbae641748df56","datavalue":{"value":"W2188035636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327367$8507A3DF-D41A-444A-B314-F0ED08B61CF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880184504bd47d4aab173f44873bb04dbe6f5cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1309243,"id":"Q1309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc5854fb8ce5eb876356724252dabfd95f24b7e","datavalue":{"value":{"amount":"+0.8100684285163879","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":"Q5327367$8D3BF3EF-F065-4E5D-9575-5B33390410DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacae4effa093e1e8af76c68cebab6033740ff19","datavalue":{"value":{"entity-type":"item","numeric-id":3523186,"id":"Q3523186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb9a108064140ffa85deab2026b0f2184298882","datavalue":{"value":{"amount":"+0.7599775195121765","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":"Q5327367$0151B1C6-7853-4DDD-8715-9CF67259091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db22c1910555c7985f9da455f58bf2494089862c","datavalue":{"value":{"entity-type":"item","numeric-id":3183533,"id":"Q3183533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e7cc44dce83a2d396203f7857093f9758f9b41","datavalue":{"value":{"amount":"+0.7302538752555847","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":"Q5327367$8FC361A6-EF6D-4D43-B990-45B19FE383D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60426e5739f83e401a40414b0864841d3d924e4","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8331d76f8810419442392e526a754fc433da8fe","datavalue":{"value":{"amount":"+0.7227553725242615","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":"Q5327367$1515FF6C-EC58-492B-8E05-1214A478BB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2a627e29f2871ae1ff628bc0545f5102ac3722","datavalue":{"value":{"entity-type":"item","numeric-id":3612441,"id":"Q3612441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa56353b8b7602a1ca3ee97b7cae5a045224725","datavalue":{"value":{"amount":"+0.7141847014427185","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":"Q5327367$170AC14C-C9CF-4002-8FF4-EACC9DB90B2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327367"}}}}}