{"entities":{"Q5262938":{"pageid":7292514,"ns":120,"title":"Item:Q5262938","lastrevid":91853123,"modified":"2026-06-05T00:14:17Z","type":"item","id":"Q5262938","labels":{"en":{"language":"en","value":"Coalgebraic modal logic beyond sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457555"}},"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":"Q5262938$79AA63D2-EAED-41B6-B85C-0B15E61E890C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"484614cbce9f7434946f667e29552a5e1b066715","datavalue":{"value":{"text":"Coalgebraic Modal Logic Beyond Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262938$51BB311B-6A0D-4DA6-B1A4-A5B8D140945E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1686749efb7bdf408491476e0ff58ae5812bbd52","datavalue":{"value":"1316.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$0C443240-7EF0-47BD-AC07-8E170FEE303B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$AF1DA5D1-EA36-4FDD-A6B3-DD965D0E5F6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$CEB373CC-F7EB-4065-931F-3F87C3BAA47E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-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":"Q5262938$1C57DE42-DA11-427B-A2E6-319E81BEA476","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$DF72A764-7B6A-4324-A459-F38A4051457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$3F987BA8-1007-48BF-81ED-124738454FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$8418901C-ED01-4452-BA66-573DB76DBCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$59902696-445F-4113-B448-D1EEBECCCE67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b5e6bb3c8323f902c180492ec4eb493ad3e36d0","datavalue":{"value":"6457555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$48BDE90D-FBDB-42B4-8A57-699E80B8478C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262938$37944CF7-24C2-4315-97A2-6AA754F28462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262938$CC92C7D7-BF97-414C-A170-A6B35208F525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9e781e9437b216f89b633442162e88123a1d87","datavalue":{"value":"locally presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262938$AE2F4F26-4470-4CFF-93DE-6B48C9A8E5D5","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":"Q5262938$152E32F5-50F2-4FC9-A5A1-08387CF34467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d45ef1579ed448f7f38ada5979fbdf342336c7a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262938$F7BD23E6-91BF-44C0-A406-27382840F503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2bb84696bf31166f0608a3693535135aed2e4a7","datavalue":{"value":"W2120529054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$265ED442-C4E2-4FB2-A837-6C8BECD33377","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8e0fade5f34b9b9b91dbec52a15ebba949655","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$C00DCD65-D5B7-4F6A-90DC-8CEE0120E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$B7527808-D8E8-4329-9AAE-134DE3FA06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$3714CE1C-CA7C-4D7D-9293-EF2B7ED2108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$A5091A56-24B8-4131-AEC9-0E509465E5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f07a5337aa99edf273489b307d42f143920052","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$CB105BCA-ED69-4256-B224-B0C0D7C0825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fc53b330df65c06db898861ce0dd086aab1c9","datavalue":{"value":{"entity-type":"item","numeric-id":5899087,"id":"Q5899087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$3761BC75-DB46-4220-9ED1-7FD6BC906B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b659a64d64fcc84f5a1ad960c1f4f10079e5da7","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$9E1886BD-053B-44EA-B69C-DD826A539B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$4A65619D-C542-40DF-993A-252C67CED183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$F034D08D-1ED7-4461-AFC1-38F738C9A393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$C2D8BFA4-1B06-4583-B7FC-CE7ACEBCDC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$9815097E-E06A-4C3C-9C84-8A7BE4D6B33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$921B06AA-81A5-4224-9C55-E892928FC0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec12bbe412575dad24d14f42016ed59a2668309","datavalue":{"value":{"entity-type":"item","numeric-id":5492825,"id":"Q5492825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$71E8D575-A8E9-4AB4-8040-B403ACA816AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$B0D0FC36-3CE0-4602-A27C-F3139B63810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60558a989ab2391a1e4e90d0b261dbf02ccb027f","datavalue":{"value":{"entity-type":"item","numeric-id":2914235,"id":"Q2914235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$3CBDD35C-2DDD-4311-A520-B641C853578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$44C152BB-A618-449E-A73E-47BE20CF58C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$79EE35FF-833C-4464-AD09-2A8DE04D736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$D92B6A3B-1130-49B9-97B1-632B98AC0BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$6E9A79E5-2402-48F1-B5FE-294BDD5948CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c10a827d2af24fcbdf825a50f1eff9d38a2cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$FFCBACBC-64ED-4FE7-B907-B8FF4622B801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa85e1d4c083b675b923ad4615fb383be1f76c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$DA9E869A-8DEA-4D93-9A11-B8CF6F97738A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$EF43EA16-7DA0-4950-A39B-27E6456EF109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$2BC4CB18-0C81-4BFC-A8A4-532A2FBF81C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262938$F13CC4FA-D6AB-4132-9ABF-28DB2B31EA66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4315f0ccde590cf29c3a2e742e40c6b70756501c","datavalue":{"value":"10.1016/J.ENTCS.2007.02.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262938$93093640-F558-4ECF-8E08-F5ED94D3D339","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea510080ed72da3949ed4dbcc0b26697f915954a","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a5d23480a4f0e76210ed46f76fb5ccd78cc5e9","datavalue":{"value":{"amount":"+0.8148781061172485","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":"Q5262938$DC444A2D-BB2D-4519-98C1-6AF4D6B5811F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd272f34e3359ea08563c048e01cbc9d55be358","datavalue":{"value":{"entity-type":"item","numeric-id":283748,"id":"Q283748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146c84c32b785d33984147860e5e8a5e9969fe08","datavalue":{"value":{"amount":"+0.813548743724823","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":"Q5262938$F87206B3-8E8D-459F-8011-111F71B4B808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b005c1d2707be3c331779e90a9d83029dfa0713","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2061bfe9f09613cd5b8e00c537458c9a3db13d","datavalue":{"value":{"amount":"+0.8118900060653687","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":"Q5262938$84CF18EC-F9FC-47E0-A51C-72E12A44DDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b64717fd66a7cb568f26599f7b4f50f37d5662","datavalue":{"value":{"entity-type":"item","numeric-id":3653200,"id":"Q3653200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9155d231a89f7594f9f6d2e7b60d6b638db00d9","datavalue":{"value":{"amount":"+0.8047496676445007","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":"Q5262938$6CD6588A-9E4C-4147-B25D-45CD08E02D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a0b029343682e0aed93dc5c2dc6e0f520d4654","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5110d7c459b254e2d11bcd9072980ebc35e6cce","datavalue":{"value":{"amount":"+0.8046019673347473","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":"Q5262938$AB530A4A-C5DC-4A5C-91B3-097E426782AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic modal logic beyond sets","badges":[]}}}}}