{"entities":{"Q2044999":{"pageid":2055741,"ns":120,"title":"Item:Q2044999","lastrevid":72507138,"modified":"2026-04-14T05:23:39Z","type":"item","id":"Q2044999","labels":{"en":{"language":"en","value":"Bimodal logic with contingency and accident: bisimulation and axiomatizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7380925"}},"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":"Q2044999$1C1534DD-CE8C-414D-A659-132938A15D7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566e652fc7620fca0217f5015de6b9cb5d725c27","datavalue":{"value":{"text":"Bimodal logic with contingency and accident: bisimulation and axiomatizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2044999$2CC15F2E-3B4A-4CDC-B7A4-8C4E2FE31F32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d654e39b3587c68b97beaab010770518af147c0","datavalue":{"value":{"entity-type":"item","numeric-id":949146,"id":"Q949146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$8EA5A13C-8004-4B67-B3CF-E0712F77CA19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$7CAE8F9B-193B-44AB-840B-E4873C56EA5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8eff5628bfe7613d74059f776f508bd7d2f0889c","datavalue":{"value":{"time":"+2021-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2044999$5D0945CF-90D8-4AE7-80FD-13A8EA5DC7C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044999$51EE9352-4962-4527-AF77-FE6271033402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044999$B8DB348C-D701-4DAC-B517-F7377AE063C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"849154451feb911e9e816a2084d0c07f08c7fd6f","datavalue":{"value":"7380925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044999$E07BE8AE-674F-44B3-B199-CF108B99D131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9c172220d9f234e6e7acd82a759b25bfea6d19","datavalue":{"value":"contingency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044999$B4F6B9BA-F20C-4A92-B289-660E8228C944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76460a9450daa2a207f6f91997c5e4370c04b","datavalue":{"value":"accident","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044999$AECE933A-81E6-4DD5-8FDE-3CD45BFABB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044999$0DEED41A-D7E7-441A-A702-4D1F6F6060A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22e8c50c08ff2c366e4e52351f01bbdfa1468217","datavalue":{"value":"Van Benthem characterization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044999$A7A17CE4-1066-47BD-8635-7992865F2C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2044999$2E992611-ED91-4AA3-93D8-CB06695E11D4","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":"Q2044999$DEAE10FF-410D-4B5C-9801-93ADE0C6E8C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed6e589142d87c8ac6f29b820f355715a338cf95","datavalue":{"value":"https://doi.org/10.1007/s11787-021-00270-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2044999$3365C44C-A1E2-4208-90C3-2F40C1D23897","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89df834ab766166998aef371df412a4a606182f8","datavalue":{"value":"W3139359530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044999$E9DC4A3B-2128-45B6-B7FF-384E0CBC4260","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff3b980ee028c2d9b82201e9cf9add36317bd42","datavalue":{"value":{"entity-type":"item","numeric-id":1940905,"id":"Q1940905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$39329025-934B-4043-8761-7974F6FFB311","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":"Q2044999$5B979418-1119-4BDF-9312-01CED6601AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7563c3b51c8a4315859def5d1e4f0f24d7294959","datavalue":{"value":{"entity-type":"item","numeric-id":1116939,"id":"Q1116939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$C51EE17E-C1EC-49E6-B90F-7715C8DA96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807a60474b7b4f520e04291b0af3f17b19f4fa42","datavalue":{"value":{"entity-type":"item","numeric-id":2421523,"id":"Q2421523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$8E7F0BD2-00D2-4F97-9854-6FBEE270ED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263f76e5d2e081c074a9de6d5f2d49c8c9a332eb","datavalue":{"value":{"entity-type":"item","numeric-id":3305690,"id":"Q3305690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$D12BBA1A-CE24-40CF-AD57-95711CEA4CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416165cd17f068bcef081815c1f337ee10e04204","datavalue":{"value":{"entity-type":"item","numeric-id":2330503,"id":"Q2330503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$8E6F0671-2BDD-4183-8EAC-57F6553046E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf7c6c310e19e3ba9fac228afd14beb3d5175cc","datavalue":{"value":{"entity-type":"item","numeric-id":2281315,"id":"Q2281315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$9B474E74-EC0C-433C-BA86-B214255D76DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13aa1cab592636766210610573b27d70a50e66e8","datavalue":{"value":{"entity-type":"item","numeric-id":4636292,"id":"Q4636292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$AAF8F50F-74A7-4549-A6C0-1D9A8CB881E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6c3e768d723269817353e3508c57edda0b831e","datavalue":{"value":{"entity-type":"item","numeric-id":5247344,"id":"Q5247344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$C1973D67-0F65-4ED5-8672-0788A0ED750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff7e3e8e126011212e70107285b6ea1712f0265","datavalue":{"value":{"entity-type":"item","numeric-id":4496833,"id":"Q4496833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$C87764F7-3D66-4664-9DB2-1BCD70756364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3be0ddffe6fb0bb123cccec76ab4654a074963","datavalue":{"value":{"entity-type":"item","numeric-id":2804478,"id":"Q2804478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$92E72179-9B03-4B61-99A1-C388D40BDE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2560c1400316876536000ae649526df181843b","datavalue":{"value":{"entity-type":"item","numeric-id":1903586,"id":"Q1903586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$5869FE3B-2E5B-4927-8687-89A4D27C6EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f9e72e1cabf38b223a4ea52555a957724e0a6d","datavalue":{"value":{"entity-type":"item","numeric-id":485619,"id":"Q485619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$96CD1644-2572-46AA-BB30-407C5A2AB990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750c7da3421bbef7c72dfdb3976c9b409fc427be","datavalue":{"value":{"entity-type":"item","numeric-id":1903587,"id":"Q1903587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$1D159135-8123-41A4-8377-291F839659B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39ffd627f32529edf3e20028a1e0e43b4ad14f4","datavalue":{"value":{"entity-type":"item","numeric-id":3435235,"id":"Q3435235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$ABEE4348-F704-487A-9A9D-DA4DFFAA4185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f66f40f3868935220ef17ed92f50138a5dd6e5","datavalue":{"value":{"entity-type":"item","numeric-id":4046026,"id":"Q4046026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$8567854C-7AB9-4EEB-87CF-8475C96B9A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1508f18aa60be3b7e36a344a75587aef9b7917d0","datavalue":{"value":{"entity-type":"item","numeric-id":3466630,"id":"Q3466630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$1FFEDA08-3F48-46F3-B744-A2AB402BCE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eaf8c2d8bc83dd856fb80629b20fc860136563e","datavalue":{"value":{"entity-type":"item","numeric-id":3952081,"id":"Q3952081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$A4703F4D-4B79-4BE5-9200-1E8C574B5F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8e02dec2dd5a582914bb74d8161138fa8e1289","datavalue":{"value":{"entity-type":"item","numeric-id":5411427,"id":"Q5411427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$4484D551-CC0D-43DB-98DB-EB94D91A75F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584396dfa1237e71cec2023adf5fcb88e8621d88","datavalue":{"value":{"entity-type":"item","numeric-id":1049740,"id":"Q1049740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$37EA79FC-3CD0-46D9-9FC1-71CE78DD5DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10380cdad11b41259a744f16f3afd9d759f6ea51","datavalue":{"value":{"entity-type":"item","numeric-id":2844045,"id":"Q2844045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$117CABA2-1D5C-4ADA-948E-23FF6B4EC449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829bb2d1abde2fff7b449329f9e6cc131c8e8bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1347608,"id":"Q1347608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2044999$7D981519-C4B8-4718-9F97-9F73ABED2EFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63e8fc34e4f1355cf3082a495157a360a35f84de","datavalue":{"value":"10.1007/S11787-021-00270-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2044999$FA33071E-D869-4BCC-B2A7-D5B0DCCF918D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8111b29732b33f40aee36f74337663a650021922","datavalue":{"value":{"entity-type":"item","numeric-id":2421523,"id":"Q2421523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59df333d76de4a4bcbee40fe0b9ef4268cddfe35","datavalue":{"value":{"amount":"+0.8364030122756958","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":"Q2044999$8D0EE101-D77D-4F8F-98E8-94A232000D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52030843b63719984a93c746c96a6ef49dadcef","datavalue":{"value":{"entity-type":"item","numeric-id":5224490,"id":"Q5224490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3519121b586bbf49c7ba0d1e59e9300fdd8fd1","datavalue":{"value":{"amount":"+0.7781635522842407","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":"Q2044999$9C7261B2-1F8D-4035-8E73-71E75B3091E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e95fd502de654bd3365279c30003c5a7b88eef","datavalue":{"value":{"entity-type":"item","numeric-id":4430395,"id":"Q4430395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2186bf9d750af273af3188bba8db32bae78809c","datavalue":{"value":{"amount":"+0.7703884840011597","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":"Q2044999$E4D8C059-355C-4691-9677-27E068ECB7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeda085ef2249749b9d5d0025e4220400742f81","datavalue":{"value":{"entity-type":"item","numeric-id":4694251,"id":"Q4694251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e726402fd4851daee1079393c5a25a62bb52c346","datavalue":{"value":{"amount":"+0.7644773721694946","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":"Q2044999$195B2C77-0A42-4D23-AA2C-99B761A0F589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf723fecbd38728b14daa8324447d315b655b7a","datavalue":{"value":{"entity-type":"item","numeric-id":4982677,"id":"Q4982677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4fa61a1db218854a39da7092d7648c0329661e","datavalue":{"value":{"amount":"+0.7534176707267761","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":"Q2044999$613F8D37-79BB-4AB7-A7E0-8D0641931414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bimodal logic with contingency and accident: bisimulation and axiomatizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bimodal_logic_with_contingency_and_accident:_bisimulation_and_axiomatizations"}}}}}