{"entities":{"Q1038602":{"pageid":1040450,"ns":120,"title":"Item:Q1038602","lastrevid":66603936,"modified":"2026-04-12T11:14:32Z","type":"item","id":"Q1038602","labels":{"en":{"language":"en","value":"Dual gaggle semantics for entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5635373"}},"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":"Q1038602$EB10EF64-A158-49B1-A7A4-6A4013DDA1DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffa240c5791e5048c1ec35db000b08b85f40bb49","datavalue":{"value":{"text":"Dual gaggle semantics for entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1038602$3BC2E9C4-1E16-4179-A493-F6C80A95B3AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0e4e9d9f2bde65b7f2d07c3cc3d21210b8b851e","datavalue":{"value":"1190.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$47B479AF-433D-40CF-BD47-BE639BA34723","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf8247a078ad0207c26be82038d33ae00d75869d","datavalue":{"value":"10.1215/00294527-2008-025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$072604BB-458E-4E6C-BF41-6B2C13C2B85B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038602$65A6FAB9-F7FD-4C07-B6E8-05011EDA8BDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1038602$C19E6A1A-4DC1-40B4-89AC-2CDC1625A012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d854bb3e97b3fd38c10eaa4e7365bd0951b145d2","datavalue":{"value":{"time":"+2009-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1038602$6A42AF71-3C22-4BD5-A128-D85873422508","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$C0D9D7AB-E8E3-42C8-B6F5-0D19EF4389E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$7C9AE4F8-B7A3-4A49-B0AF-A77262C6DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$07729B61-F5F9-4704-BC62-2C2A1E8BD4C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8efb9fc92926ece01079fc1502c0933f7802602","datavalue":{"value":"5635373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$BD8ABDE4-9DF1-4DA4-9F19-1A043190697D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038602$DE8EB0EA-31FE-4C6F-AFED-91340CAB8036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038602$62068C15-CB33-4A01-8B65-8C85A77F717E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d8e6f5a0060af49bedc1544af4e37bbfcbe599","datavalue":{"value":"gaggle theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038602$87C4DB80-7549-4FB9-99BF-99E113163A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb44b55abcb795507543d0f7b30faa230f63db4","datavalue":{"value":"topological duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038602$D830E988-9C33-4574-B9EE-EF2433DB8591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038602$B0A8BFB1-DBCE-4948-85E2-138BB4FC81B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd34074526ff9d5d53722d72ef57f42fa801ea2","datavalue":{"value":"cut-free proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1038602$0F22DCA7-D810-47D5-A8F4-55364C2C2849","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":"Q1038602$5F850ABB-FC93-44CF-A77D-ED5512889D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9256728f865560f361d7bfb6ee4c42891cc4184f","datavalue":{"value":"https://doi.org/10.1215/00294527-2008-025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1038602$65DEB282-E573-4C7A-B3F9-437B69C6B994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bedfb7ac258097a1c602683635b265a1c364515d","datavalue":{"value":"W2080928384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1038602$52C8AC72-C6E4-4876-B83D-F5DB852E122A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bad7c79490b3de45876778663776f761bcef44","datavalue":{"value":{"entity-type":"item","numeric-id":5690150,"id":"Q5690150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9191d01cdf251c531a612348bd1bf9819580f114","datavalue":{"value":{"amount":"+0.7518014311790466","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":"Q1038602$F97FEFFA-9DFD-4B3A-87F1-00A0811949D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9f00ccddffab861f99e85c927779bd39846b50","datavalue":{"value":{"entity-type":"item","numeric-id":2776812,"id":"Q2776812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9191d01cdf251c531a612348bd1bf9819580f114","datavalue":{"value":{"amount":"+0.7518014311790466","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":"Q1038602$91FFC354-C4D5-4111-A038-1CAF998D5D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987476dcff3f8e0370c96e94b452e06ca3de87de","datavalue":{"value":{"entity-type":"item","numeric-id":5869717,"id":"Q5869717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c257eaa9a5d837f1573405fabb7e523fcbc24bb","datavalue":{"value":{"amount":"+0.7278280258178711","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":"Q1038602$B1466D76-FFB3-4EB7-B308-358F86F781F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7766c191d235d4bb77b01c4e56693ab61a07863d","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0673526875fe2e946f1e7fbd36255aa5b176ceb","datavalue":{"value":{"amount":"+0.7246313691139221","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":"Q1038602$0716FA52-EF06-41A9-8A32-85A6DE98CB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945011638975b884610b355f28847199d7e254fe","datavalue":{"value":{"entity-type":"item","numeric-id":4876312,"id":"Q4876312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe14d2aabab8913e1fc87d6f9f2444cebe96780","datavalue":{"value":{"amount":"+0.7198052406311035","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":"Q1038602$043E05D8-D20C-416B-B9EF-6B6B3DF9BBC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual gaggle semantics for entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dual_gaggle_semantics_for_entailment"}}}}}