{"entities":{"Q4507489":{"pageid":6537082,"ns":120,"title":"Item:Q4507489","lastrevid":47512354,"modified":"2026-01-01T22:58:47Z","type":"item","id":"Q4507489","labels":{"en":{"language":"en","value":"Coherence and transitivity of subtyping as entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1513424"}},"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":"Q4507489$EF1872AA-F5C5-46EB-8F28-DB2746BB8E02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ad7a850f7d9c69d5d6d24554132fbfca1c526a5","datavalue":{"value":{"text":"Coherence and transitivity of subtyping as entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4507489$C9AE512A-35E4-4C64-A806-2816635B8FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e0f86ffa4a0dfbfc4fd730b143438587e95b87","datavalue":{"value":"0959.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$CCA6D7E4-1985-418C-A5D5-929E155E86EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d696672123bc34b920816efa7ac95e985dce1194","datavalue":{"value":{"entity-type":"item","numeric-id":1314358,"id":"Q1314358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507489$0D4B546B-08A2-4D54-809F-D7F14B20D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b243572f25465f3ae7a32f2d3b06ae2073b8520","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507489$562BB6A3-CC9F-4E13-BA9D-398AC29D7505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4507489$03D09B23-208F-430C-95F9-8038DDE92820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-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":"Q4507489$1358AB24-CE07-4E5C-9746-56AA79E1A18F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c551cb5d1383200fb8c94b6dc82f41d89bc314a2","datavalue":{"value":"https://semanticscholar.org/paper/75cf09f2ef487c5d9a6863e7788354f18bc9df7a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4507489$133B4271-F572-4F8C-8552-EA1DD4A15E2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$CF260015-0C44-44E6-BE3A-B5BFC80CF90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$4163A5DE-DD82-475C-8566-00A6EDE1E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$706D6AD0-88AD-44A2-AA59-9F3C80A7E6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab1c585e6622ab6d80d7e66f01d9b7275cf5b80c","datavalue":{"value":"1513424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$1A123353-61E3-4033-BB7B-549F0E69723F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507489$D6FAE433-620D-4D26-ACF5-4EB1F159069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e03dfcecf2dccd6737045dff4aa301139e0e7","datavalue":{"value":"Gentzen sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507489$5279A030-8370-46F0-9D6D-364DD70A9076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507489$2A1EDC3B-0D75-4268-8B00-EDD212241C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507489$C2B52CB3-49FA-4586-BEB0-48548D95A18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4507489$2ADE2484-517B-4E15-8879-7951EDD63718","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":"Q4507489$E313F0FB-05F3-4BB1-9A1F-2604922C07AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be6b302e6cb1c86400d70a1c0b5a0d501e9ff85e","datavalue":{"value":"W2069624336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$0282F471-F0B5-431A-8261-ADE540BF3C82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0c0fae88fe520a9edb93d70dcfbac6da429d198","datavalue":{"value":"10.1093/LOGCOM/10.4.493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4507489$0A33847A-7394-4809-A0C0-2D27B8BD4A8A","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":"Q4507489$FBAB3C6C-1876-4766-8B4D-7BD96AA096B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c0685f2c7b5603199b4b6f4d9369b7a2f77524","datavalue":{"value":{"amount":"+0.8047888875007629","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":"Q4507489$D65D3254-A332-47F8-A3AE-266E7B45B0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4fa2b7f0678d45ad1d23f39cb74e0c27da62eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375803,"id":"Q4375803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795903016dca60e0ae2947f55d79c3025ee29cbd","datavalue":{"value":{"amount":"+0.7885440587997437","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":"Q4507489$86F45BB5-07E4-4D8D-BBB4-D9CB22CD943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9725f583a298b1d5899c228a6da772ae3c3df61","datavalue":{"value":{"entity-type":"item","numeric-id":4855340,"id":"Q4855340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795903016dca60e0ae2947f55d79c3025ee29cbd","datavalue":{"value":{"amount":"+0.7885440587997437","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":"Q4507489$C4A62D83-8FAA-4653-AB24-9A8D4DC75B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e56fad770b21aac099f7fcd075ef7eb694223e1","datavalue":{"value":{"entity-type":"item","numeric-id":1854408,"id":"Q1854408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd65219b7f65ec36b15586be5e31fb7d339fa00","datavalue":{"value":{"amount":"+0.7839453220367432","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":"Q4507489$1DA5AD7C-38C6-4E8C-89FC-DE1ADB39BACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd787b89bd438bc28ab4259f77e0e7182b5cf750","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94e9d1ff34441e2dd0c9ebd31c09dde8d02d500","datavalue":{"value":{"amount":"+0.7797026634216309","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":"Q4507489$91ECDD10-2EE8-46DB-AC93-83FD12B2BAE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4507489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4507489"}}}}}