{"entities":{"Q2570132":{"pageid":2580875,"ns":120,"title":"Item:Q2570132","lastrevid":48575371,"modified":"2026-01-05T06:39:01Z","type":"item","id":"Q2570132","labels":{"en":{"language":"en","value":"Syntax vs. semantics: A polarized approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2217960"}},"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":"Q2570132$957D3AED-67A9-4231-BCD3-195B23B0CC46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6720c85fc032f369544281b1c3653d93701465a","datavalue":{"value":{"text":"Syntax vs. semantics: A polarized approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2570132$A6E5EC4A-DA43-4EEA-A74A-6D0322ED85ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc7ab02d5af6da6c3a7e079b43e0a8335f683d7","datavalue":{"value":"1079.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570132$F0A20F75-0742-4BF8-A26A-3D2C26C154CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$EB752C9A-0576-4DE3-ADE7-581462E81F36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$2A41740E-2C96-4DCD-8D50-1BD5EA76D0C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85745a6397331bcdd0b166a1b54cbb2edc48a75","datavalue":{"value":{"time":"+2005-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2570132$D7565753-0B3B-4043-BF47-3979091686DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570132$C4748522-5FDE-4763-8258-F3DD950D768E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34834babc578323e90fda5aba50bb6471b9de74e","datavalue":{"value":"2217960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570132$A6B96B86-AA7D-4C79-A42E-F00CEA55E301","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570132$18DDE185-B3A0-440E-AE4B-D2AE0286D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fb0d877c09815da749014e901a8d51d30235ee","datavalue":{"value":"Game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570132$E1571E01-44C4-4E8F-9906-F803D5F1A1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352166304907b9d3ad172e15443f4d4299319fcd","datavalue":{"value":"Proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570132$DBF50149-C858-4400-BEAA-ACA5B8A5C18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459b532ca20adbc0bb0b7651dc983865bbc727b8","datavalue":{"value":"Polarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570132$A117FB4C-78BE-4F13-9568-0C8BECD38141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dce08e20e34c1ed344bad8818ee17b4c5340bfc","datavalue":{"value":"Full and faithful completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570132$2350AE71-C180-4285-983C-9FC2E7C2AAD6","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":"Q2570132$27C8AF29-A2B5-4A09-96A7-99C009E85490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d62ff50b58514aa2e960526695ca902368e6306c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570132$FF9DFDE5-704C-4D0D-9449-F5B1920B6AC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71e2a587efdf01ac3d82d61d14d53340faf0eabc","datavalue":{"value":"W2068763700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570132$C8A294A0-5ECB-41E8-ABFA-E369935C8018","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$23B281A0-3D43-4B14-8BA2-10712FABAA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$C3777A0A-3057-41DB-9AE3-EAB1C5F1CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa47c2b0855dbdfacffce47bc2ab6416235baa3","datavalue":{"value":{"entity-type":"item","numeric-id":1575874,"id":"Q1575874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$178F532C-356E-45BF-AE36-2ECFDF6A1BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$BE5B71EB-7A6C-4EC9-B4B2-A8215921B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$F97483B6-826C-4E77-B833-E4D383324A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$E9530949-B8B8-4725-BE9E-9B5F650051C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$7567D146-5A2A-404B-AB55-E4EB123BC773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c503eec55a1ac4f23ca138b62a55de1f3e0067f","datavalue":{"value":{"entity-type":"item","numeric-id":4263837,"id":"Q4263837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$D2956182-B248-4CE1-AABC-FCAABD8DBD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$A70FA767-BF69-4256-BC17-3F1A87E11439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$28D3B388-7113-45CB-9411-F1B86C5450B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc492aae6606d7fc7e30022e1b80faa51ce6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$4222C680-E8D7-416E-BDB8-D9100D41D8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03561727971b6f36d95dc0e581945304d28ad8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1886321,"id":"Q1886321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$F891FB9E-31E2-4641-9B3E-E15B878AE2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb5be6306cf75bedc164f0c0f1f29b86599eff4","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$03CCA489-E053-46D7-91E4-711CB072D49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da631b6cfbf07e23d25864fed3656ffc6ce36b6","datavalue":{"value":{"entity-type":"item","numeric-id":556824,"id":"Q556824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$C5BD673E-37EF-47F3-9669-494E63607521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59655309835d1bf65d33fbabff53d3818d2a066c","datavalue":{"value":{"entity-type":"item","numeric-id":4650583,"id":"Q4650583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$55CBEBE4-A35F-4AD9-9FAB-2642607C0CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$83F74363-2970-448D-850D-78B748077415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$767C2A47-A4DA-4095-9381-F1CFCD8ED91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b6a0f1004b92d4286ffbf8aa52803f1fe93d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4811556,"id":"Q4811556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570132$AD2B13C3-D9E5-4EE8-A0BF-46439017E88E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e09307a32e19612f0d532566be228227097ceb09","datavalue":{"value":"10.1016/J.TCS.2005.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570132$A464A6E0-5FE0-4588-BA25-8BC9F595B890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4459a670fc9de0c839f1a1636303e8bebb2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32d5c46035ddc87fa104e8798f5676f3dcb8fa8","datavalue":{"value":{"amount":"+0.7713738679885864","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":"Q2570132$03063619-01C6-413C-A8A0-CE0EA2A591CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef8e3b37fa643f23792756aac5b6f61df84e03f7","datavalue":{"value":{"entity-type":"item","numeric-id":3416824,"id":"Q3416824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3cc5525fb65ca1a986e82ffdff79da117ea023","datavalue":{"value":{"amount":"+0.762069046497345","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":"Q2570132$83CA31F2-F3D9-43C1-9FC9-F734B2701CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f529cd8ae1151ce10a08e051f25d6498b1d11f","datavalue":{"value":{"entity-type":"item","numeric-id":4650583,"id":"Q4650583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565a83db2d4086e7978eaf9bedb29200060a0745","datavalue":{"value":{"amount":"+0.7535181045532227","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":"Q2570132$295519B2-2838-44DB-A2EA-D54995AC8369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96002073427a97d30873f26463fcf08d819034ca","datavalue":{"value":{"amount":"+0.7472652196884155","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":"Q2570132$085FBD45-1FBD-4AB5-9B8A-76BCA41B9D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c472eef98b51a7df1c7d986f114c747b2455ff1","datavalue":{"value":{"entity-type":"item","numeric-id":5890063,"id":"Q5890063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ad3c41dd007626e12ca6ed290c1274c41a1452","datavalue":{"value":{"amount":"+0.7430225610733032","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":"Q2570132$FB0DC8EF-1B75-44B1-A6F3-B6685E4F37E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2570132","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2570132"}}}}}