{"entities":{"Q3591070":{"pageid":5620974,"ns":120,"title":"Item:Q3591070","lastrevid":50161652,"modified":"2026-01-13T07:49:01Z","type":"item","id":"Q3591070","labels":{"en":{"language":"en","value":"Coalgebraic Modal Logic in CoCasl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189199"}},"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":"Q3591070$1CC69149-5D10-41F6-9D49-1F1CBF6205B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb46877bc8db3b077da2a1de76d99b35e79015f6","datavalue":{"value":{"text":"Coalgebraic Modal Logic in CoCasl","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591070$E991BF51-F182-4B70-BDAF-3AF24C0A2C68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"413afe761222ccac94c2e9f5594d458f883058ed","datavalue":{"value":"1196.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$F9E6F5F9-9B08-4862-A999-4BD7368C28BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c1a3722630a132a03cb1bb278ebfdf1a0a12a0f","datavalue":{"value":"10.1007/978-3-540-71998-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$ABE20299-180C-4252-B2ED-3F8287A769B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591070$74C5BCF6-62B6-4531-B047-759063E3925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591070$C00BEF07-7837-43BA-96EA-53925E0BF74D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591070$1045AEC2-0C50-468C-B000-063E3CD0EFA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591070$24DB6347-13C4-4AF5-A94B-22FDE8248D94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$BC3D66AD-98A8-485D-B36A-FA4CADB24CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$37C4630E-405D-440B-A17C-D61A41E9DDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$0A16587C-A584-4E3B-920B-85BEFC27E373","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5809595de0e51c4e99e9306ab31524f449e5b657","datavalue":{"value":"5189199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$79DA46E8-7CDB-4E51-8453-77228CA2D293","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db773f0783d22fb6bffa08127db508527f4adb91","datavalue":{"value":{"entity-type":"item","numeric-id":24995,"id":"Q24995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591070$02CF87F1-BD90-42AB-B491-D9E6D17A8292","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":"Q3591070$D8B80030-E800-4976-8DB5-D00C58795A70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3785e559c73c18924accd1904af4c3d63e82662","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71998-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591070$EC9457EF-1272-4DCF-942C-DFAF18C28BBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d5f1647b3b5ef90e5105a0de5edf1476cfba874","datavalue":{"value":"W1530784265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591070$54EB946F-4609-4610-92AF-2B5070C354D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dd559bd528844559f1468d9d8a124ef38bdcbb","datavalue":{"value":{"entity-type":"item","numeric-id":5900832,"id":"Q5900832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561e8f8702432dcc4bf2d432941b932ddf0b40c5","datavalue":{"value":{"amount":"+0.8759031295776367","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":"Q3591070$540E922B-22E8-4124-A8A6-7D89D208FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8df63c5a7f7075ab4b0daf78263796cd49bc818","datavalue":{"value":{"entity-type":"item","numeric-id":2369034,"id":"Q2369034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0875a5bfae5d120b4148d01a8d0aa15603e4763","datavalue":{"value":{"amount":"+0.8548133969306946","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":"Q3591070$AED2AEF3-3266-4F21-A2E0-1CA97B076BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495112ce375b977a5868e6c48dff8dbe40b400d8","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b6c2d070646cc55c8e594b9372ed66d87d0a66","datavalue":{"value":{"amount":"+0.8255710601806641","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":"Q3591070$9DED1249-02A4-4E69-9844-415BA5002AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3560a43408b5554698ae3a733e4665cacf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d8d43310d6d82048c58c4a7bc8c74fff1812b4","datavalue":{"value":{"amount":"+0.8179128170013428","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":"Q3591070$4507875A-20E7-4A49-A2FD-2886B26820EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b88658ec81baff899505eb34614f38021aa803","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d8d43310d6d82048c58c4a7bc8c74fff1812b4","datavalue":{"value":{"amount":"+0.8179128170013428","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":"Q3591070$287518A3-34AC-47E9-9079-4F492C7370CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591070"}}}}}