{"entities":{"Q5872875":{"pageid":7902426,"ns":120,"title":"Item:Q5872875","lastrevid":55429279,"modified":"2026-02-17T16:11:54Z","type":"item","id":"Q5872875","labels":{"en":{"language":"en","value":"Soundness and completeness results for LEA and probability semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638208"}},"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":"Q5872875$E2E1737B-C26B-4DC7-B82F-D2AB3137C284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33ef164b3fd07d8b147e42ca0e1cfed1f0fca0fd","datavalue":{"value":{"text":"Soundness and completeness results for LEA and probability semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5872875$D089B15F-6BFE-4F75-8DF2-CD8A70DE051A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1e3f4d82af21df262b982d334b6fcd5080240fb","datavalue":{"value":{"entity-type":"item","numeric-id":2151409,"id":"Q2151409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872875$573121EC-6BEB-4C93-9DEF-D63FD7451687","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-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":"Q5872875$C56FFC8B-352E-4F8C-8A2A-94B7E50AE355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872875$6C4F50D2-B0DC-445D-A313-72461339064D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872875$CE25CDDD-B3B8-44CF-9B13-F99427647BFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce0ba05dc8101ebc7a540f3dab1b31358fca4e02","datavalue":{"value":"7638208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872875$4C8D4018-DB69-4273-AD35-004C90D9E3D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872875$56B29FC6-486F-4E01-8776-05C66A444DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872875$934487B9-569E-47FA-8D6D-3FC044AD7900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0fdd62631bbd20422f33dd0063532c65a012be","datavalue":{"value":"Lax logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872875$138806F3-627E-4DB7-BE50-03D55ED94B47","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":"Q5872875$7CCE5DE5-BC73-4753-9F1B-16C093CA21C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14ce2bd8792979556b101ae491b83204e89f90b0","datavalue":{"value":"https://doi.org/10.1093/logcom/exac074","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872875$214A2B05-DB82-4570-8C33-53235E5D12F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58d2b32ba8584775042990063829a8b53dc78a4b","datavalue":{"value":"W4311709888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872875$AD5FAE6D-0C3D-47D9-B26E-19DAB289D4AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75e9fed4827ac5d693d33c66abc399359879c918","datavalue":{"value":"10.1093/LOGCOM/EXAC074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872875$3289F566-3E40-43E7-A62C-61BB1B989F01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872875$B8192D70-9AA7-4DF5-BADB-67B15C7E268B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7589f94e47c5b89ef4d844082af73d80cf2404c3","datavalue":{"value":{"entity-type":"item","numeric-id":2151410,"id":"Q2151410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4daf66548e0e39ec674e7acea623f1ce91e2f2f","datavalue":{"value":{"amount":"+0.9879376888275146","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":"Q5872875$C5F08F93-7749-48EC-A71E-41B59E050D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b875f793071ef428436a863845b141c96f5335f","datavalue":{"value":{"entity-type":"item","numeric-id":5071238,"id":"Q5071238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe42cd18d02d36e5a8be1ac6443b38bf8030d7a","datavalue":{"value":{"amount":"+0.7365385890007019","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":"Q5872875$095A2FC9-9FC7-4BAA-99D6-1D16AD4E090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba263754c79f701dbb0ac151785543fb2dd8a00","datavalue":{"value":{"entity-type":"item","numeric-id":1928821,"id":"Q1928821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8e5904a2c833a4eace3ffc46cb386b0b8661b4","datavalue":{"value":{"amount":"+0.7341949939727783","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":"Q5872875$5FE5E3DA-0984-4B56-9CBF-48AD47481487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f73fcfa0d9f26abdd9cccb5b473d88211aca51e","datavalue":{"value":{"entity-type":"item","numeric-id":3656777,"id":"Q3656777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59026a7630eed73d628c7864334c776a3e86c247","datavalue":{"value":{"amount":"+0.7245063185691833","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":"Q5872875$B73C6748-66DA-457F-AC53-F3129C209246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03804b91500b3197fe12d67d629d3dcbe745b708","datavalue":{"value":{"entity-type":"item","numeric-id":1412128,"id":"Q1412128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72e58c4a636b486eae2329d9b5d729068e3addc","datavalue":{"value":{"amount":"+0.7196605801582336","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":"Q5872875$71DECC8E-47CF-4E6F-93C8-F7D2C160B584","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5872875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5872875"}}}}}