{"entities":{"Q4887109":{"pageid":6916688,"ns":120,"title":"Item:Q4887109","lastrevid":46389042,"modified":"2025-12-24T16:46:53Z","type":"item","id":"Q4887109","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 912320"}},"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":"Q4887109$30594766-4157-4AF3-B691-69FC83070E81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5941628816c0ea86f28e4314391b29485ec6d8","datavalue":{"value":"0854.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887109$BF597C62-F5E2-45A1-AF9A-C1CD7FB40DB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4887109$B8A9EF17-4254-4F07-8C69-637B9565FD79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"464a61a3cdeb877ede002e01f9cbcb32297656bf","datavalue":{"value":{"time":"+1996-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4887109$3ED636E0-B2C6-4E36-BFC1-32F65E628126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887109$6A24BD01-BDB8-4183-A521-1F1C30C69606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887109$34A19D4C-E30C-4679-BF51-C1EC10891322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7518999d548435a090bca2bcc890b7165fb81301","datavalue":{"value":"912320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4887109$4F578834-BED3-447B-8FAE-1DFAABFA55C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887109$983D48D4-C9C0-47A3-93BA-9A5C534E4DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4bf9ceb204a82de7144ea41eeac8a99c416fad7","datavalue":{"value":"substructural logics with weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887109$92EC4A92-26AF-427A-9786-77560EDEBEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d268a6044ba779cc666731f3e11b057767837870","datavalue":{"value":"logics with BCK implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887109$96D7C634-E743-4F9B-B1FC-2FD2BBCB0E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2549cc79db11c42131153770371cc04648c67c78","datavalue":{"value":"maximally disjoint filter-ideal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887109$39D45797-E343-46ED-9738-C13859EBAF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a347634b7d163665c2e8ef7190a6d3a91d9ec4e","datavalue":{"value":"representation lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887109$D3790463-0CE0-4CE8-87B4-64FD1AD2EC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a8554d1df37f2117190f53074f07e93be245b5","datavalue":{"value":"canonical Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4887109$6510A1A8-890D-4464-8EA4-227F5D5845CF","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":"Q4887109$5A6DBE85-D20A-4592-8F8C-D067B033BD96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70136d5ffd31e212f09e49e858e4739f722916a","datavalue":{"value":{"amount":"+0.7837537527084351","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":"Q4887109$F7260571-65E0-440E-906A-7EEC967B9331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881bd68086e292c713738bef1403838214e75b72","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eab66bc974c9c7b3a6ce6d9b1f64144855d6cc0","datavalue":{"value":{"amount":"+0.7815946936607361","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":"Q4887109$DF92B81D-7179-4BC6-A2C1-BA18259426CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d52032ae3e4e91b3bfecfe2b04304dfc698c14","datavalue":{"value":{"amount":"+0.7683407664299011","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":"Q4887109$C39B8D14-8F69-4527-BBBA-08D2BD7589B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4887109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4887109"}}}}}