{"entities":{"Q3936718":{"pageid":5966623,"ns":120,"title":"Item:Q3936718","lastrevid":55038640,"modified":"2026-02-03T01:56:01Z","type":"item","id":"Q3936718","labels":{"en":{"language":"en","value":"An axiomatic version of positive semilattice relevance logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752823"}},"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":"Q3936718$A83BADB4-C204-4BD3-BECD-C9707B673CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e15e9092e60b3b45813fb80bce2b812c89661d07","datavalue":{"value":{"text":"An axiomatic version of positive semilattice relevance logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3936718$AD3CC476-3299-4E2A-906E-1CD3272219AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c6c144dd56e2c35acfd34753c76a9bcc2152aa","datavalue":{"value":"0479.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936718$17C708DB-FD2F-4881-AEEC-EACA2AFF16C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f377cab0e4e3cf625bb00a153c847915bf9bd277","datavalue":{"value":"10.2307/2273616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936718$64FD0AF3-5EDE-43F4-BCC8-1DD1F57145B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9f78c5ff686d7ec29990d2ee50a0c53f7c8101","datavalue":{"value":{"entity-type":"item","numeric-id":3936717,"id":"Q3936717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936718$3DCC6B44-A46C-4CF6-A6BB-0A1CE9491E29","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":"Q3936718$CA7FD61C-18F1-4559-B09D-00701DDF4C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3936718$B420438D-2281-4775-95A3-24237622A242","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936718$85CC67D8-F024-4785-88BC-A1F08B43AB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936718$7FF2FF71-28D0-427F-814E-5040326E372E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07aaae033f63665f5f29bf0069e8f06e8ecedd14","datavalue":{"value":"3752823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936718$6D1B7D0A-C045-454D-8D4B-9EBB99FD27C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e0d1415e59cbb0d6a06955fe6551df5c067626","datavalue":{"value":"Urquhart systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$3C682C45-72ED-42B9-9611-BEBA5976098D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7405cf31e8701d523c9ae8eaf075ac343474bb","datavalue":{"value":"semilattice semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$068F10C6-952E-46D4-A983-9888A957FB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e0b25205119a89ef8dd2e90bca57980ff6c318","datavalue":{"value":"valid sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$309511A7-7C74-416B-939D-2694BCCE899C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17622e333933a725d2d5a98b34f4e7f353fb9fb4","datavalue":{"value":"positive propositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$ABDA7DCD-770D-4FD3-98EA-CCB4BA76A1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$FC3EF2CC-07D4-4A60-A0A2-CD379E6195E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecfd2a3c4b79d603e55ef5c5bbfaafe21998337d","datavalue":{"value":"rule scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$69F1B4FC-9C00-4827-92D9-A3ADA4FB25A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$7C84E9A6-F806-43C3-AAF6-A16377E8BC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92a79ba6b40a182d981a42baa0234966400b46f","datavalue":{"value":"refutation of non-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936718$E869A431-8BEA-4387-8CEA-A8E7E1D83D21","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":"Q3936718$07B329FA-37B4-4802-A456-3358C0A9A77A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7313afd1672184138d15cecf3db993f9b1e94fff","datavalue":{"value":"https://doi.org/10.2307/2273616","type":"string"},"datatype":"url"},"type":"statement","id":"Q3936718$83E50AE8-769E-4418-9C94-DE48576664E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd0e9e9b8e46f93660da67a79a42c99df3da4bbf","datavalue":{"value":"W2023402716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936718$5E9FECDC-0946-42C4-B4AA-63912CD5D914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3936718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3936718"}}}}}