{"entities":{"Q4586221":{"pageid":6615806,"ns":120,"title":"Item:Q4586221","lastrevid":89561219,"modified":"2026-06-04T17:41:01Z","type":"item","id":"Q4586221","labels":{"en":{"language":"en","value":"The monadic hybrid calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935715"}},"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":"Q4586221$4E18EAAE-5B54-44AD-9085-86644616CE14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fe3605ead05b64fc5d7ea42099b8c4eaa8c8f31","datavalue":{"value":{"text":"The monadic hybrid calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586221$7C2AD059-C373-4411-B65D-BCF062B11A15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd9e7b9768463fb94df79c7780a4101966ce199","datavalue":{"value":"1398.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$21C3BFB1-1DD6-4208-ACDE-81EB3CD23C32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2902634db9b2f784cfc734204bec6b70bf6308c","datavalue":{"value":"10.1080/11663081.2017.1368844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$B6AD6C29-FB8B-4523-A80B-DA72733578D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e3c131153e2a7164ef2a571829bb616eb6954f0","datavalue":{"value":{"entity-type":"item","numeric-id":4586220,"id":"Q4586220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586221$4583FFF0-D160-489E-83EC-36D160B125BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f75b0974d4d5c1a2893e608fd0ac428b68651de","datavalue":{"value":{"entity-type":"item","numeric-id":987827,"id":"Q987827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586221$6E9E9ADC-7FCD-4C61-B595-9EFE9B2D2F17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586221$C675EE99-0759-450A-8515-792B4B43AF57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586221$9571299D-5520-4CDC-AAFA-3173B41745EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$DDDC3415-C272-453E-A938-BCE83F65FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$5451D3F1-8222-415F-BD71-54D216CFE181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$91B9A798-B598-4E61-8B4B-4B5CDEF84CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145cbd3ffb7d6b78ea34a3a10e9e4b4db508fe38","datavalue":{"value":"6935715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$F40718FF-D651-4119-9C2E-D4A34BE89FFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586221$78560252-DE1B-413F-9755-5ECB7893BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586221$919FE14B-4E85-493F-AC28-34E2F3CC6219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586221$0BF3C786-B221-486A-894A-8955E27F33B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867ad6c5f6621ea1cc1adeef5d42bbf243df39b8","datavalue":{"value":"formal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586221$AC2120F3-7E11-446B-ACAA-15A45A994AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586221$7053E670-3FC9-45E5-B883-BBAD7ED8AFB6","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":"Q4586221$B049C1D5-CAFD-4129-BD4B-536450F61B44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89061c0b8e1885aa303f5116269d0f6f239e16f4","datavalue":{"value":"https://doi.org/10.1080/11663081.2017.1368844","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586221$FB08AA0E-A347-4BEE-9411-98595B83AA54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8d0bca45f59292818a5ee88b6b03c96b5ac0c92","datavalue":{"value":"W2754065268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586221$121A4231-FD8E-4319-958C-A98FF7CE7A32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586221$CFB86B23-5B3F-4E8B-A381-C42725D4F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daa73201e6b2c8db1fc9d936e77b5c073bcd3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5571677,"id":"Q5571677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586221$85049CF5-76C2-4B55-ACE0-E72D645A3B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586221$C4D82BE1-F58E-4D72-867C-F81C2A2360BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c945583e7c3be3fc0dac6605c89198baef9f253c","datavalue":{"value":{"amount":"+0.7195602059364319","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":"Q4586221$B2DF5732-6E68-46FF-9AFD-ACFB35E73891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c945583e7c3be3fc0dac6605c89198baef9f253c","datavalue":{"value":{"amount":"+0.7195602059364319","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":"Q4586221$1BBBAF48-9E10-451C-9DD7-FDC8E50FBCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d68b0255b426d27ec489e487120e3713002d6","datavalue":{"value":{"entity-type":"item","numeric-id":1682285,"id":"Q1682285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cf05787f5f64759d50d8febe53a9d5418d290a","datavalue":{"value":{"amount":"+0.7183815836906433","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":"Q4586221$F0E94253-5FBD-4434-BDB1-F183F459DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0701f0222d934c4ba2274344feeec9b8272d652","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d402e13ee9c49c8cb9bf5cbd7b9c7c729493c5dd","datavalue":{"value":{"amount":"+0.7136819958686829","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":"Q4586221$0C3619D2-CC43-4D95-A21B-C9E364622E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d313e7f1c26a2551d6fe06601a87d25385c56f0","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d402e13ee9c49c8cb9bf5cbd7b9c7c729493c5dd","datavalue":{"value":{"amount":"+0.7136819958686829","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":"Q4586221$92FC2DAF-46E3-43CF-B52B-9DC6CDA39FAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The monadic hybrid calculus","badges":[]}}}}}