{"entities":{"Q2571505":{"pageid":2582248,"ns":120,"title":"Item:Q2571505","lastrevid":48591670,"modified":"2026-01-05T07:59:21Z","type":"item","id":"Q2571505","labels":{"en":{"language":"en","value":"Sequent calculi for propositional star-free likelihood logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227998"}},"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":"Q2571505$C7809FB4-C091-496D-870D-35268241B7F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"516b0795d5b2f85ec2f84206adfbc8a94d0f2d10","datavalue":{"value":{"text":"Sequent calculi for propositional star-free likelihood logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2571505$7D59101F-B4BA-4B05-928B-C7DBCF91AF35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95e3bd5591b0e932e4f936c1fadd9719c430292c","datavalue":{"value":"1076.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$AEC8AB31-6410-491C-B7B2-4A74FC35F2EA","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":"Q2571505$98DB7944-D1A9-4F15-A6EC-AA37652CE485","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571505$7A78195B-73F6-4F26-92E1-FEA28E1FB93D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59508cd451bab65a68ea04963062f54c961f9d5c","datavalue":{"value":{"time":"+2005-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2571505$7E8C2BFD-A08E-4680-A296-D50693DD4BF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$9071EC31-3A51-4502-BC46-05DFCFEAD6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$6D457B2F-E19F-4215-AF66-8B378200720B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$8EE65C6E-3B20-4EE7-9964-95B19FE226A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d7a6a55074090059bfa1694d033ee51d09600ce","datavalue":{"value":"2227998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$79A1D7B3-E203-4D56-A2E3-068BBF70E396","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6971d452ec69d8711bd288f41e50aa76d5aea97f","datavalue":{"value":"likelihood logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$2FA2FDBD-1084-4DB9-9D28-46DD8CB30DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$36D4782F-B960-4B71-BB73-4BFCE9AC424A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbbed6bd9d779ef3d91877cbe728963fe0b5fba","datavalue":{"value":"structural rule admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$EB0EF65A-7B55-414C-8057-48FD148D1BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$CEE921C3-275C-4ECB-826B-AA8EDD16AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69b40d61cdc48d99865232877e89eff50290ba2","datavalue":{"value":"rule invertibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$1CAB94B5-0149-493E-B8DC-A5764B425E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$F00A829E-9663-4854-AA30-92FF846AD48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571505$6B668F6E-8633-464F-B7B1-1D678AAED3BE","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":"Q2571505$B0573F3E-EB1A-426D-9596-EAA16B8FE08A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15ffbc5d7874eb37e67cb3445d656558f1a10a16","datavalue":{"value":"https://doi.org/10.1007/s10986-005-0001-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2571505$837A717E-61D8-498A-A4DF-581B7A526026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75f8bbb0249db2fa01acb72f49b9a1d2e5235b32","datavalue":{"value":"W2017140948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$53A43E41-A3BA-469F-9840-C7C5B1E81CBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9162094df22601c6f56360bc5e39042c404b3c14","datavalue":{"value":{"entity-type":"item","numeric-id":5930981,"id":"Q5930981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571505$648AF262-DBA7-44A7-B0A6-B9006E6A30C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922a3aae1d357b3b7c73588c063100db497eea33","datavalue":{"value":{"entity-type":"item","numeric-id":1090326,"id":"Q1090326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571505$CDC3814D-03F8-4605-9AB9-CCD67E7DF33C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2e2fda179cb263a893c33e5b9c3574e691f3d1f","datavalue":{"value":"10.1007/S10986-005-0001-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571505$57965CAC-33D5-4C7E-A3CD-58CFA515232A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa454e85d3708476fe371a4b7fb6e36471a67c96","datavalue":{"value":{"entity-type":"item","numeric-id":3607556,"id":"Q3607556"},"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":"Q2571505$18D0E03D-E56C-4660-958F-60821683C544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee052ab349116d8547c74b7ba0f96c0c454e380","datavalue":{"value":{"entity-type":"item","numeric-id":3442398,"id":"Q3442398"},"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":"Q2571505$4ED881B3-EE04-490E-9A6A-9AF426E8E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be38d0a59163816616c0bf4ec550dc69c769cbdc","datavalue":{"value":{"amount":"+0.7823148965835571","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":"Q2571505$AB8A3CF3-5E93-4758-98C7-30AEF5EED20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc875e8d5183199c8cc5e766a48a1f8abc4ffac","datavalue":{"value":{"entity-type":"item","numeric-id":2255197,"id":"Q2255197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65920cd277be6d66763b49679c1ef2bd9678a3c","datavalue":{"value":{"amount":"+0.7654884457588196","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":"Q2571505$77C1CAB2-27C6-457B-9A1D-39D380760B37","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":"22e691008b4d3f3678b3595d49f0e0f5d77dc317","datavalue":{"value":{"amount":"+0.7651956081390381","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":"Q2571505$70F80654-AAD3-4A7C-895D-B77ED4F975A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2571505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2571505"}}}}}