{"entities":{"Q3703869":{"pageid":5733775,"ns":120,"title":"Item:Q3703869","lastrevid":50422160,"modified":"2026-01-14T00:40:21Z","type":"item","id":"Q3703869","labels":{"en":{"language":"en","value":"The undecidability of entailment and relevant implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928960"}},"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":"Q3703869$9D09DA43-4686-4179-8FE4-B71DDC81093D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6da3e010ec976e3fcd2790e92044cc4f4e215335","datavalue":{"value":{"text":"The undecidability of entailment and relevant implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3703869$A0AA193D-4B74-4B50-A4E2-B97FF9F28302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33613df5fc2b038cbb180d1e8ac4d51c8919d467","datavalue":{"value":"0581.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$2D150706-3C42-4990-B984-86221937A9F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9265fbf7482064beefbd45615cae58eb3aa70dd","datavalue":{"value":"10.2307/2274261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$D7086D85-1CCF-4330-ADA9-6286ECF9B383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$B259BD9C-AC24-42F8-AF86-08A99F5A3C28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$CD0D1BCA-C0EA-4FE6-AE3D-C9FEB682BDD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3703869$FCC0E5F3-71C8-42D6-893E-A9EDD6EC120D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$36A0E6F9-7B10-4FC7-860B-2E5004DDDC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$9EA17334-F15C-4BEC-8EEF-BC507E5BE87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$AFFE970B-EB1D-44FC-A148-129B2A8263A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$899F7BE9-11C8-4D07-887E-DD24287F7250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$36C20677-5A03-4E26-B659-B7C6ADB626E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$6114AA0E-3502-4A09-A284-4149A55FCD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$E182E1B9-BE4E-44C3-8A14-7C6B6804E73F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54079b34e09548bb915033e41f3898b857c1f2bc","datavalue":{"value":"3928960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$B7BAD1DB-249B-4089-A0F6-896E898AE89D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2206e7239eaa8848cb9bbe6ed47254ccc2214abc","datavalue":{"value":"ticket entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$7ECFD060-35FA-47BB-B594-15EA865A7F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$A6E77820-AB2B-49D9-BA7F-F31827D42EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c3921d666dde100f7140651a610dee9b25f20f","datavalue":{"value":"relevant implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$0836FCA0-0C79-4138-8104-415B6A891774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5b9494da5e76f6fd1bc5d21a8846bdfe2b76f5","datavalue":{"value":"modular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$B0ED7174-4904-42EF-9370-9B1BA91DB127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5095037cdca057d254ad41d97f1a242ac91223","datavalue":{"value":"coordinatization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$F7CEAB56-66B0-4A7B-89B8-9741F29F3596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619cec4664a98d8c81850d161b273c3520446471","datavalue":{"value":"projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$71D530C5-15BE-4451-884D-28F3756828C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$0FBCBFF3-B9B2-409E-AF19-8C995A4831E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4be7673c1228772fc3c1a6ada66aea2643af83","datavalue":{"value":"distributive lattice ordered commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703869$FC1740E7-BA25-40A6-9232-57E089C866E7","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":"Q3703869$62A8FE89-8E61-4D9D-918A-806148FFFC3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0cc97b774ce0144655b18d0d7a3a7521a001f73","datavalue":{"value":"https://doi.org/10.2307/2274261","type":"string"},"datatype":"url"},"type":"statement","id":"Q3703869$7E29EE4F-553C-4EF2-9E8E-E93A721EC700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78a2929bd2e35d46bfde80298e6c26c46bf00c1c","datavalue":{"value":"W2009732936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703869$24842206-F5C5-4726-86E6-C6DB91CE3AF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc97376a0826fc1f4fd71712df9cd9e88a6ba93","datavalue":{"value":{"entity-type":"item","numeric-id":759047,"id":"Q759047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$AA8F2619-02C6-4803-AD18-22CF3D21449D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10670e83ac257a39006aad416722f9e5f2826687","datavalue":{"value":{"entity-type":"item","numeric-id":5519120,"id":"Q5519120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$2BD74097-582B-4707-A132-178FB86FF593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc31a9f01623662fcd1d5e33286024595c35768","datavalue":{"value":{"entity-type":"item","numeric-id":4113803,"id":"Q4113803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$21B9C4E8-466E-4E4E-B103-B816EEA3E160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$716EEA58-37E5-4ED8-BC12-BA6135390DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce7fe636055addb74b6f71ccead506a3800d568","datavalue":{"value":{"entity-type":"item","numeric-id":4055963,"id":"Q4055963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703869$D32F63C0-71E3-4FED-83EB-8C70100B3E00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa668e68b881f333588a8fbc0edf0cca0d63c37","datavalue":{"value":{"entity-type":"item","numeric-id":2574887,"id":"Q2574887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff6d92169cf54e7e7342ba30414a9f80ee852cb","datavalue":{"value":{"amount":"+0.89479196","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":"Q3703869$BB039E28-F7AB-4186-B678-3AACF904FEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6d1372fd2518fbdea02a060a72ce6887b44e16","datavalue":{"value":{"entity-type":"item","numeric-id":5556405,"id":"Q5556405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bd3d1ea68c3dd40a402d790d1b9ec1ee63c441","datavalue":{"value":{"amount":"+0.892907","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":"Q3703869$62E1A8E3-6FC1-4809-BD23-4BF6D682969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7dd62626328c13414567fc79743a33774b0c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5006815,"id":"Q5006815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4938e019923bfb8287f665af2e24f1891f8d84","datavalue":{"value":{"amount":"+0.8777957","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":"Q3703869$B7D82FD9-0FCA-43F7-B4E3-44691CC58F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e9983cde288176f42760a05b7a49c754e5379f","datavalue":{"value":{"entity-type":"item","numeric-id":4942682,"id":"Q4942682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d6612bca45c6c97b444748c827111d61dc11e3","datavalue":{"value":{"amount":"+0.87706697","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":"Q3703869$E16EBE72-473A-450C-A73D-EF3706801C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d2ee0384adde2b477e48e189c2416a99e4645","datavalue":{"value":{"entity-type":"item","numeric-id":4644571,"id":"Q4644571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03edb5bcb2c7fa88dd92abd16c5bb992a892ad7f","datavalue":{"value":{"amount":"+0.87697464","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":"Q3703869$8A132267-B570-446A-ADA6-F6C484D897BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345a23c3869bfafb8eed5d17b432ae196016e837","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857b1eb831ae4070aced3a5359ecaa8b768294fd","datavalue":{"value":{"amount":"+0.8763794","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":"Q3703869$9D92DCBB-AB10-42DD-A3BE-90B061E45467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158b1b876e8a92ccfc5db050e93d6c3caff85862","datavalue":{"value":{"entity-type":"item","numeric-id":4230359,"id":"Q4230359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136e17d2826fc4d6b09e49ffe3b96e3965456aaf","datavalue":{"value":{"amount":"+0.8751691","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":"Q3703869$9E3E492B-1D85-4724-BFA9-1303B7768940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99be161f8526e2b2370798c1c3ef852a2baf7677","datavalue":{"value":{"entity-type":"item","numeric-id":5251298,"id":"Q5251298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d9bc96f4b6142a901659116c47a46417b3ec3a","datavalue":{"value":{"amount":"+0.87316835","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":"Q3703869$79B0F429-E47D-4105-BFE3-3FDA23B8CA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ad7a2c29386f7f910940c7088202446808fcbb","datavalue":{"value":{"entity-type":"item","numeric-id":1327489,"id":"Q1327489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d916c15c9cd8ba44f8d6a6458ddf6482d0503d71","datavalue":{"value":{"amount":"+0.87172556","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":"Q3703869$D249D53D-CA0F-4D6A-9014-930728289517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ea692c8b39b39036700bd12b02210c733e8444","datavalue":{"value":{"entity-type":"item","numeric-id":4644516,"id":"Q4644516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bcbef06abb7d749fe01d3f1c7933addfc97e54","datavalue":{"value":{"amount":"+0.87158924","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":"Q3703869$46FD270C-FE40-4B4F-A214-025D1A7E905E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3703869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3703869"}}}}}