{"entities":{"Q3607556":{"pageid":5637462,"ns":120,"title":"Item:Q3607556","lastrevid":90447350,"modified":"2026-06-04T20:12:54Z","type":"item","id":"Q3607556","labels":{"en":{"language":"en","value":"Sequent calculus for propositional likelihood logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5521791"}},"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":"Q3607556$6B7495D6-6DC1-4988-8F40-66342C6883C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1ba29d7f681b6fb7986430b5c7341d435f355be","datavalue":{"value":"1163.03309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607556$CA18B519-357F-4048-871C-D27A23CED429","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":"Q3607556$EDD88AE5-0AF6-4750-9ED7-4743D056FEDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3607556$69154C65-67E1-4BCE-A961-53B21B29614A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607556$B6A32C3E-64E8-4F67-88D6-F3D950C293DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607556$F8AF37B5-A31D-42AD-893E-361976F2CAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607556$9E1F2794-3A4E-47B0-B547-7ED05328F817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e4fcae6b1e165e06027320e153cd04e244becca","datavalue":{"value":"5521791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607556$3B8D0EE2-37BF-489B-8EBF-A92838B66126","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607556$4F285AB1-5E10-4227-A9D2-277DF233B12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07b58b674f1fa5b1221905a3723cfccd420f1b1","datavalue":{"value":"logic of likelihood","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607556$EC6B99E0-4453-4BC1-A464-B5506D4B25EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607556$757629CC-F046-491A-B990-9E767C6AE405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607556$5DB0B758-C16F-4A84-B3FC-6BD00560A157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dadd2f8a54bfbae1d3ec32fd3cbf83b984d2fc2","datavalue":{"value":"admissibility of structural rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607556$3AEA9960-1185-4593-8F90-835DF225001E","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":"Q3607556$D713773B-9562-4077-AC21-A4049568E06F","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":"bfedc3682f2d4a078bd8ceaaf8024712b9f72f07","datavalue":{"value":{"amount":"+0.8576100468635559","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":"Q3607556$B280A1AB-6999-44C4-925C-DFA51FDC4B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f561ebd10447d82173b2cf1f4b04bc0f6258d0","datavalue":{"value":{"entity-type":"item","numeric-id":5082322,"id":"Q5082322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0072602b63d2038bd90fe471cc31b6fb15db99","datavalue":{"value":{"amount":"+0.8170987963676453","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":"Q3607556$F77C8DCF-F412-4A93-9D84-CF4FC685BF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a230dd121006c29a2475387674c3555e58ff728","datavalue":{"value":{"entity-type":"item","numeric-id":1090326,"id":"Q1090326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c18dca8ff24e02eb54e4398767c6c387c92a5d","datavalue":{"value":{"amount":"+0.7906091809272766","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":"Q3607556$F367A7FE-50E5-4270-8C4D-981D4652EE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d192880e616dfc1f96e71e7b09694341d86de","datavalue":{"value":{"entity-type":"item","numeric-id":1712933,"id":"Q1712933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b1a8acb3a5f7554810835a91be5310cae8e90a","datavalue":{"value":{"amount":"+0.7479198575019836","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":"Q3607556$7352D802-D6C6-414F-A199-AA47F96D4F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a2d94be668875189f245cbbe7609e8006d2dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3133161,"id":"Q3133161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e565b540d31ad0c098477ab494bd0ef1c9bd7a","datavalue":{"value":{"amount":"+0.7452285289764404","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":"Q3607556$1FCB5522-F0B6-40A1-B9F1-4473825E6964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculus for propositional likelihood logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculus_for_propositional_likelihood_logic"}}}}}