{"entities":{"Q3442398":{"pageid":5135138,"ns":120,"title":"Item:Q3442398","lastrevid":88233080,"modified":"2026-06-04T13:59:15Z","type":"item","id":"Q3442398","labels":{"en":{"language":"en","value":"Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5154942"}},"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":"Q3442398$168BE49F-BB50-4FFA-AC58-5CE3280E5693","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd77ed16ad3b82f9c728fd0182245e243d36bbcb","datavalue":{"value":{"text":"Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3442398$21EB5D06-6A8C-44B2-A03D-0FBD59D79668","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03c6ba50ad0fe854d114da108652db401f1148db","datavalue":{"value":"1118.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$0CD07197-C5C9-478A-AA74-6F62C603A7B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b417081ff3600658a3025bfda3ebccf222d36d2","datavalue":{"value":{"entity-type":"item","numeric-id":174447,"id":"Q174447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3442398$B54741F2-DAF3-4440-AE81-376E588AB1C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c725dc3f4529c18502bb8414e9ec0be6c9a9a952","datavalue":{"value":{"time":"+2007-05-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":"Q3442398$F7D9D429-3EB8-4538-A1F4-AF7E51B95F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$D3961519-D7BE-437F-BA09-F4C7751707C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$E2674B65-58EF-48FE-85F8-DE8A77FAB65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$99586287-1C38-4823-A1BA-C238E9249ADA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408a8a480e726843831e10d8ea5fa1393f73f8fd","datavalue":{"value":"5154942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$F98B9106-25EC-40A3-8985-37026DE0CE5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6971d452ec69d8711bd288f41e50aa76d5aea97f","datavalue":{"value":"likelihood logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442398$0DEF06C4-A531-4B55-B72A-AA213051ACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c70ffe6a9331deb3d087397a6ce9fa58ce3c25a","datavalue":{"value":"Glivenko \\(\\sigma\\)-classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442398$80A5B85B-4208-4D92-B1B7-BCF878ACCA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd5a0fc8524d164d5f2bf08c2ab6fbd4c6ec28e","datavalue":{"value":"intuitionistic sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3442398$BC10B0CA-9CC0-45E4-B703-759B6CB4D9FA","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":"Q3442398$68AA3398-A7C9-4965-A845-67AD1EBE6D79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29f8e4c8f4874e88d30107d47e5d7d51eb48d688","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzl013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3442398$4FD293C9-D36E-4660-8148-52F5D356B6B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f36b18350765efc1ddddda10908c362fc326b7a8","datavalue":{"value":"W1976964734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$DA029FCD-E17D-45C9-A20C-30EC81ABB283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"740e4899e80726e9581a297370c454c035e793a0","datavalue":{"value":"10.1093/JIGPAL/JZL013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3442398$E28005C0-CF6D-44E1-A58E-1176F7F30080","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3442398$BA296FE7-8EC2-43F3-9918-B99A495F3216","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56ee141954bbf6c817bc640da91cfb1cbc2eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2571505,"id":"Q2571505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7dd17b6c57307c89a1d5933d35eaa815c39585","datavalue":{"value":{"amount":"+0.8487611413002014","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":"Q3442398$B0E694E5-EA64-42C1-B61E-3604E29055E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bafe910588d152767c69ef431ee1cc5c3680e10b","datavalue":{"value":{"entity-type":"item","numeric-id":1873253,"id":"Q1873253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bb3504cca132e4cf2979a8e66bb3e1926dfb17","datavalue":{"value":{"amount":"+0.7914862632751465","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":"Q3442398$5B6F69B7-D342-471A-BEC0-01C7CF549B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0d1f3c4880915ab9c829ccfd20416fda078c93","datavalue":{"value":{"entity-type":"item","numeric-id":283115,"id":"Q283115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38dda86d84fadaf089e94a3d49d8987b3b454ee0","datavalue":{"value":{"amount":"+0.7772635221481323","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":"Q3442398$244C3646-41B4-46A0-843F-86C1BD592E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4eff67bb9305812665b2cce2d9562141cc6652","datavalue":{"value":{"entity-type":"item","numeric-id":5039163,"id":"Q5039163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9394c46df0eec15cf070cc0e6beb81fb7cecd99","datavalue":{"value":{"amount":"+0.7612233757972717","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":"Q3442398$C94DC4E1-5348-4768-B4CB-6DDF814F39BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b663a6c139ea16efc2063eb91acece098f1a5fd","datavalue":{"value":{"entity-type":"item","numeric-id":3173797,"id":"Q3173797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bed341e7c5512156ba226f87248c41bf0be4de3","datavalue":{"value":{"amount":"+0.7484906911849976","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":"Q3442398$FF90B4FC-77B3-4747-B07C-0FF18839A954","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic","badges":[]}}}}}