{"entities":{"Q5213619":{"pageid":7243189,"ns":120,"title":"Item:Q5213619","lastrevid":53654729,"modified":"2026-01-25T12:23:08Z","type":"item","id":"Q5213619","labels":{"en":{"language":"en","value":"First-order logic without bound variables: compositional semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162494"}},"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":"Q5213619$FB8508E0-1B85-445C-99FA-BC4B8E89F5EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bcd608ec752e21a4117085d157174734d20f1c9","datavalue":{"value":{"text":"First-Order Logic Without Bound Variables: Compositional Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213619$9953F9C2-5685-4A12-B6F8-B96419169C65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c6ee4439080d673fbbaf893b2199028f3d38c14","datavalue":{"value":"1429.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$8E18144D-D22C-4CBA-AE9F-60710BABE6F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"279dbc0f1f2d4bc26d3a3f16d005df02e5d5a432","datavalue":{"value":"10.1007/978-3-319-11041-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$0489F848-890C-4E56-96FC-C84C6C2E31FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"751fc4d3c43bb9e144ea47418b6cb8b246d341ae","datavalue":{"value":{"entity-type":"item","numeric-id":5213603,"id":"Q5213603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$02AFF22D-8180-430C-AACA-546C6C41A8E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213619$20997C52-6368-4151-B7DD-78137882EBA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$A52DF9D8-BDD1-4A33-A83C-0E11D2532970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$B63DA967-4268-406C-A30C-B2C11D76306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$331E3DF4-CF8D-43C0-B3D8-E086B4594AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f627ccc4569264675f8c077555a011baa55255d9","datavalue":{"value":"7162494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$CD275B02-481C-408C-8792-3DB66AC86926","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$EC0A98F2-3959-4830-A922-A1615821B5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$23AC7900-455D-4211-9C83-B85799AF4619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634f312eab4e13a0950578b93c143ad203ba649c","datavalue":{"value":"Sch\u00f6nfinkel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$185F6106-1E7E-476E-AC11-7FC55139A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d527c4aa2f7d747663364552ac135fe192e56ffa","datavalue":{"value":"combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$CBC95196-4502-4F82-BE09-A5F8C0B4D9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9ba03f0488b03ca7cb0739e13fa2131ebf0fd2","datavalue":{"value":"Curry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$9AD3196C-C5BB-4ED9-A6AE-D445002472EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$4BB1C58B-00A0-4FB0-86DF-1E8ED733FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b058fb8f45bde90684d74a1eaea3ed3fb0d48b","datavalue":{"value":"explicit definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$A80437F7-B6FC-4309-9A6C-30086321B9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$36E54BF6-D0EF-42F0-8D38-8327D24C22A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213619$047572C3-C5CF-4554-BCB4-8C7CC4968281","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760745bbc6b5c9a1a5cd89c9feef2726e8d06aec","datavalue":{"value":{"entity-type":"item","numeric-id":2500812,"id":"Q2500812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$30623581-51D0-4486-9A77-6A49A20AF0DA","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":"Q5213619$D92F1CEF-CD05-47AE-AABE-52F5D74892F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37f3fb37239de5726760cf4227306e5bbecdb1b2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11041-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213619$C23B6A9E-CEF3-42DA-8CF1-8B9D93CBE2D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5998e3b2ea7621780dae3ef49fffa88a27a436d5","datavalue":{"value":"W137867576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$AD3D7E88-6466-4826-8755-651BBFB7C7B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee5ac48bc66d7918ce3d169b23c5947ccc95caf","datavalue":{"value":{"entity-type":"item","numeric-id":3257767,"id":"Q3257767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$CF8A2D44-0954-4848-BB54-2404BC3CB373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c3b0365271069021f3546ebb78862590a57a62","datavalue":{"value":{"entity-type":"item","numeric-id":5781187,"id":"Q5781187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$1DC47482-D03E-4495-AEB5-8EBFCDD937CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$044A4643-90ED-4C87-ABA2-20A4F408978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c247c8da53a6b9013b7b3bc71c9d52cb2cddf69","datavalue":{"value":{"entity-type":"item","numeric-id":5807658,"id":"Q5807658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$340DD8F7-AEE7-4973-8122-32A8F533B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213619$170D4C70-AAC4-4E6E-A9EC-417170D56234","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"174f7cda751146cf2624eb56556235f77676b0b1","datavalue":{"value":"Q126372055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213619$D3880E97-0DA7-4AEA-A482-76EDC97D6D2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea8c6dad5aea565b249d672dd9703a49ea04d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4870559,"id":"Q4870559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8096ceb3dee43183b1e5b2447a236453e8725580","datavalue":{"value":{"amount":"+0.7329641580581665","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":"Q5213619$46E4917D-AE17-4548-8723-725E0324E079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd98e77500cd36eea7ad32beab17ebc6ba613b6","datavalue":{"value":{"entity-type":"item","numeric-id":3576002,"id":"Q3576002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eaf9e14c84fe1885043ebc37cd4906fccbb3f85","datavalue":{"value":{"amount":"+0.7273878455162048","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":"Q5213619$C3E58FC1-6976-45C3-AD32-2277047C454A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91e0eb10f16f76bc51ece295f3df47f182b2160","datavalue":{"value":{"entity-type":"item","numeric-id":3777985,"id":"Q3777985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c806cdb89c3b9e32da7d9d732ea4772034d1b0","datavalue":{"value":{"amount":"+0.7253081202507019","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":"Q5213619$9593DFA2-B0F8-4147-9A1A-885B01D10BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f272326f96d401c02039a0dcd0a57cce6fcc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1264141,"id":"Q1264141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539c063ab9c0dd8f211eed596989b240235a753e","datavalue":{"value":{"amount":"+0.7126175165176392","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":"Q5213619$623C8F5B-F4DE-4E1B-A627-B854CEB2ED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43380b36816b89b1a7d85ac83406393faec88a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1263571,"id":"Q1263571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad7d0ce0985e57465d3eb907e0714aae4f54983","datavalue":{"value":{"amount":"+0.7095100283622742","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":"Q5213619$E1D8C42A-B12A-415D-BA9D-1C7903871200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213619"}}}}}