{"entities":{"Q476194":{"pageid":477961,"ns":120,"title":"Item:Q476194","lastrevid":62107725,"modified":"2026-04-11T03:48:47Z","type":"item","id":"Q476194","labels":{"en":{"language":"en","value":"Refinement modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6375068"}},"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":"Q476194$93648028-71C9-432C-BFF6-F28A66C7650C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a7dfbc605011be913bc0a3e6cc728df8126ee47","datavalue":{"value":{"text":"Refinement modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q476194$2D410DD5-B63D-47F1-AAEC-7EC135B0B6F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6f808279dd468ec28d26565588957afd55335ca","datavalue":{"value":"1309.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476194$BAF210CC-2860-4761-981C-797CA5F7A5AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$0BAC94DE-BDB3-4A84-9D4C-E9A1931E4914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$8B350F40-2605-472D-AAAD-415E2F962DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e0d453eeaf90997742594c17f40a3ed2ee04255","datavalue":{"value":{"entity-type":"item","numeric-id":476192,"id":"Q476192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$B65402E3-9A3D-4220-9175-C6CED4F0CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$36727527-6EE2-4173-A207-181EA2E2A962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$BD1AAA2C-7B40-40C8-A291-19CFA13F7A27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$D0D6216C-03E5-41E3-8590-4F6588C512CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d71c537fa104c737c45b84947206ae8eb89f9f4b","datavalue":{"value":{"time":"+2014-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q476194$5A7C403B-6DD0-456D-8E66-496FD4931E31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7f26e060f24dc2ecb45423cb8a77777d49b5957","datavalue":{"value":"https://arxiv.org/abs/1202.3538","type":"string"},"datatype":"url"},"type":"statement","id":"Q476194$C24E88A6-611D-4C35-9A43-6AAC37764A67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476194$4820EE3C-3BB6-4D0F-869C-C94CC44FDF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476194$29712EB3-1A20-4E6C-9E38-AC6BAF828520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc935e13b7b439584c2af1cd0194f83bbf0d72a8","datavalue":{"value":"6375068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476194$2A564748-3A96-49B9-8C5C-D13D8F8467BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$0950FC84-3877-488C-AF4B-45DA740DB3DF","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":"Q476194$0A3D7DBD-603E-45A6-BF78-1C48279ED023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09c06a6619654fc214088e1ca10554cce3e417ca","datavalue":{"value":"W2073942343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476194$85E767F4-0237-420A-B857-A935714A9572","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$77E9A96F-2941-406F-8EF2-FD25ABB84CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$B4763A4D-8F44-4527-824F-872A48C56DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3D6FEA1C-8EE5-4C34-8451-C7529BB528D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$7983FEEC-178E-4C6B-81F1-C9C455BBD5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7f0d8ff351715d8ea53baf9dfbf67c6f9a1e07","datavalue":{"value":{"entity-type":"item","numeric-id":4583175,"id":"Q4583175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$CE546A89-F146-421D-A298-A41AE1FA2594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$0F5E5CBB-BA24-4E81-B462-2380D2E5DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e97286b9a76a5ccfea80f424adcd6bf8f35f0da","datavalue":{"value":{"entity-type":"item","numeric-id":3086937,"id":"Q3086937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$E6E1D4D9-9BC0-470D-BFD8-08F3C455B26C","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":"Q476194$5EB89FAC-CFC9-4505-9623-6526375297D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefb783343957d0945e5501e39925063813fc5fb","datavalue":{"value":{"entity-type":"item","numeric-id":2915064,"id":"Q2915064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$7A4FB3C6-35B0-4984-96F6-510CEBD1B59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72429febf3d2eef9c3723165f7c6427cfa1f6627","datavalue":{"value":{"entity-type":"item","numeric-id":3028984,"id":"Q3028984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$A533FE6E-8CE4-459B-9D55-1995E0830EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$EDD00BD6-A796-413B-97F4-8CF61E428CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3F95511F-C5CE-4FE6-A35F-0A29931BAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be6d068a1e3ed6103188c56fe0c9a8000057e37","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$0E39A49C-4587-4FBA-8650-61D493C60B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d514211ccfd63cf5766b4330f8be3f3c4eb2e60","datavalue":{"value":{"entity-type":"item","numeric-id":3520237,"id":"Q3520237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$7526267A-4713-427C-B196-69573D210A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$C9A708F6-A227-4807-B974-3342FEDACB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361ea683c849471d41ea0ea839ae982ae028bc17","datavalue":{"value":{"entity-type":"item","numeric-id":884763,"id":"Q884763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3CFAB78E-AD77-4127-A93F-2F2801A2FD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3053C1D5-9E73-4945-8B41-7ACF53FCBCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e4cb03cdd580b04360180c3b995b714114438e","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$35AEA1A8-A429-4338-A76E-FFD92A76FEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746b7f2a2d51c5e1115b39f6dc3c5e33e40ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1357672,"id":"Q1357672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3A23BB93-0324-41D0-8F76-F4864AFA54D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4abbb93c0b36e9a75c9d09b86b1b62e3efa724","datavalue":{"value":{"entity-type":"item","numeric-id":5271062,"id":"Q5271062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$9F396FE3-566D-436B-9343-8AEA0AA95A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0e83c5f97955caf29101da58c8a3e1ae989d30","datavalue":{"value":{"entity-type":"item","numeric-id":2825410,"id":"Q2825410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$74B4CACA-ED85-4AFB-A5D3-410E162BAC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69a3bc7e7df1be6341fb6b4c693a307b8963570","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$4A18A1DB-9DAA-4BA3-986C-B78B410FF855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$AA4FE2FE-9237-4077-A98E-3B366942224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$F7EBC5F5-ED30-4533-8538-DE9C6F2B34FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$C2D9300D-38A7-4D58-A36E-2BD0065261C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec62fce4f4d33f9c543fc98da906a3f365b829","datavalue":{"value":{"entity-type":"item","numeric-id":3647272,"id":"Q3647272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$73299E7E-C156-4364-A54A-5F8086305382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$7F3FBF45-85AC-498E-AC47-B931ECC55C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb20abaa1aaae44c81019e3eebede202da0e114d","datavalue":{"value":{"entity-type":"item","numeric-id":3085167,"id":"Q3085167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$211DA06B-39A4-4F84-977B-DFC38C1CE1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90baa942460aa8b4cf3c97f6d2c7362fb5539324","datavalue":{"value":{"entity-type":"item","numeric-id":4412829,"id":"Q4412829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3B758333-EC0D-4941-9E8E-4F437C94F4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$BAB05EEE-4B5F-4ABF-A507-D9F3271381C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ac5c09f5d8340ff75896f976c408f38ef05401","datavalue":{"value":{"entity-type":"item","numeric-id":4412825,"id":"Q4412825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$031D454A-18F4-4F04-B278-0C1C9B29A099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f695eea8fe808f6184de18b043277613aef09c07","datavalue":{"value":{"entity-type":"item","numeric-id":2574887,"id":"Q2574887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$40BFF9F6-49C4-403A-A146-7F918407A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$E65C197A-4A89-4468-B40D-C609FABF6A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$36662C34-FE0F-4CB6-A47B-5D0456DAC7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43794578a5e5c5f9427afbef7633a2928f53ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":5431352,"id":"Q5431352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$06C942FF-AD89-4AD2-89A9-690722026303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87e561f0bc0b19ee3857a1e29baa182ad90977b","datavalue":{"value":{"entity-type":"item","numeric-id":4739288,"id":"Q4739288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$B817DB61-8E82-41D7-BC2E-77D2DA546047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$C006DDC7-4479-40F7-89BA-AB31EBFE182D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a45415c61f5a2543c1c923c13cbf76075f8e90","datavalue":{"value":{"entity-type":"item","numeric-id":1123861,"id":"Q1123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$507BFB47-17EF-4C35-B6D1-5B07F8CC2343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$3B6A6596-1C80-40AD-AC26-B164C8A91B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a612821d93fa4cc4378f7369101a8f40764e1","datavalue":{"value":{"entity-type":"item","numeric-id":5494230,"id":"Q5494230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$B9B6E92E-8C6F-4C2D-9BB4-E42C12224F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b340c4d5b1fecb879111e39c66af7449d17fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":2915020,"id":"Q2915020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$9EE8A382-CF9C-4A60-9214-BCAA74A6D59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38977d123654853ace0c471d6d8409e75d61283c","datavalue":{"value":{"entity-type":"item","numeric-id":3644777,"id":"Q3644777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$DBEC6C03-81BC-4FC8-89B1-2A3F6D61E6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d1e1720b0b673fbc764e367ee2e3654b30011","datavalue":{"value":{"entity-type":"item","numeric-id":2904048,"id":"Q2904048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$185BBC57-0186-44A9-B300-19291E57AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$782D3B85-8DD3-4F39-A307-4B94B7302C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$F3202B30-84DE-4EAE-8316-B7B668CC24C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0288c4208fe7db14ca228ea53549931e12906cc","datavalue":{"value":{"entity-type":"item","numeric-id":3094019,"id":"Q3094019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$4E36455E-610C-46FF-8734-9AE8B971CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$6561DD75-7D5C-4C80-9E70-839041DFB7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476194$B851D3FB-8567-4C00-97E6-D782EED69E4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59869b9d17650b696814365e67cefeaf9ca3d1ea","datavalue":{"value":"10.1016/J.IC.2014.07.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476194$E0C290ED-D58B-45FC-B1E0-3CE6484D942F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1519f4043748fba84530f4d06621c91709b0c597","datavalue":{"value":{"entity-type":"item","numeric-id":2825410,"id":"Q2825410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66b2b9fa3b634b2d287e32d06bfccd65565ae08","datavalue":{"value":{"amount":"+0.8588294386863708","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":"Q476194$62B0B41D-86F0-4F62-B326-7F339D3329E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e456e3d336924c568fa2b0fad86960a900024246","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95576e7bfb24a2e51f174a2969edda0b57a5529a","datavalue":{"value":{"amount":"+0.842312753200531","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":"Q476194$F4762993-719E-44FC-B45E-8A6326024356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e95d007dfebc03bc298c435f9af34b62b5928da","datavalue":{"value":{"entity-type":"item","numeric-id":2915064,"id":"Q2915064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cdec68ad48dcca04e5687945f144ad6e1f672b","datavalue":{"value":{"amount":"+0.8324354290962219","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":"Q476194$D89A6B43-30C1-4285-BF89-D18F3858F1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835e80ad5ae2f19a0a1ae0600f891347cf8fd66e","datavalue":{"value":{"entity-type":"item","numeric-id":744988,"id":"Q744988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941d339d66edf62dd97f4f81743ffaef64950ef1","datavalue":{"value":{"amount":"+0.8283460736274719","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":"Q476194$68BD06DB-A875-4308-93E7-6422C92CC8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c98e4fa0ba5717a9700a1f53c88a772d7fe62ac","datavalue":{"value":{"entity-type":"item","numeric-id":4636025,"id":"Q4636025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634fb91a30326681e3bc8c2671f75d300e3d8de8","datavalue":{"value":{"amount":"+0.8152610063552856","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":"Q476194$9D3D77A5-1641-4252-9862-2D587BEA2D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement modal logic","badges":[]}}}}}