{"entities":{"Q5048008":{"pageid":7077585,"ns":120,"title":"Item:Q5048008","lastrevid":98318759,"modified":"2026-06-05T17:13:06Z","type":"item","id":"Q5048008","labels":{"en":{"language":"en","value":"Consistent disjunctive sequent calculi and Scott domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7618923"}},"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":"Q5048008$4D71B125-25EF-42A1-BDBF-C413CF5B1B7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a20fe8e2680ff0cd9155e8de22d881382b053807","datavalue":{"value":{"text":"Consistent disjunctive sequent calculi and Scott domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5048008$DF267DC3-75E0-484E-8C2D-C7EC9549737B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a0827346be5033329c0ebf53a035bee5346e57","datavalue":{"value":"10.1017/S0960129521000086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048008$5424232E-4532-4675-BD91-DB77F982CAA1","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":"Q5048008$33F66F18-2F13-4C04-A080-9C982B973BC4","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":"Q5048008$7A4B3309-B8F5-4865-9E0F-4EB85F70E00D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$D75F9E64-1F5C-4DFC-94FF-1673096C47F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbd7a4f9b483e0e9b01f79a913d4946a9bd0bf2b","datavalue":{"value":{"time":"+2022-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5048008$53211A52-C7E9-45C0-AD87-1ED9ABBE4231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048008$9DA4F510-44BA-4922-8C01-AD2A8E093F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e69623968f2c3e3d71b5c50c0f39fe3fc6c4f5e","datavalue":{"value":"7618923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048008$799383EF-36F3-40AB-B866-86F0154242E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf8f5beb12fd8b477da254fda49768505509580","datavalue":{"value":"consistent disjunctive sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048008$D0364572-7F54-4696-BF96-E9F11BB53A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048008$3597E7C1-05DF-40A1-BA63-719CDD82D5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423ea4d0e2be16145702233b5f78fdc515ee981b","datavalue":{"value":"categorical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048008$7A8B6A75-70F5-42C7-A78A-FC401FB94796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048008$43C764CF-D97A-490A-BFEF-BB97D92FB27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecaeeab4e4e28087c0875bb73cc6106bd3ccc0a5","datavalue":{"value":"domain equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5048008$8610AFB0-F629-4B54-9AD8-C034EE6E5F1A","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":"Q5048008$33AE8067-4D39-4FE4-8B52-F26D595A4916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"585e26faeb3a534acbe1387375b197c8abf86584","datavalue":{"value":"https://doi.org/10.1017/s0960129521000086","type":"string"},"datatype":"url"},"type":"statement","id":"Q5048008$638F4AB5-1E9C-4ED5-A139-8FA38D7BA7DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"315a2c36916bab37fb26a82f29dbcb538d85e832","datavalue":{"value":"W3193339507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048008$DA4CD953-6BBD-4843-9784-9CC9B30CCFB4","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":"Q5048008$4EEDA7A2-EAE4-41D0-98F9-D1F813B2BE00","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":"Q5048008$E4E0B069-64CB-43EE-BC2A-430364C90B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$B1456FDB-1248-4ED4-8861-57B6358975E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c69056c9d6515700053f8c98e91811967c56cd","datavalue":{"value":{"entity-type":"item","numeric-id":1794269,"id":"Q1794269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$2B08A4F0-5EDB-49B6-8473-7599432B745D","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":"Q5048008$46F758C0-4E41-44EE-ADD0-2599C814E32C","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":"Q5048008$155F4128-58D4-48FB-8171-33FBE32698CC","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":"Q5048008$3B8E8691-1427-43B3-B1F1-03694D22E387","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":"Q5048008$493AD333-EED7-4949-B393-8C027931E01B","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":"Q5048008$64E75983-B352-4954-9D16-4953948E3A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$D57D371E-CE95-4E6A-A341-484E27F38661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$6A03B5C0-D439-495E-868B-EFEC083DCBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a6d808cb8de05c1f0c938e5eecdf0c799e5020","datavalue":{"value":{"entity-type":"item","numeric-id":949623,"id":"Q949623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$90085F30-55E5-438B-8279-927CCA2071F0","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":"Q5048008$FF755868-B297-454F-AE58-7B15D1716DAE","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":"Q5048008$FCF98D4B-A95D-488F-A6D1-7E5819D88DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e08477502e3a31e51b39f20bf4937f96676c229","datavalue":{"value":{"entity-type":"item","numeric-id":5204324,"id":"Q5204324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048008$3E411E53-DB0B-4E7C-8CF3-EF59B70037B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb27ff7b7207c6ac56d05309455f0a5e774be33","datavalue":{"value":{"entity-type":"item","numeric-id":2110729,"id":"Q2110729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ca8ab8d955301bd29aa332407122a8c4c246a0","datavalue":{"value":{"amount":"+0.9286767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$7925EBF5-7452-45FB-BAA7-EEEEF540D6C4","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":"212ff13c93341a75e5c0b41fcf4c69e12fd4de02","datavalue":{"value":{"amount":"+0.8764245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$8CF28667-EF69-46FD-9A95-E60830812362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f4b198734be502189e2b31190ed2334f95b052","datavalue":{"value":{"amount":"+0.87530065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$CAA4675A-73C2-4C21-90D8-7FA46117ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647df8f3db46c8858f6ba5fb171006733691bb32","datavalue":{"value":{"entity-type":"item","numeric-id":1409300,"id":"Q1409300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37447ec9c9d21506ac1df519c10fbb7eeb7d5205","datavalue":{"value":{"amount":"+0.87240267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$E5783E02-09F3-43AA-B65C-4103B6230447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a7488a3a60c3b761d4d461f2fa1ba3545a546f","datavalue":{"value":{"entity-type":"item","numeric-id":431702,"id":"Q431702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6379c5f08a2c04ac0b6ec333e0d72df36d50f28b","datavalue":{"value":{"amount":"+0.87208587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$5D4E1EC8-7C5C-4216-973D-4AE45AB70EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4d7ae803c71d3c2d5dcf494c8f50c720bb52fc","datavalue":{"value":{"entity-type":"item","numeric-id":2104520,"id":"Q2104520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ea71eb2c3f4f688e0f398476bd3548b3252fd8","datavalue":{"value":{"amount":"+0.87195873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$8A6B573D-A282-4141-A8DF-90E687ED65CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4462c42eb3d68968351a73b4d68e5b3d978302a1","datavalue":{"value":{"amount":"+0.8701898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$2478F9DB-7C5B-44B1-ADD3-537C565F663E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd415a1300952847626a9ba1136e68c7bac42e45","datavalue":{"value":{"amount":"+0.8695692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$18AF04B9-5A90-42A3-96B1-852E7E14EEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcef6a4c4d89901afcee0772c8aa537a5f384c2a","datavalue":{"value":{"entity-type":"item","numeric-id":6162079,"id":"Q6162079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fded5f07784a2f955b0070565850ca12dcaa1e34","datavalue":{"value":{"amount":"+0.8687724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$E18762F8-0C94-4869-A2EB-6409E0454C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5855e44423a5c9fe0685cc96a6814fddb95c7466","datavalue":{"value":{"entity-type":"item","numeric-id":4455512,"id":"Q4455512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4983266de2ea0c111eb485101a86adb5eba4f355","datavalue":{"value":{"amount":"+0.86876816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048008$7C2A0F3D-B584-4200-A27C-92C0A9E377DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent disjunctive sequent calculi and Scott domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistent_disjunctive_sequent_calculi_and_Scott_domains"}}}}}