{"entities":{"Q3557073":{"pageid":5586977,"ns":120,"title":"Item:Q3557073","lastrevid":50968973,"modified":"2026-01-16T00:02:26Z","type":"item","id":"Q3557073","labels":{"en":{"language":"en","value":"Optimal tableau algorithms for coalgebraic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702234"}},"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":"Q3557073$FF11DB46-F4C1-424A-8916-3B2F8D0268E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b218d72a967233edff714f5bc93f15129b2d6a9","datavalue":{"value":{"text":"Optimal Tableau Algorithms for Coalgebraic Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557073$08804012-B5A5-4896-8B9C-9F83A657C6AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d9bfc6e6abacac35cc3ae8f363b8fad4e3fecdd","datavalue":{"value":"1284.03207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$9E02124D-1DF2-47E9-A574-1A04ECDC3791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4ddf246156096e12754bdb51652dc8080720d03","datavalue":{"value":"10.1007/978-3-642-12002-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$6C04BC23-C96A-4FB1-A6E9-69FC92112F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557073$9730C56B-C880-42FE-BFE7-E365B2E6FEAF","rank":"normal"},{"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":"Q3557073$057AB8E1-FB94-453B-A189-D4D956CB34A5","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":"Q3557073$9BFEDC9D-178B-4942-AB4E-BDC7B7F711B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557073$32EC9941-6A37-40D3-9512-206FC3CD9B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557073$AA08DC66-5EAC-42D7-B120-83FB5099E289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$091D6FE0-A43C-43D2-BE0B-B1252075FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$B57AE203-9E69-492D-8D1A-59E8A4138A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$65C00889-7002-4ABF-8A08-BCD90140D3B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd9b7b7cfc31e2bc2f0e2fcc6e1ba8d33df3fb75","datavalue":{"value":"5702234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$6B41E987-4E22-45BD-A878-4C9EFB6FA858","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":"Q3557073$4F76271E-1058-4A86-AAC4-C2720328C658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35a72f391eb07621bdcff04ca24d87a852c9d9e0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557073$A170E28E-CB70-449E-8DE9-25F67D254ECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b684f331dae5567de3458edb7e7f94331cb5363","datavalue":{"value":"W1575920076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557073$C20F9688-1EC6-4163-932C-4F1ABBE9C89A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c390e4661bb3e32531209a939729c88094487d4","datavalue":{"value":{"entity-type":"item","numeric-id":5747750,"id":"Q5747750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2aefcea86d1fa9de8050a38de699ce51f1d22cf","datavalue":{"value":{"amount":"+0.8482733368873596","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":"Q3557073$C1AA22AB-1674-408E-9477-A8BEBBF10ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed96895cd561f545884e58200ba473467c1b057","datavalue":{"value":{"entity-type":"item","numeric-id":5034233,"id":"Q5034233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd80584881e6b24f7b22304585e3a1b21f80471","datavalue":{"value":{"amount":"+0.7904523015022278","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":"Q3557073$62E73D16-289A-491A-91D3-C96CFB91E836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0e8e47c111721c304d92b2e049d83d1a26069d","datavalue":{"value":{"entity-type":"item","numeric-id":352943,"id":"Q352943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a04d44ef3e78cca33b56a8604525e9232bc41a","datavalue":{"value":{"amount":"+0.7769061326980591","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":"Q3557073$BCB22334-A563-4376-9D82-31478AFAEB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f780ab8c793f675d6f00ff364232f4f47d8e12","datavalue":{"value":{"entity-type":"item","numeric-id":4589204,"id":"Q4589204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8a6d5362cc22a4e40b6e5501b9c23c8628b726","datavalue":{"value":{"amount":"+0.7726992964744568","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":"Q3557073$D87D92D6-E8AD-4D13-9272-CD1DE03D41EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322ba8ac0da28be7e3b82e5c920e352aad6f4144","datavalue":{"value":{"entity-type":"item","numeric-id":2947894,"id":"Q2947894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b3b07ca3d942852b6e789b67e5bbf38db1176f","datavalue":{"value":{"amount":"+0.7684718370437622","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":"Q3557073$8EBE759E-DE00-46CE-B7E8-251D2CA0E5DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557073"}}}}}