{"entities":{"Q2904057":{"pageid":2914782,"ns":120,"title":"Item:Q2904057","lastrevid":51522983,"modified":"2026-01-18T15:19:32Z","type":"item","id":"Q2904057","labels":{"en":{"language":"en","value":"On modal logics of linear inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063267"}},"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":"Q2904057$BB71F18B-5586-4980-88B0-40D3838F2135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d73d244ab53c7ff79382bd23ad49c402d2a117e","datavalue":{"value":"1254.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904057$A1C98F9E-3065-4750-ADDD-0C1A22BE0822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d8c9047b2bb72e50bbf56be800744851436c53","datavalue":{"value":{"entity-type":"item","numeric-id":618168,"id":"Q618168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904057$178BAAE0-0AAD-4BC1-8AF2-FCCB01B8E7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904057$59273838-7449-4BD6-9002-9DAC5FCB1C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904057$F838DCC1-FB59-4EF4-A617-9361251B529E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904057$7250EB9A-4ACF-417C-A657-9A0E113C7EDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddac46944b25b240da71ddc6671cf0a5163cd6cc","datavalue":{"value":"6063267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904057$844AA362-0DC7-4CC4-A948-2C42DCD91FD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2778d1805b6c2f1e2674b8f286eb3823f922af72","datavalue":{"value":"probabilistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$97CC87C8-3EA3-44E8-AC45-981A91092F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$C9DD3D59-DA09-44C1-A2BD-99F5891C2913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0acba104b9c352d6435b7b8acfa87299d1cd12e5","datavalue":{"value":"stochastic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$56DE3FAD-8918-4FE2-BED2-29FDD9A69E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdae6483334a009b4e898c64794b67889a5295a7","datavalue":{"value":"linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$A72B4791-E7C6-4063-B825-8DA2EC937AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$E7FDFB61-4591-4CBF-82A0-C90145870003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523eb4dee4e0de4d796d9cbea25be1afad3f8a00","datavalue":{"value":"coalgebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$FEF6BAD9-F727-4E2C-9C52-325EBD9AFAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904057$2AF003F1-A633-4B95-9A9C-0B9F2FF39205","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":"Q2904057$46CC22F5-03B7-4E3A-947B-A85F5EEE5037","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1878e4b0392ce7d57ea3cc9381094672cffc147","datavalue":{"value":{"text":"On modal logics of linear inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904057$AF15314C-FA78-4D8C-95CA-2FB3BD3A2E42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1231e88c5fb257e7cb4a98449a4a3d275d2bf66","datavalue":{"value":{"entity-type":"item","numeric-id":2891469,"id":"Q2891469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adca71f81189a4a4bfb62de7002b4eec5e43449e","datavalue":{"value":{"amount":"+0.7778541445732117","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":"Q2904057$4E30C718-BBB9-4F1B-A78E-051F17D25C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4555e171e66f0e34d6fe011338511ebdd2c7fd80","datavalue":{"value":{"entity-type":"item","numeric-id":4275688,"id":"Q4275688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23aba06d5b444b2832471ce795224a23f79e415c","datavalue":{"value":{"amount":"+0.7535602450370789","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":"Q2904057$E92E0271-37F8-4E0E-B9D8-0FCA3879EFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bd1f57653692fc2d46f6d5277fea21b4fef12c","datavalue":{"value":{"amount":"+0.7513020038604736","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":"Q2904057$ABC4EE9F-6C49-471A-8DD7-2188D785858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7e3ce2b29770d433476af7b8a7c2e3824f06ec","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c2155d40ea0794500fe459cee98445a0cc4c1b","datavalue":{"value":{"amount":"+0.7453756332397461","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":"Q2904057$7BEA4D3F-5EEC-41BC-AB81-4CA83622574F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea9b0642cba0444c3791717a878cf34de41f228","datavalue":{"value":{"entity-type":"item","numeric-id":5899086,"id":"Q5899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfe678697bce11d8c52f0777288307274823c20","datavalue":{"value":{"amount":"+0.7452846169471741","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":"Q2904057$7C9FB878-B463-4D91-A763-84A062856714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904057"}}}}}