{"entities":{"Q5869591":{"pageid":7899142,"ns":120,"title":"Item:Q5869591","lastrevid":101895713,"modified":"2026-06-06T03:05:35Z","type":"item","id":"Q5869591","labels":{"en":{"language":"en","value":"Covariant-contravariant refinement modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594160"}},"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":"Q5869591$E77F1DE9-DF2A-42EE-8871-4476E68102EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60b062b0d1d99a991eb560a87826044457ef46fb","datavalue":{"value":{"entity-type":"item","numeric-id":5869590,"id":"Q5869590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869591$5CAA64BC-8D1C-4062-8D10-F872DD36E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869591$938868C2-E600-4541-97E5-400DA6A73359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d4c6adbebf972f0206b818b72b28eb7ad36031","datavalue":{"value":{"entity-type":"item","numeric-id":479807,"id":"Q479807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869591$82AF7E97-5C55-4581-9F52-0FDC2B43F6A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12849bc9397048f3fbe61bf9712405dfa85dc246","datavalue":{"value":{"time":"+2022-09-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":"Q5869591$1AD307DB-C751-4E5A-9E5B-0AB266CB33E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869591$CEF1EE25-F3BA-42CB-86C4-38507AFADF68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6a573903ec1f1afa69c4d9a25e418c7e24c730d","datavalue":{"value":"7594160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869591$EFDA76A7-79DE-49B4-9C6B-B5F35DE4B7DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869591$5D6338B0-E4EB-48BD-AB3E-A80E3842790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac19ce74452ab0519db2ceb3e3e16e2a438857a1","datavalue":{"value":"covariant-contravariant refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869591$C688340C-6404-4FF5-AA9D-2B2C2F258985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869591$D9439B4D-1252-418E-9CFB-A6C05566EED1","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":"Q5869591$8D21F371-277A-4BA6-9347-5E15A6C4FBBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f0d2815bcfe1cd5a5d41fdff9760cfeb738ef0","datavalue":{"value":{"entity-type":"item","numeric-id":2894568,"id":"Q2894568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f8eff4ec9a8496e2d932e93170dd4e50d5a8f3","datavalue":{"value":{"amount":"+0.7803261876106262","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":"Q5869591$289DB2DA-4D1B-465B-BA1F-8853204AF221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8078a654664f4d4e92c2196221d7d798266854","datavalue":{"value":{"entity-type":"item","numeric-id":4965855,"id":"Q4965855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319f9a3384e3b853f90e09b754c307f53bffbf1a","datavalue":{"value":{"amount":"+0.772731363773346","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":"Q5869591$7129F231-E169-4543-BBA0-950208A7AF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0431e22868d04ff8663b65533317f513e377e5b0","datavalue":{"value":{"amount":"+0.7556962966918945","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":"Q5869591$9F107B53-B294-4A67-95EE-D36AA93D1E21","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":"9afceac14c6ca84c20636160c4772a348e384193","datavalue":{"value":{"amount":"+0.7430106997489929","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":"Q5869591$D09EC2C3-2652-412F-B494-B30CBE0C5AB4","rank":"normal"},{"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":"82c5206ae16c54b1c217aebd2389d53d1a88418d","datavalue":{"value":{"amount":"+0.7084128260612488","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":"Q5869591$96555330-C5F7-4CD9-A1FD-1E6A369C0F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Covariant-contravariant refinement modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Covariant-contravariant_refinement_modal_logic"}}}}}