{"entities":{"Q1989346":{"pageid":2000088,"ns":120,"title":"Item:Q1989346","lastrevid":82358963,"modified":"2026-05-06T20:42:54Z","type":"item","id":"Q1989346","labels":{"en":{"language":"en","value":"A logic for Lawson compact algebraic L-domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7191325"}},"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":"Q1989346$6BCB5A6F-FF0B-487E-A866-F7F29BFB4A7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fdfc106a8b2b33218887449671be5d24539db07","datavalue":{"value":{"text":"A logic for Lawson compact algebraic L-domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1989346$8D570C34-BCD8-4EFB-9DF4-98A808B960A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"021c59d17169533573eda4e8257166c8f74aaa8d","datavalue":{"value":"1481.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$32277490-CA97-4185-AF50-FF069A131507","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e9002a60ab18c5e252901804db403ba4111593","datavalue":{"value":{"entity-type":"item","numeric-id":1989345,"id":"Q1989345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$ABD38B4B-FC4A-4004-B656-C1722A99191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f15a1eb3c252513b7c6682025955cdc7d7ca297f","datavalue":{"value":{"entity-type":"item","numeric-id":929436,"id":"Q929436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$E23FFFC7-4808-46F7-B552-46B138336ED8","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":"Q1989346$2CF8F944-EF6A-455A-B6B5-0760B607E473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17bef57f2c610a5f39d28616a761795ad9fff698","datavalue":{"value":{"time":"+2020-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1989346$575DC191-9A82-4B8E-9D02-605D47354236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$BF2FA763-2A92-4108-8C53-F90168333806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$53FE1390-51D2-4F21-998F-F0941AAFAC8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b148c2707de2d48dc9a059c81178919f7cec528","datavalue":{"value":"7191325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$45DB90C4-2DB4-4E26-896C-BB97F5811D69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989346$71FCC400-3EFF-4500-ADFB-1BDD2F3E2136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c454837d366fbfd21a814ec010d0d1260397431f","datavalue":{"value":"Lawson compact algebraic L-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989346$C64BDA67-A5B1-423A-8B60-6CD02654BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00055dddfe2a087138d860a8775830d4ec9fe5ef","datavalue":{"value":"domain logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989346$F55EBBC6-BD9D-4F0C-9097-D280E4883054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5a6f7c32133580b7cf966665923ba59a097e6a4","datavalue":{"value":"N-sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989346$D688AE85-ADB6-4F9D-94DD-4631B4682FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bb5548f47a20f494a3bc87d19f426c4b4c06ed7","datavalue":{"value":"FD-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989346$146C2ECF-EB2E-446A-87DD-B3C4E1D0BD1A","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":"Q1989346$F6F6F636-B5C0-4680-89C7-345D8CB3E038","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40315facf9ee67cc28d412d6327dac69e77e5bce","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.01.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1989346$312ACC28-BE93-475D-813C-656494D321FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8161b7c4f73762ddd7d7ab3b940f4a877e7738a","datavalue":{"value":"W3003137710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$E576F425-2556-465D-B1A3-8053AD35F623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$5445AF9C-55E7-4797-B241-36090FF1E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$926D7ABF-496C-4BC8-BB7E-77AC2AA48FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$67E45922-2B10-4BA3-AF3E-1C1C23C1CC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d31bc309735c45435c8c621aa1c8936bc1bab11","datavalue":{"value":{"entity-type":"item","numeric-id":1854320,"id":"Q1854320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$48D8292C-47B5-4CFB-9B11-86A990C648EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0622c1b458f682359b386fcf64a4efc118161c","datavalue":{"value":{"entity-type":"item","numeric-id":1368465,"id":"Q1368465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$3EA2E706-54AF-4C49-BB97-D6FCA3A82EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4be0c480b46d1e4e2ff0c8ff4ab7e2cd4585a2a","datavalue":{"value":{"entity-type":"item","numeric-id":859843,"id":"Q859843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$2322B050-F512-4B80-8E60-A1821C2A0966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$F21516B8-1C51-4B87-B11D-C7B411893058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4ad4010b6ff110c2e68aaed8e5d1261d246202","datavalue":{"value":{"entity-type":"item","numeric-id":2264118,"id":"Q2264118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$C5DF099A-DC75-4915-A280-9A96E2BB7CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$5E147BE2-0B5E-4677-8725-2ABB61480A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaa064fb98f66b8cd2aa1b119df2c84e23f044d","datavalue":{"value":{"entity-type":"item","numeric-id":3130546,"id":"Q3130546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$9ED1D9B7-510C-4FF7-A07A-15C17437A3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dce28ab971e6370c235c238e62f5b4e7250ef19","datavalue":{"value":{"entity-type":"item","numeric-id":4265614,"id":"Q4265614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$E08EFD65-164D-4041-89C2-505FD145D883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f57c9538f0b1dd16d33923f1677b05cfc8a67f","datavalue":{"value":{"entity-type":"item","numeric-id":4922080,"id":"Q4922080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$83400344-85CA-4517-A414-03CB820380EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71afc0b8c24385dd8262d56f2209d13519473807","datavalue":{"value":{"entity-type":"item","numeric-id":2351719,"id":"Q2351719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$71A7653F-8046-4DBF-B4D1-F905A161AAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03ab84d95948deb02a6b7017c1b1faf05f72a82","datavalue":{"value":{"entity-type":"item","numeric-id":1963068,"id":"Q1963068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$F25AEDA9-153F-4AC7-95F3-286E9BA9B987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4e9684960aa85ef546527a9bf0634128729c17","datavalue":{"value":{"entity-type":"item","numeric-id":684027,"id":"Q684027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$890BC4EB-DC0B-487D-9880-70F86DF6CAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75f028d63221f748b91dcbb6e43e067db385f64","datavalue":{"value":{"entity-type":"item","numeric-id":1854478,"id":"Q1854478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$0E192F7B-F152-46A3-8696-B98D2C5BBB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68124972297bb6b46434b44077356e21d4025183","datavalue":{"value":{"entity-type":"item","numeric-id":290633,"id":"Q290633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$7D1DF283-9CB5-44DA-A1DF-0E904C4EBB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5e00fb5d9ecb7ba49a4ddb6ed9cdc2e99ae7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1434362,"id":"Q1434362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$2C527035-B0AB-419F-A9DC-CC2368523FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc792bae0bc77bd53e8aa6abf9176eb303ebe57","datavalue":{"value":{"entity-type":"item","numeric-id":5220179,"id":"Q5220179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989346$DFCF7205-F1E8-4D01-AE22-A365B138A603","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"599d6db2c5dcd37377a9b943810962cda7a13eed","datavalue":{"value":"Q126304762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$C8AB0886-D236-4F48-8804-F0128762BDD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afe4cd28c72f85718e164b1b7b38da389b84d858","datavalue":{"value":"10.1016/J.TCS.2020.01.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989346$CF1B170D-E3E1-408E-8427-D8170E9DA4CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9401a21cc5735f62bd1bcee6099504e8b696effe","datavalue":{"value":{"entity-type":"item","numeric-id":4981459,"id":"Q4981459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523c03eed8d5d920b47ae35f92ff4d14b4dba6c3","datavalue":{"value":{"amount":"+0.7588832974433899","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":"Q1989346$55D8EC02-33B4-441B-8C04-81BBE008FC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5aa33a8484a36be54dfd5e0a74f42e39bbd8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5220179,"id":"Q5220179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60599dc4f6fa4d52ffd12ce058425ad93285930","datavalue":{"value":{"amount":"+0.7566112875938416","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":"Q1989346$1E6D3DBD-E8B9-4756-A5BD-D5830BB0AF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf4ef92964317e200ec1854ab2cff3b660199c","datavalue":{"value":{"entity-type":"item","numeric-id":4456937,"id":"Q4456937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39be4333d01c1aafc2a62c26441848a8d482369b","datavalue":{"value":{"amount":"+0.7557138800621033","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":"Q1989346$E520DE8E-8E66-4E2A-8462-A9CF4AC98ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20cbc7a5b43999bbd75f79aa6c19bae9d490f564","datavalue":{"value":{"entity-type":"item","numeric-id":859843,"id":"Q859843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd6032fa688db061b79f886140555d1d27ee45d","datavalue":{"value":{"amount":"+0.7445553541183472","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":"Q1989346$DF627940-6DE1-46B0-B5F0-634DC5F70EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a71e65858d3ea1280a74f6ccebd478efcb4687","datavalue":{"value":{"entity-type":"item","numeric-id":2577617,"id":"Q2577617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa01c622561845ed0781dd72621b797e5a27b7e","datavalue":{"value":{"amount":"+0.7324402332305908","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":"Q1989346$D343ADD7-C9F9-4A8A-AC90-35C4D0AD2110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for Lawson compact algebraic L-domains","badges":[]}}}}}