{"entities":{"Q5079747":{"pageid":7109323,"ns":120,"title":"Item:Q5079747","lastrevid":91316606,"modified":"2026-06-04T22:51:36Z","type":"item","id":"Q5079747","labels":{"en":{"language":"en","value":"Quantifying Bounds in Strategy Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533348"}},"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":"Q5079747$ADC5DA98-6080-4BA0-84B0-6D5F00DA7D41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$ACEDEB66-E4A3-4ED3-8F8B-48B4F439CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb2ee3b8c029ad0cc84aa38006cc76c309c3315","datavalue":{"value":{"entity-type":"item","numeric-id":2346406,"id":"Q2346406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$EDA9784D-B068-4978-A059-2B2AEDFC078F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$79CAE98E-A04A-4470-8E6F-D3D64C4E93A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$1DE7A341-D13E-4201-9DD6-B11B7868935F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-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":"Q5079747$908F4548-17EF-485F-9156-32130A6A2DA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079747$056CBB34-494B-4299-8676-9DCF9B67D06D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fce6ea791bd8b5a64af0d6607be2779a622f3395","datavalue":{"value":"7533348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079747$A6E522F6-CF40-4895-8331-B62D19D00A2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7080e2b05ef66ea742b3ead177de04d0b69678","datavalue":{"value":"prompt LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079747$BFCFA0F9-A35F-4079-B9AC-23DA85727C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7abe5dc97b574a664631172245e6256852dcb4eb","datavalue":{"value":"strategy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079747$37FAC059-509C-4562-BE6E-B0C0C11BDFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079747$2A50CA25-987E-46A2-97A7-7EBD2F1620DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc03a32ffcfa3faa8bf01ba69094c7194521d80","datavalue":{"value":"automata with counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079747$B5A0740C-40B4-4075-B28F-1F4FE065F2BE","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":"Q5079747$60224653-344A-4348-98F8-27B869123A05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4df350897ed97a98873cf8f8178c1d34761063a","datavalue":{"value":{"entity-type":"item","numeric-id":4931280,"id":"Q4931280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$34A82ED6-D289-43AE-84C0-0DBF9DE43D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$818AE6E5-F617-41FD-BDB7-FB01E949B3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$22A52C97-D288-40AB-AA38-67DD6F687531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$76D83702-E9C1-49C7-991A-FABE7F65FD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94f84a9d7769c1bbeb759d598f9779e1aa3656e","datavalue":{"value":{"entity-type":"item","numeric-id":5144683,"id":"Q5144683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$76F079BF-825C-45FD-8457-4DC9872A1F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6e2a7c636084565f7671cd1624574254be99f2","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$CF7DA6E3-84D0-40A7-9797-88345F993753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26fe08c4db0252670fff3cf507b0fa8eceb949d","datavalue":{"value":{"entity-type":"item","numeric-id":5278311,"id":"Q5278311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$5D5F2013-2BF3-45DE-A5AB-E8D247679DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38bce8bfe2012e3033c613c6f5d521d94bba1f5","datavalue":{"value":{"entity-type":"item","numeric-id":4635840,"id":"Q4635840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$4DB67F94-0DDA-41C3-9E5F-D596BB354012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9786cc9a267955ff7bbaacc3b7e95ccea4f49f6","datavalue":{"value":{"entity-type":"item","numeric-id":2958522,"id":"Q2958522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$B1E5B3A8-B167-4CA4-BF4B-35774DE10CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$F7DA1FBA-AFBF-4876-A3EC-B172DFC6478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$0AB83C3F-2AD9-4BA9-B261-CC83C9DB4D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fd71d501375c7cdb9c222ae894011237990a73","datavalue":{"value":{"entity-type":"item","numeric-id":3638091,"id":"Q3638091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$D30EF112-ACDC-42AA-81D5-0845AA7C79F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefbc331f56c82fbaadbf3792200371a06524738","datavalue":{"value":{"entity-type":"item","numeric-id":2846575,"id":"Q2846575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$155D68CE-8F53-4182-9E1C-5B5B20FEE575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd384e4496869b119d9b01778b9028c75adf8193","datavalue":{"value":{"entity-type":"item","numeric-id":4598268,"id":"Q4598268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$2B03D7BB-4590-43F6-BD03-13A3C4CD268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455f0d9ec6820116e0eb66b087caf02b1b60e69a","datavalue":{"value":{"entity-type":"item","numeric-id":3449476,"id":"Q3449476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$F19007C9-5931-4365-AE75-54027D261187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57cb588ea994c4f69bb0160d83a8c8074f491b","datavalue":{"value":{"entity-type":"item","numeric-id":2957486,"id":"Q2957486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$E3DCEC50-4FBB-4126-BB99-E94502FFE0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b86e67b2a6f8cdf93897e49fb312dc5e360f35","datavalue":{"value":{"entity-type":"item","numeric-id":5495107,"id":"Q5495107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$641E8601-1903-4214-9AF8-060CEDE1CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f74bf884ad4d0098c5e2cb66f40af366016ec5","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$F3D756E1-EB87-4A8F-9B3D-5DB9168E4459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$2E8CDBDE-57E1-4141-B2DA-9FA47CA2A68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac3cfc763ec79ebf2773834f5a18e96e925ff2d","datavalue":{"value":{"entity-type":"item","numeric-id":2787430,"id":"Q2787430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$1EBD059D-4A2D-41E3-9EC4-FF12CC7ABE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd660a12fcee8fa4fb8ccaef24fede6023aacfb","datavalue":{"value":{"entity-type":"item","numeric-id":5404469,"id":"Q5404469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$DED6FD95-7A07-429D-9E02-B1209E4FC4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4719638bd37b04f1e3f0c222619571c35f31a628","datavalue":{"value":{"entity-type":"item","numeric-id":3167019,"id":"Q3167019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$EDCB7612-D4B3-4D5B-9E8E-D4EA54683283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7f88b9c02f3b54e9e5865afe0a8a6cba9b9f65","datavalue":{"value":{"entity-type":"item","numeric-id":4242583,"id":"Q4242583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$01954DDC-9CC1-4834-BBB2-C210C5519211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$AB6C0331-6E41-4B72-8E89-B8B161A999EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403f59c145266cf18534afee9d4fae42d9ecb8d9","datavalue":{"value":{"entity-type":"item","numeric-id":5915410,"id":"Q5915410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$5872E0DD-FE93-4DF2-A9BE-44E8F3555B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdf560790028689b31f820345fd7f3e402b946f","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$84CC6BD7-6382-4ABB-B2A9-43EFEDD680D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$27ECECB7-4131-49B6-AC7F-F74B6E6D3BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$61663813-A9A9-4CAF-A649-EB117CF4EBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc41a6f4c3f61c1a908b43eb0a51dd26fd864ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$020B380E-F17D-47CE-A50D-D11716E441CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce82463a320934d60eb5abcffdec11cef4df59aa","datavalue":{"value":{"entity-type":"item","numeric-id":897650,"id":"Q897650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$62B02AEB-D91C-4C06-9940-17A4EC6FFDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$1C374DB8-D94E-48EF-A31A-BC3AEAD51765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ea1396da53ecce5aa6cd2c1b39be80144eb1af","datavalue":{"value":{"entity-type":"item","numeric-id":2805469,"id":"Q2805469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$77BFE4E0-B15D-40F4-B50F-7A448670E977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079747$4D4F0F44-113F-40C1-BD5A-6F7F30229E95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bc585505a3bb26499552c00ba01e96f2feee02b","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/csl/csl2018.html#FijalkowMMR18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079747$ED991990-9BA4-4BC1-BE5C-70BF4B55A4B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94df782f440c93bae217cf2cb299bcdce348d685","datavalue":{"value":"W2888854400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079747$43277885-A15B-4079-BFE8-8E7985E73BD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d1f0e7c3981fea4496f504db116cb3c5ba9395","datavalue":{"value":{"text":"Quantifying Bounds in Strategy Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5079747$7CB14458-B820-41DC-920B-165768DE24F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b51aedd3269c21052b068ebeb29f30605934e575","datavalue":{"value":"10.4230/LIPICS.CSL.2018.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079747$D62F0B38-DC38-4DC9-9428-910642CEF364","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a4f30de40616f00f648f0f07c14a27dc47975f","datavalue":{"value":{"amount":"+0.7626281976699829","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":"Q5079747$F202813E-0C15-41FE-957F-D0DF08E3F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c340356f3611d4c044f8e96194e7fb4fb69c3efe","datavalue":{"value":{"entity-type":"item","numeric-id":2980973,"id":"Q2980973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd369f4a31bbe2221bb97c122dc0d75a502eb7fb","datavalue":{"value":{"amount":"+0.7514075636863708","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":"Q5079747$04CAA900-96C5-47A9-98F3-61379484D6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b949470afffa0b473a95a532083c24cf4c8d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d5d4cf679d641d59c60b34cad49be4692159a5","datavalue":{"value":{"amount":"+0.7508972883224487","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":"Q5079747$18CDC613-F530-4576-997B-121B35E531B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a63c2884cbf58bc139e6d746415ff2bd453333f","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b32840f2e2ca5410b7103cee36da4b22072b6a0","datavalue":{"value":{"amount":"+0.7449116706848145","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":"Q5079747$F1694655-719C-4E6C-B674-4CAD44373CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869097b39ac14a6087791df829e9372786509da","datavalue":{"value":{"entity-type":"item","numeric-id":2423760,"id":"Q2423760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db21fb882871b7a0c444cfbd3669a3ec9fd9618","datavalue":{"value":{"amount":"+0.744206964969635","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":"Q5079747$5ACD3A86-F542-4078-8371-5D28A9307384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifying Bounds in Strategy Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifying_Bounds_in_Strategy_Logic"}}}}}