{"entities":{"Q4603450":{"pageid":6633033,"ns":120,"title":"Item:Q4603450","lastrevid":89951270,"modified":"2026-06-04T18:42:12Z","type":"item","id":"Q4603450","labels":{"en":{"language":"en","value":"Logical relations for coherence of effect subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6841179"}},"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":"Q4603450$7FC78F6D-9D42-4BB9-8360-FB55B33DD651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeda857c1ef80942028e94b2318a0e225d78783e","datavalue":{"value":"1398.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$3D4285E3-6A20-4083-80A5-FEFC63F7A3AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8bc7211423c31cc5a9a690856d701825eeb5b48","datavalue":{"value":"10.23638/LMCS-14(1:11)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$0964FE3B-E206-411A-8C51-43898582D231","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$95E152EE-FEDD-4865-9ADA-884C16FE32D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d15931f2a428c8477f7ea628f404a74826e0223","datavalue":{"value":{"entity-type":"item","numeric-id":2130581,"id":"Q2130581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$8624BE78-0393-4282-ABD3-2C84988DA7EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89e9697ececd3e3495e15862459be636d773c40","datavalue":{"value":{"time":"+2018-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4603450$77E6BBDA-8AC1-4E9D-81D4-8488BC4B8CAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ed5303fa462fab7d9c9df3c5bb4c02adfa996de","datavalue":{"value":"https://arxiv.org/abs/1710.09469","type":"string"},"datatype":"url"},"type":"statement","id":"Q4603450$82596CA0-4E0A-4DAD-A4EB-4805FFF1B056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$F24AEFA1-6E77-4589-8E6E-0B7B5C9723FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$2E208C38-D9A9-468F-BF73-A064632F60F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$607AE33D-13CD-47E8-A176-B2ED625AEF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$EBF7E839-AF1C-418E-BA04-8DEA7023E42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$7AF3D63C-FDD1-4880-9A47-6723F6B2E2D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a47a7665e9df2cac1e49d3bd6f5dc229e5b614b4","datavalue":{"value":"6841179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603450$E8A8DF5C-B9B6-43ED-8CCC-A850421DFE45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603450$AB3A44FE-8E44-47B3-A84F-5C1A5C16AA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38841710a8af25f79d2de887f83271b3c8ac318","datavalue":{"value":"coherence of subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603450$CF446DD5-D48D-4179-BE03-C0A8E57F09CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd09c797952a268ece59feabb30b339489339461","datavalue":{"value":"logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603450$71A974FD-BE0D-4520-9F55-16BB359EC3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fc4eb33594b7f548265dc9d4836979c460b769","datavalue":{"value":"control effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603450$A995FF52-27EE-42C5-857E-A8E4BF8D5DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603450$A2E0E814-313F-4964-A71C-8CBE84DBB5D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$DB6181A0-2807-4D57-92D6-085C011750C5","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":"Q4603450$907673DF-15AF-4D30-9753-FCFCEACA6D50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$4AB24C19-454A-4702-944D-A040C6826500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$D7CE5AE8-3CBE-4937-A5B8-BF90175C3398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$615F48A1-D952-4936-92CA-F7938120FA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3619685e4ee627f635d8418a28176c14eb857f9","datavalue":{"value":{"entity-type":"item","numeric-id":3498441,"id":"Q3498441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$B7118F0C-2F80-4198-9876-9D034029741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$F13BB151-A10C-4AD2-98CE-3EFD3F10D48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378877bcf6c6784857308e7934243ad314668b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310642,"id":"Q5310642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$E74C92A9-A8BD-4B59-BAF3-C0B1AE4DBCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eac0edb5f234ed7d563fb0dc4cad8174ef47d26","datavalue":{"value":{"entity-type":"item","numeric-id":5277834,"id":"Q5277834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$41638510-2C6F-457D-9FAE-4D7CF7C317DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$04DB0687-8F9C-4AAB-AB08-CF51FEE51161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$B25F72FD-815C-4B1D-AABF-B4BED986E448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$F01A20B6-1E03-4B55-A563-1528B0F3B0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981971dbe9fa7828b869d7b709a526920518ceb4","datavalue":{"value":{"entity-type":"item","numeric-id":2819670,"id":"Q2819670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$56D105FE-450B-463E-A81D-5CE9C40E0118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b682d9f729ce62bb5d3c946b63b7c32c2060bd","datavalue":{"value":{"entity-type":"item","numeric-id":2875223,"id":"Q2875223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$01422E11-92CD-4844-A190-36D21D5964BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff33ec0f70d39b662faf6224db55ac78dbb9cc20","datavalue":{"value":{"entity-type":"item","numeric-id":3165524,"id":"Q3165524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$FE83B6E1-3E25-40A8-A08B-0131018164ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3593a8185934efd3c3a0c5440c6a3f97f0809e06","datavalue":{"value":{"entity-type":"item","numeric-id":5370856,"id":"Q5370856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$C26A6D15-C46F-4DEA-9CF9-1BB85D34162D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$CB585C14-3C1B-4469-A6FD-B8ECF34D7A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9e5f1ed0b38b3c96336398721020676e62fef4","datavalue":{"value":{"entity-type":"item","numeric-id":2958543,"id":"Q2958543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$0692FA6E-A81A-4764-8DA2-18A761D88E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e2c8a9108b4d0eb2c42169a5db48e9f4898b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5176965,"id":"Q5176965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$67408197-6DFC-47AC-9526-D307A49A6825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d5df98953ee5a324888165f0a872fed54c20a7","datavalue":{"value":{"entity-type":"item","numeric-id":4635655,"id":"Q4635655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$AE4FA94C-FE32-4551-B20D-11A163A54119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$EB3ED3E3-91C0-460C-A45C-5090755A64D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$AEB0793C-71DE-463F-A0E1-0F80837CB36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfda0e229947f3a16f4624eaf252fe910fff41","datavalue":{"value":{"entity-type":"item","numeric-id":5096244,"id":"Q5096244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$8D41F5FB-5120-4986-BD6C-27BA90779ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cdc289382df1918e1c24bc48551a339b33b359","datavalue":{"value":{"entity-type":"item","numeric-id":2936829,"id":"Q2936829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$CFDC6EB0-565B-4BD3-A9FC-CE3F5D66D0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138aace222cc1e8d5f1bf09baacbcdc2cb6515c3","datavalue":{"value":{"entity-type":"item","numeric-id":3616445,"id":"Q3616445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603450$604E11D0-57A5-403B-AC38-1E685D9FF0E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f6a0e9318f375d7d2af26ea03a839a49bfd40f","datavalue":{"value":{"entity-type":"item","numeric-id":5277834,"id":"Q5277834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q4603450$AACCEFEB-F689-433E-BD41-C4D2F165B54D","rank":"normal"},{"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":"1fef1a94afab4e84b23521dd0c00b30c0b483a47","datavalue":{"value":{"amount":"+0.781237781047821","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":"Q4603450$28E153CF-546F-4682-964C-EC23C4E7577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8e7fdc87fbbabe421b43e43f318eee0f14f444","datavalue":{"value":{"entity-type":"item","numeric-id":3616445,"id":"Q3616445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1372d4181c8062cf139918ad1937fbe3aab027","datavalue":{"value":{"amount":"+0.7792697548866272","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":"Q4603450$442BAB0C-6CD3-48DA-B412-67684873F3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be38d9395c7e619ae2de13b025c1ddbe012b1c95","datavalue":{"value":{"entity-type":"item","numeric-id":5712311,"id":"Q5712311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae80660c29cda14213a53e1376455ef7f95f6ac","datavalue":{"value":{"amount":"+0.7613843083381653","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":"Q4603450$CC78A2FB-887C-4B02-8990-13DC00823FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715475a5e4b33503e21e86d37cb680ba74d1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f4ac7a1d9aa0ee8f1c0259ae8d790d017b4450","datavalue":{"value":{"amount":"+0.7559475898742676","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":"Q4603450$E43015C5-CD82-4741-BA86-1B49A36B49CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical relations for coherence of effect subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_relations_for_coherence_of_effect_subtyping"}}}}}