{"entities":{"Q2810687":{"pageid":2821425,"ns":120,"title":"Item:Q2810687","lastrevid":79710485,"modified":"2026-05-06T14:32:22Z","type":"item","id":"Q2810687","labels":{"en":{"language":"en","value":"Relational semantics revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589325"}},"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":"Q2810687$2F23BFF3-321C-41E0-BE54-CFD057DC35BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c731c83fd70d5122efdfaab312fb375054f71b39","datavalue":{"value":"1339.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$3FA77A5C-1521-401E-8393-EB8D08F08749","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$248712EC-B608-4668-B310-D58B1204D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6db50f726cb2bddd870cba290b8dc956e28902","datavalue":{"value":{"entity-type":"item","numeric-id":2810686,"id":"Q2810686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$A59DB134-FDBD-499B-9AD5-D64FA512D498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$D4FF5F64-D8DE-46CB-B977-27A3465AA1E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810687$31E4CB36-86E5-4537-AE01-79AD968B6F26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$63844BEB-A55E-497F-84B7-66FE463C8BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$E1D71A15-2F41-4DB8-BAF7-FB805A9EDF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$E5DDE5FB-8F60-42AA-8B85-9BF7167CEBA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe11e43f45b00af67b40263c6efe3d48fd60a03a","datavalue":{"value":"6589325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$EDD53FEC-9D50-4ECD-8982-2D5A8E6403E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$6C069A90-75A0-46AA-BB41-CA3D74BDEFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69642b17b2836b36f6710ee3239820b518a5e582","datavalue":{"value":"Egli-Milner ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$1D1B91DF-3DA3-4944-9629-8F307E58EF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f5b38fb2a74b9d769b35f0082d509945130efd","datavalue":{"value":"fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$B88CC380-6527-487E-AC77-642DC77EFAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f4acd14f1d29bcbaffabda5122113b87bfef49","datavalue":{"value":"Hoare ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$B48C80E4-5C42-4519-A9A4-C02359F0FCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$D1D6A4F9-CBD2-45E6-95AF-841ABD3D564F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$249060E9-5D66-4AB9-ADAC-17DFEA8B7D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe732379ab0105d21adf1b01550e8a223a43b25","datavalue":{"value":"Smyth ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810687$51EB2BA6-E474-487B-808B-9F0029BA6794","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":"Q2810687$F7880A27-7E2B-4E2C-9258-5DC25C61527A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c7f2aaed6cee71e8f677d3d580f4755ec5fe6b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.072","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810687$DCAD5C7D-46FA-48BF-8229-CD979CE4D014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"034724c1ff19e01e670bab6cfa00f31d78ad6a70","datavalue":{"value":"W1997231856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$A17FD95E-593B-43E2-A758-AA57E522C6F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda4823e935196efd93067fa34ac9e31a4b482a","datavalue":{"value":{"entity-type":"item","numeric-id":4174207,"id":"Q4174207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$FB186C79-2A0E-407D-897B-683762861FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$05F8F183-6938-4EB1-A02E-3C51E524FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b73f3032e55c05e614e5040d25638059bafcb3","datavalue":{"value":{"entity-type":"item","numeric-id":4362882,"id":"Q4362882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$00C8D7AA-904B-4A43-91DA-309CB4CEAE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cefc19e00878c2a1bfebb4d92dcd02aa2fd295","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$5EADE7DC-82EA-4184-8992-C177CFD49595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9708a02a37c1ad60d7143ba5b0134c95e3668","datavalue":{"value":{"entity-type":"item","numeric-id":4331844,"id":"Q4331844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$72608C26-AE21-4444-A6B3-473949A5E344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f23d61258373a012576b6c8bf8e79daa9076d9","datavalue":{"value":{"entity-type":"item","numeric-id":4362886,"id":"Q4362886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$05AD5803-9DE1-4154-B4B2-EA228CADC5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$4CD939DF-7385-4898-A859-B80A8530C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe2047aa98d9d4f4336d9b589863796fb6b1e3e","datavalue":{"value":{"entity-type":"item","numeric-id":1350502,"id":"Q1350502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$2056E89B-A14B-466C-9368-CE116A58AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267e5728c52438fc92c0d16497f1b6fd3f946f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1115173,"id":"Q1115173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$5C392DEB-019A-4CA9-9329-B155F9BB0F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$ABBE4373-9BCE-4872-8D3A-01A40A7B3D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ccaeb75a4a06146511408fcab920e4b77b6f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1350513,"id":"Q1350513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$F574EB55-6C64-4E35-9BE8-16848855FCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6cc3af50e43b85b0722536e98d3ff29a8ce1c1","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$A2B308CC-735E-4054-B498-90D8C021302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$EAA5C7D7-5E27-4592-9986-4FE2A6BBEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810687$8FE2DB79-3877-4500-9792-E1BBD34D36FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe26b44b3b876ce65a73fcba261aeeb4efa15f78","datavalue":{"value":"10.1016/J.ENTCS.2009.07.072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810687$C1CFCC17-2BCA-4E2A-91A6-91704AFCA017","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92f4580d251a28143c9ed788a6bfa8ccb880d1eb","datavalue":{"value":{"text":"Relational semantics revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810687$CD80DCAA-9F65-49DB-90B8-95BFD72CD2FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8acdb72d5e669e9c48df9fe7072855f43143d0","datavalue":{"value":{"entity-type":"item","numeric-id":5687234,"id":"Q5687234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1180a0c9eb41db336aabe9dec5f46f57a1d3b6d1","datavalue":{"value":{"amount":"+0.7991394400596619","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":"Q2810687$48B8E476-A0D6-469C-95F1-175481FE326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555980a49ab96b4dbb78271dcdc664ce8765d2b2","datavalue":{"value":{"entity-type":"item","numeric-id":286953,"id":"Q286953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1180a0c9eb41db336aabe9dec5f46f57a1d3b6d1","datavalue":{"value":{"amount":"+0.7991394400596619","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":"Q2810687$B9F53DDF-7537-49FC-B414-B1C121625711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbae763b1200bc6355baacc9f24c6fb8c90c547","datavalue":{"value":{"amount":"+0.790514349937439","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":"Q2810687$454E216E-1262-4EBA-8B12-F8AF3670502C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc372ddcd05f1d33bb670f2df9fe27a034e54e01","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e16333cd3129a6276b3f6acd3fa8a692de8e865","datavalue":{"value":{"amount":"+0.7788192629814148","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":"Q2810687$A5F8F1A0-5F75-4A17-BE4D-3C09B5BEF007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f92a45f159be251ed93348d45e4f3a3a03f105","datavalue":{"value":{"entity-type":"item","numeric-id":1075045,"id":"Q1075045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8adbe8fb7920b252c591150cd6c7d4f09f9cd0","datavalue":{"value":{"amount":"+0.7718239426612854","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":"Q2810687$81243C92-139F-4CD4-8628-0479A4F10755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational semantics revisited","badges":[]}}}}}