{"entities":{"Q5311767":{"pageid":7341341,"ns":120,"title":"Item:Q5311767","lastrevid":55937794,"modified":"2026-02-21T07:56:05Z","type":"item","id":"Q5311767","labels":{"en":{"language":"en","value":"Higher-order semantics and extensionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199972"}},"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":"Q5311767$09E0DC2D-A1FA-4532-A0AB-2FA9C0DA2371","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63f54d5e118042d440f7911e04d74b58633df87a","datavalue":{"value":{"text":"Higher-order semantics and extensionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311767$7F3547E2-7AED-46BB-978B-5EE70E3458B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9727b1e829454b6b29e7cfd380fbad899e9cd442","datavalue":{"value":"1071.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$36724893-B52C-468E-9BF8-C367DDD74CD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$00A97181-7E28-42A8-91AC-EEEDB06A76E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$A4423EA4-55B8-4F76-8D11-49E06C561639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$640A9096-3F67-4687-A22A-D41E475017D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$7622495E-6956-4D4B-8836-7A6EEC12D11A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311767$A7500C17-5AFD-4424-80A6-924705281E4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$475E15FD-5BE4-4E2E-96EB-E63BD0B13F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$CD580CC0-4CEB-4AB5-90FA-8C2E181D0E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$77DA9115-491A-4F38-AFC9-1883B89FEE5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f8aacd018a0f7ff9c958c844f13d9a28ac6fa51","datavalue":{"value":"2199972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$737922BD-BC83-4A0D-BAEE-03B94FE2971A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311767$2DF62282-E856-4997-B2AE-AF3E0FC60B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311767$367A0E8E-C2F5-46FF-ADF7-D23F5154CF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311767$A29EA445-D83D-433C-8CDF-02B011EDF375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06716f9c4b57b68d10ba621766dd360e4caed565","datavalue":{"value":"higher-order models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311767$47185F9E-11A3-4897-97E8-374C4F9FD9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311767$D68FDCA6-019B-4B11-8BD6-E569F7B71F96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$48AC0D22-1CF8-4227-B840-AA02E985643D","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":"Q5311767$0E093D36-C8CD-4EE2-B215-ABD776817250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9d64ff9469b7ea8493895ed519e6315cfa1a59a","datavalue":{"value":"https://doi.org/10.2178/jsl/1102022211","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311767$CBDF8865-E576-442F-BCB5-4ACE572B377D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a0fcc9a95de9599178a070ba242a9d42127f89","datavalue":{"value":"W2138366464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$FDDD4EF0-ECD7-48FD-A06E-55782942040A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c3837a4b9373f103d00a529a787a65d1e5be50ad","datavalue":{"value":"Q57389428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$E6B5891E-8D6B-4B35-B30A-804015229D97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$8EF5C3ED-B152-4D82-AE5D-5A30784F6AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$119E2DDF-B6C0-4F08-B97A-349DAD1955F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$A62663D8-D881-4D8E-AB03-B43C0281E26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$CAF8733D-CC6D-4BF5-8844-C8DB45822E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aed260635f764ea193c56b994171a3dbde40da7","datavalue":{"value":{"entity-type":"item","numeric-id":1581357,"id":"Q1581357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$1E658A4D-86D0-473C-9DF0-1EF1123AA51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311767$ADA2DA3D-3AD5-46E9-8A83-006946AE89AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e841860604b077b9c338842c7a33cf2bd4f09b9","datavalue":{"value":"10.2178/JSL/1102022211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311767$84E6811D-042A-4194-857D-70ED00EAF780","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf76f67380c4606cdc24ddf91ef319c5e832666","datavalue":{"value":{"entity-type":"item","numeric-id":4249891,"id":"Q4249891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e57cbcaabe0a674dd9f8382c90292343447328","datavalue":{"value":{"amount":"+0.7826259732246399","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":"Q5311767$790AA4AC-667F-4BC7-905C-E6EEA6D503CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47adc29f5016c79fa420997aa20f4e099a89c304","datavalue":{"value":{"entity-type":"item","numeric-id":1901891,"id":"Q1901891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7169482398885879fb71f4d1c346deeda5419240","datavalue":{"value":{"amount":"+0.7743510007858276","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":"Q5311767$7133FC29-2729-4F98-9656-061A230B8041","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311767"}}}}}