{"entities":{"Q2964013":{"pageid":2974738,"ns":120,"title":"Item:Q2964013","lastrevid":57343203,"modified":"2026-03-30T14:01:53Z","type":"item","id":"Q2964013","labels":{"en":{"language":"en","value":"A Compositional Semantics for \u2018If Then\u2019 Conditionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688009"}},"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":"Q2964013$79F23222-109C-43E2-8BA4-28D667462C29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b487bc25189f1025b4e1f89d638c4d0932ef326","datavalue":{"value":{"text":"A Compositional Semantics for \u2018If Then\u2019 Conditionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964013$D6406BF4-F8E4-45C4-8B2E-28D022B7AE26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfd89476417043fe133146db8cc68e697b7cc333","datavalue":{"value":"1485.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964013$0D57DBD9-BADC-4707-827A-AB4CCE78BD0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2559e691d2c459958f5e22a175d3e01e06b12811","datavalue":{"value":"10.1007/978-3-662-53826-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964013$CFA9F935-4EE0-4372-96F8-77C4F83B1CEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39bf5906ecf88941c04ec94ed902af982864bef4","datavalue":{"value":{"entity-type":"item","numeric-id":2219150,"id":"Q2219150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$C372A72E-6E92-4B23-B96E-F464E2C7409C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0bce71063c22ac1efd683b01231ef659270754f0","datavalue":{"value":{"entity-type":"item","numeric-id":2963988,"id":"Q2963988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$F2C03481-8EED-4438-897D-B79040A29632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ccf44329f0b8ca1e42fd376b5ef1ba5e3da06d7","datavalue":{"value":{"time":"+2017-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964013$54A60746-ECA3-4C11-8A70-89A80C31C427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964013$65FE8A66-328F-412B-B5BA-1AD51D342F1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9002d02d409875ea10a7e38744ebb50f784d1d97","datavalue":{"value":"6688009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964013$C41C724E-AAD5-418F-A5A1-9B55CA5D26AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964013$0B2CA423-8F9F-4560-AD78-FFD538D2396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea512bf49dd5a671a70f3e20dc420cf530a20b1","datavalue":{"value":"if-then","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964013$CB0116EB-7594-4933-8694-D127DAB8BB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f181cbef843e3d86939e589846256831f2c92882","datavalue":{"value":"contraposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2964013$4F4D7DE3-F723-4903-B8B5-A777B862871C","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":"Q2964013$E11F6036-B5FE-4F44-AB92-4BD46C3C63B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2306156cc7af1ff61ce8e4d3b30f557f7576b51b","datavalue":{"value":"https://doi.org/10.1007/978-3-662-53826-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964013$801C2CD8-90DA-45E0-A3C7-F23DE9401613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f691686d5791c383c74b74f40f0e272b883b547f","datavalue":{"value":"W2554959500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964013$25259F7C-4177-4617-BF90-1CFE74196F2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7385f2cd7c0404a24668efe1fdbc2cf5bc333f3","datavalue":{"value":{"entity-type":"item","numeric-id":1224565,"id":"Q1224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$708A7D85-EA22-478E-BA90-EE13DE499BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b960fac1f7ded72ced10a44be2b8b95ee26d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1221745,"id":"Q1221745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$3EE79575-7CBC-4D2E-8791-B8756045F41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6500c5de49320733a17e6a0d341efe7bc510f5d2","datavalue":{"value":{"entity-type":"item","numeric-id":5275556,"id":"Q5275556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$142257BF-5630-4433-9C31-1BF6E148A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$C87BB87D-FDAC-4373-B64D-979566332650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013a6536907c92be88c08517572e9d90c145f3bf","datavalue":{"value":{"entity-type":"item","numeric-id":2741550,"id":"Q2741550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$1AA1B2CE-9BF5-4CE8-9E08-C6F8A61E2D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9d5097b0f06aafa4894f75a108b41f2c6f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3900019,"id":"Q3900019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$2D64F788-FD08-48E2-9F62-B02CD64D52FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46827bdeeba75029db81b27ef3d8db782fa40649","datavalue":{"value":{"entity-type":"item","numeric-id":4113805,"id":"Q4113805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$74F3C0B2-213F-49D0-A2FC-D66BA1E23CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$00567402-3235-46C6-9439-039CF00B439B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da94c2f099f0f07a2c0bb01afa013039986be05","datavalue":{"value":{"entity-type":"item","numeric-id":5791197,"id":"Q5791197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$FD27DB27-F98F-4532-8EB1-4F9DC9A90777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300793ef732396003013b359f8ef3348b3ca76ed","datavalue":{"value":{"entity-type":"item","numeric-id":704027,"id":"Q704027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$040E5220-D841-44A7-8666-909A9407BE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cf415594e48244f83bb7c997bc803b826a9866","datavalue":{"value":{"entity-type":"item","numeric-id":484196,"id":"Q484196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$3B4A4683-F609-4DA8-8D58-2CF50919A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a0ee5746f36aed706433f8c143a5b0bb27c95a","datavalue":{"value":{"entity-type":"item","numeric-id":4683208,"id":"Q4683208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$2012DD5A-6A65-41E7-B481-81291AF90E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa083f365e21507337fdbe0c0bcf8d9fb18bf6f1","datavalue":{"value":{"entity-type":"item","numeric-id":1929760,"id":"Q1929760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$191D28BF-8D9A-4ADD-95A7-1B069AF3371A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3170dbd741d89e79a5b330c347aab14dadbe51","datavalue":{"value":{"entity-type":"item","numeric-id":4683208,"id":"Q4683208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb91afd4141f14dda9aed95788b809490d7c8b2","datavalue":{"value":{"amount":"+0.9705187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$2E4510FA-53D3-4DAF-B62C-09E4D7FE01AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1916d6dcfd2ed31868127f5f83651921702793","datavalue":{"value":{"amount":"+0.89052904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$0D7FAD6E-9F3E-496C-B3C9-2ACFBA57123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428aaae160cec53cf0be01dbe0242e994fe479f","datavalue":{"value":{"entity-type":"item","numeric-id":4982119,"id":"Q4982119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3709710d569a45ff20fed8fa84b2941d071d3bbf","datavalue":{"value":{"amount":"+0.88634044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$7D8C8F78-0B38-4839-8A41-134397038AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751570f5752c2c24c39a8f6620841facdcdf4c90","datavalue":{"value":{"entity-type":"item","numeric-id":5449610,"id":"Q5449610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88a9f634f3061f7465849ba3f723ce3f62b4396","datavalue":{"value":{"amount":"+0.8794203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$EB623BFF-5AC6-4A5E-8B39-94A04D5881EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9256d080301007df4980b1abe6b0af1d9c605138","datavalue":{"value":{"entity-type":"item","numeric-id":980942,"id":"Q980942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f223172d74fd89b661967521bf1d572863596ea","datavalue":{"value":{"amount":"+0.8786834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$97345EFB-4DD6-408B-AB2D-5138BD6B6CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27422cc01d0e88844da478db829c4564b34aa44","datavalue":{"value":{"entity-type":"item","numeric-id":3511456,"id":"Q3511456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f223172d74fd89b661967521bf1d572863596ea","datavalue":{"value":{"amount":"+0.8786834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$6B0F6959-210F-4A65-95DC-D7012AC5D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eee38321cd31510f345a6ed6690e7410e2f107d","datavalue":{"value":{"entity-type":"item","numeric-id":3817577,"id":"Q3817577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c81138cf5f8792d780ca5bda0f563e620520bf","datavalue":{"value":{"amount":"+0.8762722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$A700DE76-71EB-4F10-8679-4DE5624D213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61094af2efa2f765c124404ba66c07364716beae","datavalue":{"value":{"entity-type":"item","numeric-id":2401876,"id":"Q2401876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacd8cae9229038b3b6b204f1675092dfc38bf51","datavalue":{"value":{"amount":"+0.87419665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$92159485-AF9F-4258-A8A4-31CDC1BFC5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4da894c457a9507a121f2a987c9b9cc2108f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b423cf5f42b2172371ec16f20c7804cdf8e5c3","datavalue":{"value":{"amount":"+0.87241673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$019429AA-5F8F-4B11-A109-CAA7C81D1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04d9f58c993fccc6e4843d1cd44cf9fd9b059bb","datavalue":{"value":{"entity-type":"item","numeric-id":5087656,"id":"Q5087656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc96b943936b37003ad79491156f14b94ff28af","datavalue":{"value":{"amount":"+0.86628354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2964013$BBC0E95D-C26A-4552-B425-6073B2CD206B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964013$B9FE5D85-0536-43ED-B06B-DCD851A1743F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964013"}}}}}