{"entities":{"Q1419383":{"pageid":1430123,"ns":120,"title":"Item:Q1419383","lastrevid":68659461,"modified":"2026-04-13T01:15:01Z","type":"item","id":"Q1419383","labels":{"en":{"language":"en","value":"The logic of multisets continued: The case of disjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2027181"}},"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":"Q1419383$F37BD72E-577C-4F35-B557-9F0F393D7BE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df19584ca35c0d85d1b0b221e1dd4ca22ab1232d","datavalue":{"value":{"text":"The logic of multisets continued: The case of disjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1419383$9B6CCB74-B7FE-48DB-9E2D-0EE252ED9DAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b759c28851289ccecf85d455f9d76b96279783","datavalue":{"value":"1072.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419383$CC1CFCBD-A47D-4830-AC49-850D15F76451","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419383$3BFF81A4-EC59-4E50-AE47-F65E36CF1395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419383$2176105C-6600-41FD-8ED0-B99A60642D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad5e0ccb1f33d4e953d3cbe4e608e42b46cc271a","datavalue":{"value":{"time":"+2004-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1419383$11DCF58B-3FDC-48B7-AD06-D4F99E18AC43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419383$774D8230-4543-4F38-88DF-D5BEEB446DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2df5e49a32f1af7980bf91c9389bab45bbd52f70","datavalue":{"value":"2027181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419383$9BF1EB82-2774-46DC-9277-1AED19E5B233","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a2c73e8d789c67d2867bb0115d04bede4b06b1","datavalue":{"value":"disjunctive multiset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419383$4E187201-4BD1-484A-8326-1B9BBBF43BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419383$C412C913-79BB-48A4-AEE0-69CEDAAD3BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49a70cabf9eda16d75096630ca5901a0f3c799e","datavalue":{"value":"Horn fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419383$EA28A9E0-BCD9-4A9D-A2CE-FEEB97A42039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6db0c538227a37d1f758bac0f3f48fdf48ab65c","datavalue":{"value":"semantics of the Horn fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419383$8B5A9B44-B697-4FAB-9D55-E51070E4B498","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":"Q1419383$81206CE9-E65C-467F-B890-E8503183FED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af223aeb14e2055a65e3b326fc24b46d37d21ca","datavalue":{"value":"https://doi.org/10.1023/b:stud.0000009561.61962.5a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1419383$F9131AEE-42EC-4352-8E4A-B23A41A6401C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b026a700e6033eed511cb3fbc28491d0ed7f42d","datavalue":{"value":"W2020897672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419383$E1210E38-155B-4C07-984C-078AA901333D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c485569865995ecfe70cb57198f9c5d392669d20","datavalue":{"value":"10.1023/B:STUD.0000009561.61962.5A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419383$2903EEA8-B49E-485C-BD54-3E4A0089068C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc341d403f821c889894f8cb5337fe377605d4","datavalue":{"value":{"entity-type":"item","numeric-id":5283419,"id":"Q5283419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94e256db76bd9c7dffb4412e4fc09b71ecf579d","datavalue":{"value":{"amount":"+0.87255585","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":"Q1419383$9DD013A8-C157-4A5E-AB5E-2765932D023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d5c5a6b96fd18e50f41a9a570c85f93ad06e94","datavalue":{"value":{"entity-type":"item","numeric-id":938238,"id":"Q938238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80df08b59c118fbee720051bdf6c46d804f1959","datavalue":{"value":{"amount":"+0.87091255","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":"Q1419383$E5B6583A-2E0B-4AC8-A233-ABCDFEBD46E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a772c1772c00eb3485b775d538f6a73c4e5aaa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4222188,"id":"Q4222188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bb9e4ca17fcd7eb3ddf20b5a54fe2237a93ccb","datavalue":{"value":{"amount":"+0.869878","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":"Q1419383$9ACB72F8-3497-4FE0-B3E5-26DD91971463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5656f58d112618d304645dd73bd488b0374c10","datavalue":{"value":{"entity-type":"item","numeric-id":5846548,"id":"Q5846548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d561174e702b790a3e3237c276aa5ec99e8a134a","datavalue":{"value":{"amount":"+0.8635038","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":"Q1419383$9CA6BC33-2E9D-46F5-87B2-AB46DEACC781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702547631d8856b08259cd3ade266206cee3e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3813793,"id":"Q3813793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e1a77fb1d97f88c48566d5d3c4e5775d919da4","datavalue":{"value":{"amount":"+0.8534743","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":"Q1419383$B49CF078-11C1-4A24-BEE0-2257AB86845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cebc732f2eedcfa86ce78c6335a13b5e4dee57a","datavalue":{"value":{"entity-type":"item","numeric-id":5283439,"id":"Q5283439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12aaf22f23683477f95885961543ff667f4388d3","datavalue":{"value":{"amount":"+0.8511087","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":"Q1419383$E0DE60E1-48F0-471F-A85D-A23376F52975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad91b06d6df17d1fbd2c1ba65d71160e5ba4944","datavalue":{"value":{"entity-type":"item","numeric-id":5108032,"id":"Q5108032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12aaf22f23683477f95885961543ff667f4388d3","datavalue":{"value":{"amount":"+0.8511087","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":"Q1419383$7F72328E-C007-4777-99FF-0E80DCEA715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee89132d7b998afbc83c8c4afa220269b3a2065","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e572c265c60f19c283a8052cf3a467eb9f612995","datavalue":{"value":{"amount":"+0.84887755","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":"Q1419383$D67DDE27-A166-4D59-AD9A-AA4D4CB30B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4ea264aba981e0f8695242063e7eeea21c350f","datavalue":{"value":{"entity-type":"item","numeric-id":2908497,"id":"Q2908497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a853f1a90ad11f9d1c8e91b2efcce7b3844e911","datavalue":{"value":{"amount":"+0.84804463","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":"Q1419383$2C76AA0F-810E-42A7-B85D-94C28614FA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39961e93ad8c7c64f54e754ea1d807dab5a50738","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a703bb2705a400c42890f62c8ba3f636672b2dbc","datavalue":{"value":{"amount":"+0.8476079","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":"Q1419383$36D86451-D015-4FD9-85B5-4ECEC81B3C2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of multisets continued: The case of disjunction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_multisets_continued:_The_case_of_disjunction"}}}}}