{"entities":{"Q2291832":{"pageid":2302575,"ns":120,"title":"Item:Q2291832","lastrevid":71778624,"modified":"2026-04-14T00:29:04Z","type":"item","id":"Q2291832","labels":{"en":{"language":"en","value":"Determinizing monitors for HML with recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161328"}},"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":"Q2291832$DF0677FB-7828-4D01-B0ED-0AD8A8E254FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"418decdcb65ce6bf5715e2eee9c568a987bae2cd","datavalue":{"value":{"text":"Determinizing monitors for HML with recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291832$61D6F973-4E12-4176-B922-0ACE66D55AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f9135d8f45ce25795226a54dfa9a924583ca953","datavalue":{"value":"1494.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$A69A624C-18B2-4C75-828B-8F6F3AC0850E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$F02E5E4B-3442-4AD7-B250-0B6BDA2B2EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$DCFC7C40-7564-4822-A8D7-F2450E831205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$9F64FEB7-462D-404A-94E7-A77B88E7C565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$061D78C9-2FEA-4141-BBD4-3E55904F558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"939eaa712630e045c4f52589ec5250bf4acb2fdf","datavalue":{"value":{"entity-type":"item","numeric-id":2291831,"id":"Q2291831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$D929CFF6-746F-42AC-AFF9-EAB55B134F6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$C1E8AA42-4989-4433-82AC-22BECD2B79A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2291832$479DB3B2-7440-4289-92A9-71B8A1BCF85F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a93367f2cd41a77f528cc72ee97427d0da7b1c1","datavalue":{"value":"https://arxiv.org/abs/1611.10212","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291832$0E0D70B6-57EE-4624-88F1-9B48AF88B760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$68188978-67DE-449F-AEA2-98A76FBC114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$AF1D375B-CE97-439B-960D-6C417D73A020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$4E2F7262-7520-4ABB-A7FD-3D156D2DB32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$E77C2E84-FCC0-41C4-A6D6-227AB55E3A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76ba2fc73f3c2233313d7a785afdc5292890c977","datavalue":{"value":"7161328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$AC7B92D1-CEE9-47D1-9F87-99F769F2BE2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914d9e114e4ff15142fdd1593e83e8da26041bdf","datavalue":{"value":"monitorability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291832$C7A410F4-634C-4E0B-AF08-C59212588232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291832$AF4BF76F-AEA2-46AF-B7FA-DB72C3ADDE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291832$5DCA20DF-5ED4-4042-A74E-42287741FFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291832$0FCD5EA2-A43F-4E37-8AA4-FAF195B8EA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900449d9c111228b32b61aefc4917c5119284013","datavalue":{"value":"complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291832$C2F5A3B1-ED2D-4596-B49D-07C996D4645D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$44899CFF-1F66-4C77-B19B-E1DCC6995C2D","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":"Q2291832$06D6EA70-A3FC-4940-9672-D5500A05BE06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ec7dced78f9e15574440d3198b929eb2fdf7336","datavalue":{"value":"W2998622801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$97EB504A-3A3B-44B0-8006-618D13AB48BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$4A47DC3F-635F-4263-B068-92ED0258EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33de63f4c5fa0ada40d54ce6a31323275b9d2de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399244,"id":"Q2399244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$F2A04C44-D29D-4784-9A24-E4D21C53933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051eab4aca135aedbe19003aef251d36a339c8b5","datavalue":{"value":{"entity-type":"item","numeric-id":1652982,"id":"Q1652982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$D345DB6C-CB2B-428B-9FED-E4CF8D820A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ce76e6794ffcdf0022d55276ebe2f79a5ae6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5009452,"id":"Q5009452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$8486B50D-3A48-45B5-84BA-DDEC8E1C5EA2","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":"Q2291832$4382B2DB-EC7F-4FB7-97AF-DDF805E61021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$53CD90EB-C98D-4108-BA75-28BE8E3BE7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ea3bb9e6afed09da0fd153369fbbb5dbd05ce","datavalue":{"value":{"entity-type":"item","numeric-id":414869,"id":"Q414869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$B53512AF-E808-408F-B9B1-E44D55DD3C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ff908209cbae1dc0a10a9462932031345a6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1099644,"id":"Q1099644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$74A09628-8690-410F-9717-E669F5BE25DA","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":"Q2291832$87B1632E-87CD-4D41-A46A-522B00A53CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab068bdd112bad9450ae9dbf08ab70c10fb0c9","datavalue":{"value":{"entity-type":"item","numeric-id":5716577,"id":"Q5716577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$897B3372-C0A6-46A4-A52B-7059E6B95975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c1be4d1483f72ab2dfa8a99d989fd9ce1796c3","datavalue":{"value":{"entity-type":"item","numeric-id":5206949,"id":"Q5206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$E8DFE8FE-AD79-495F-AD68-7216FFBBBB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$74FF9390-8CF6-407A-BDA9-014BD33DF153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ea0a643f47d98fe0a2100f1979a323d1d8b8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$F049320C-797D-4D89-8DA0-FA0F4417BCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f43a199ed38bb42c6c9191aa2cf2011c278a70","datavalue":{"value":{"entity-type":"item","numeric-id":2641868,"id":"Q2641868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$403FF256-CDDB-417C-8C6D-21410D320AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1e33f3350b731e2f34864bda3b1ffb9e25f467","datavalue":{"value":{"entity-type":"item","numeric-id":5428232,"id":"Q5428232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$A8EE244C-F669-40D4-AF7D-F1592F78B29F","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":"Q2291832$30B2B663-A41A-4153-BFE8-59A49909971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e78d7d44652f20c2a60f72580420d04a08808e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$7E740C2B-D89B-4363-B908-8AF20E711168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$8997D2EB-1930-4A5D-A2DF-54A90DF490CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$D914AC94-704E-422E-B003-FE2753857D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$8B81A4B7-213F-480C-8261-DA4F26322BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$5EF96DF7-6567-44C8-8769-F8207852A7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$6BC5697E-7ECC-4D0E-A5C7-AB8CEAE00C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b06465acfb77d3eb78894f033bc3d30f6a01b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5890064,"id":"Q5890064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$956EAA06-C84A-4241-B76F-C2C56EF57CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$E3478992-3249-4719-9801-D1139480F703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$6C2FFDE5-2F85-498C-9067-93C4D79DC0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa63a21cb719aa558222e24addb7070a185cba4","datavalue":{"value":{"entity-type":"item","numeric-id":2441724,"id":"Q2441724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$21F81BCF-2885-4203-AEF6-3CC382DE2645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$600FA819-1A5B-4383-810D-7C26660565A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0cd798029810e98f731f838fd7160c8ee01f42","datavalue":{"value":{"entity-type":"item","numeric-id":5710001,"id":"Q5710001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291832$82573653-5514-4E05-9DD4-E7282C1BAD9A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd00cf045311397f32de15e4e6eed6e5f1b84358","datavalue":{"value":"Q126442021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$0D37D834-B67D-46DE-8310-B661A43963D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78e3d58216159a2b86c4b09d8bb25c293184ed9a","datavalue":{"value":"10.1016/J.JLAMP.2019.100515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291832$C07BB021-F3C3-45DC-AB10-3217A34DEA85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ccdfddd88e1648b11b4de119ec09d0d4b542f0e","datavalue":{"value":{"entity-type":"item","numeric-id":2399244,"id":"Q2399244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122b6c3549dcc692e2d72f2bb0952476ba4951ea","datavalue":{"value":{"amount":"+0.9121001958847046","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":"Q2291832$C0228F70-D23A-4746-8AB3-6F8C48486CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d818be785314c94abb94bfc5c2fcbf0421656a","datavalue":{"value":{"entity-type":"item","numeric-id":2402551,"id":"Q2402551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba163eca6c1c701270149d3e7b1b1cd49a8ae5f","datavalue":{"value":{"amount":"+0.7887870669364929","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":"Q2291832$2A74FC64-98AF-4E30-9C05-41726DEC6536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e5628760be47d7aefb96543b1a6fadce05aee8","datavalue":{"value":{"entity-type":"item","numeric-id":5145314,"id":"Q5145314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac069fb3ca1534f5c35e313f349a6b09b840ee1","datavalue":{"value":{"amount":"+0.7567616701126099","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":"Q2291832$E496AEC7-48F2-42B5-AAA9-3EC36210C40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14dd69b4a3afedf0119a4e3e47e3d18e7f6391a","datavalue":{"value":{"entity-type":"item","numeric-id":2787415,"id":"Q2787415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676af423b90b7450cc37a7b9faa2088d76a20145","datavalue":{"value":{"amount":"+0.7468093037605286","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":"Q2291832$8CEB6422-F18F-4596-BA12-E8ED9900414B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f68412a17caeb368efaecfb08d4064d7b64fbaa","datavalue":{"value":{"entity-type":"item","numeric-id":5111620,"id":"Q5111620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6f8f67758e95b49382584bf3c7579f17e87c2a","datavalue":{"value":{"amount":"+0.7315478324890137","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":"Q2291832$1A78402F-06FF-4A46-9275-E1295BBE74E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinizing monitors for HML with recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinizing_monitors_for_HML_with_recursion"}}}}}