{"entities":{"Q4353722":{"pageid":6383321,"ns":120,"title":"Item:Q4353722","lastrevid":46942662,"modified":"2025-12-25T21:53:09Z","type":"item","id":"Q4353722","labels":{"en":{"language":"en","value":"A note on logical relations between semantics and syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059584"}},"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":"Q4353722$5DBCAA86-234A-43AF-898B-68AA787A5196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b28fafe9f6f03d4844e7d3e882bc6d9fc9f2c791","datavalue":{"value":{"text":"A note on logical relations between semantics and syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4353722$F5BCDF46-6FCD-4DAD-A179-A069E78B8D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"079b0218259cbda6c6203a346180ec73c09caa3e","datavalue":{"value":"0877.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353722$F66DF193-6EB5-4199-8603-A40A3F1763AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353722$EE05CE33-B7E5-4FC8-93FF-2DE3306A7FD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5392596ed00365b9040485b26d567df955774c4a","datavalue":{"value":{"time":"+1997-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353722$5FC1D724-96E7-4DD2-9E80-8C4F073BCB13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353722$73647D50-56D4-4F82-9F57-B02C7B19DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353722$203C5652-B148-43D2-A8EC-040729DA6B90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51effae48fc3bd02d40e6f79b4e958cfe548fc84","datavalue":{"value":"1059584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353722$8AA3A8A8-C228-4C28-AD13-A6321AE8AF78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bdb910463a6b2d99d063930b149d42dcf548998","datavalue":{"value":"operational extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353722$6FB2D529-50F2-4C7F-830F-870621F453F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e27cd0f42960491075c9306a4410434cf93f80e","datavalue":{"value":"applicative bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353722$7CDE416E-DBBA-4D06-A42B-C34E8E8893A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397f66416706827b9e03eb24fa498f3c08c9806c","datavalue":{"value":"lazy lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353722$1E48EBB4-C062-4D37-BB06-8A41C1CBC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353722$DCABF07B-A33D-4A16-A297-0588C238D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353722$13453E0D-BDE6-4EB0-8037-1BC72F6CA3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353722$26D1A908-4EBD-4B13-85F7-CD6FDCE9040B","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":"Q4353722$9186DA8B-F4F6-4300-87DF-F73A12CF3288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0522f9d8e4daac03d8ab6738ddc832ebf5047bd4","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.4.589","type":"string"},"datatype":"url"},"type":"statement","id":"Q4353722$F3314201-089F-4FD8-9D44-FD87A5231A0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66cb0aecc74f0b13e405e2d11077123950a0560b","datavalue":{"value":"W2082549583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353722$F8B459A1-5354-4719-84FD-775BE5446653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4b0dbd2cb4adc4cc5ed47bad1dc2360ecc63532","datavalue":{"value":"10.1093/JIGPAL/5.4.589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353722$273CBB1B-6F71-4D04-9611-ED1C939AFEC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353722$19ADC7F5-55A5-4533-8B22-8E6AE13FB9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa7e928070900981fd2f08eaf96274360c25ef","datavalue":{"value":{"entity-type":"item","numeric-id":2847789,"id":"Q2847789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf1a506be53663a0cf67ef5ca3267a557f3a64d","datavalue":{"value":{"amount":"+0.7784953117370605","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":"Q4353722$7B144E7B-2117-448E-A26D-CDDF4BB107A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959832de3369a3e6ac2ca60ca2a2f962f8ee1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05a50fbfcb8c81e6926647be729649e06f036df","datavalue":{"value":{"amount":"+0.7598683834075928","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":"Q4353722$432A69CF-EEE4-4D52-B700-83B8B9812042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c8fc29a8abd66aec0f889dccada072e7d5d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7404b744b3b3497e8eb09d992528dc2455d347ad","datavalue":{"value":{"amount":"+0.759407639503479","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":"Q4353722$FDA5B7E6-F5C3-4BD3-BA67-963EE813A790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff838558d725cb1b202530b9ce8b8469f7a43e2","datavalue":{"value":{"amount":"+0.7527155876159668","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":"Q4353722$BC563D3A-E9DD-437C-9711-C5D8CE2FD293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0593df3e60a45ff9cf629a90b04e3efab2b06c","datavalue":{"value":{"entity-type":"item","numeric-id":2754136,"id":"Q2754136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dd918db1734b67bd943d278fd6ccde0d02a085","datavalue":{"value":{"amount":"+0.7497009634971619","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":"Q4353722$DE1CAB44-0484-4BED-BBDE-70F15459E165","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353722"}}}}}