{"entities":{"Q631075":{"pageid":632923,"ns":120,"title":"Item:Q631075","lastrevid":63104733,"modified":"2026-04-11T10:36:40Z","type":"item","id":"Q631075","labels":{"en":{"language":"en","value":"Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869143"}},"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":"Q631075$E90736B2-0D47-4D14-991C-E634A77CE474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63eeee670cf2c778e8272213776fb5d6aa329e6a","datavalue":{"value":{"text":"Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631075$A69ECEC7-DF4C-4850-B3FB-C4AB84AC5108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"031ee8e232b7548b883da007b01d85642656eb7f","datavalue":{"value":"1215.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$2837460A-1F2B-4F8C-B305-8F797D444BFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$06EBFE6F-C203-49DB-AB33-D96EDD47510B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$56F951CB-B5D7-4037-B607-5664386A63A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$749C27CD-BF58-4421-99D8-1CEB094A87C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631075$6883A376-FAD9-44A0-9170-DF6971907586","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$E81A5437-2B85-46BD-A6FE-4624A9DE3F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$3815BF55-E28A-4212-9597-D2F88572ADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$CBE311BA-F657-4956-85F1-767C2EF1DEE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f0e1b8d801f587bde48382c0a803ff1bfe90162","datavalue":{"value":"5869143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$AAF17109-F97C-45E4-9331-E7DA9EB9C0E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631075$6116C754-4FBE-49FA-9E45-14E430B35EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631075$A4E482E8-8A41-4C77-96FD-9C8C6987688A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q631075$0358D779-9ACC-41DC-8CFB-467F4DF05FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf72ddf6a874ee2514632a35c7cc602d31c39305","datavalue":{"value":"modal depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q631075$E3BAEA95-963D-4346-A968-151D981F0567","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":"Q631075$AE935B63-61A4-447A-B772-338F95273B39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5448410be5c74821111090d724b1cb24d0cf958e","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q631075$C096A600-2204-4EE3-A530-39BA6327ABD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a157fdee711504a36257533914bdb6734a61a090","datavalue":{"value":"W2052267452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$D316E4C6-82BB-4BB1-BA09-6F6A94223060","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e242b83c24240bf2fb75e1cff36899b9e9f6d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$5F3A7B59-7C23-4D49-BF49-B2AEFEA95F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d43b2a1f5b23f5e07e09c2947ef1c6f323b764","datavalue":{"value":{"entity-type":"item","numeric-id":2751356,"id":"Q2751356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$FBEF33FE-84B7-4923-B46A-E1F5409A3A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$7A78CD58-03F8-4829-BE45-83D7D04F5927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$5D2DF2F2-2CC1-4110-AB9A-98FF3571CC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758996f141f0e4fff0d52176e516e385f5dda0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$70ABF0BF-373F-4DFF-80D3-C8D188B966E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$12F07F59-02C9-4296-BCF4-CDF651C50BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e69fa5e2f2ac754b66363d1885e8388223310","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$142C94E4-E60D-4345-A251-299E9A907A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$3C2A65DB-ABF8-4776-94BD-38C241FBA688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$2899933D-5921-43DD-94A8-23431D5B67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245c5242204b341bfac41c0acbfbb162adecfc6e","datavalue":{"value":{"entity-type":"item","numeric-id":3824388,"id":"Q3824388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$61F6C2C4-6044-4A6F-914B-8A412BF99FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5423d393ddd88a4261ab6bc345e92ae171eb76","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$5DA981F7-2811-4855-8475-E663D81375D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$4EA84918-045C-4AF9-B265-12F4A9357497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef08cd0a1d05ccffb5af081dd9e597665e1458a","datavalue":{"value":{"entity-type":"item","numeric-id":4411160,"id":"Q4411160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$DCFC769E-EC52-417A-8912-0AE34594618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$DCA16F1A-A005-408C-A55A-38A37BD23EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94335b6198a4660e05410711e1402e65450c3673","datavalue":{"value":{"entity-type":"item","numeric-id":3370762,"id":"Q3370762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$7CABBAE1-F0DB-416E-98F1-1D63EE045A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9784f0b5b1e69bb83368467e8ad61c7ce436931b","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631075$20EF099E-1CCA-4E84-9E46-B7553B5F9609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4049ebf13d4d0e6e3d5cf46132193f023a01a0ac","datavalue":{"value":"10.1016/J.JAL.2010.08.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631075$B1353B0E-4071-40A3-A049-4535FA0B69A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d89480b6aa43664e9c36f62564ec48827845310","datavalue":{"value":{"entity-type":"item","numeric-id":4580206,"id":"Q4580206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c662b1354d191b71d22719a36b470f1df3e91035","datavalue":{"value":{"amount":"+0.7419328093528748","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":"Q631075$C2E09CF2-C068-4E4A-B9C9-9AC1A212C2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc393184b7e65562355162ecc4cc9477a9831434","datavalue":{"value":{"entity-type":"item","numeric-id":5376645,"id":"Q5376645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54d91bd65fa5a8957ec286b807683995d66c09b","datavalue":{"value":{"amount":"+0.7408663034439087","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":"Q631075$AFC4DED8-61F3-4406-999D-51207BDC65A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e98ddffffbb814c6a03e8046848f5fc3f1edcf","datavalue":{"value":{"amount":"+0.7178548574447632","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":"Q631075$8ED300B0-29ED-4B13-B69B-37F6BF5DC4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a15071138a3b4fda96f6bd56150be5e8b43b87","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6539adf0e1e3579cef3847fb0db529f03307b9","datavalue":{"value":{"amount":"+0.7127462029457092","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":"Q631075$83578268-2D89-4964-8A1B-A20FD3FDE8C6","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":"d4c7711bbbfad4a67a41b5b3da38584199ffe8fa","datavalue":{"value":{"amount":"+0.711945116519928","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":"Q631075$DC3FA41C-C2EF-42FD-9950-5CDC4EFE73F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinductive_models_and_normal_forms_for_modal_logics_(or_how_we_learned_to_stop_worrying_and_love_coinduction)"}}}}}