{"entities":{"Q402125":{"pageid":403892,"ns":120,"title":"Item:Q402125","lastrevid":61623240,"modified":"2026-04-11T00:32:47Z","type":"item","id":"Q402125","labels":{"en":{"language":"en","value":"Minimal counterexamples for linear-time probabilistic verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6334959"}},"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":"Q402125$1061C3CC-EBF3-4273-8448-904158F563B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feaeae1ce6debc3480bebc1bcc780dcd85696c96","datavalue":{"value":{"text":"Minimal counterexamples for linear-time probabilistic verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q402125$3A09EB53-6E73-4444-9105-5348790B786A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4651b4fe679e965758326035a5d36792aa2aa543","datavalue":{"value":"1360.68604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$E8FB3A25-3CE8-4F7E-947C-BD8E273F84D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$6128063F-5616-4AA1-B04F-B815F312B299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3636d4eb9483884cb439da1e5812c56aac88c1","datavalue":{"value":{"entity-type":"item","numeric-id":402122,"id":"Q402122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$12A172C8-4B95-4568-8941-5F4AFE70BB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$DDF3E869-74E0-45B1-AE9B-B4C63B3FF79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$6D751B95-7B6A-4222-8AE5-22541FD53FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$90EB00F6-7EC5-4984-BBE1-8687C69CAE59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$4AEBF104-3F6F-4260-BC42-4C7A5804178C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"839eced7df0c4a631ff6c9629b85502b0309c881","datavalue":{"value":{"time":"+2014-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q402125$6EEA51FE-6475-4C72-806E-705DB8C69AE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$85106087-CD81-457E-A0C7-7045073B817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$2B948450-583C-48ED-B9D8-6DBCCCC44C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$250098EE-2982-47A2-B8F7-089EB37AA726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$BCAF665B-3F0E-4C17-8C54-9495E7B9AB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$C6F0950B-01A6-4F06-AA72-977AE50622A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b3f62f337fcc58cb662d1b8bbac4b04aabfe12","datavalue":{"value":"6334959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$8EDFE77E-C89D-463F-B035-2E9E6190FC51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q402125$CE96355D-9B79-445A-B137-D00D98F160D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q402125$52B528FF-BB8C-4E2A-9DDC-8EBAD2FAD7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ebc2425e6015d5e2a26c14a2922e6263c0cbbd1","datavalue":{"value":"counterexample","type":"string"},"datatype":"string"},"type":"statement","id":"Q402125$4E3585C2-2E11-4A08-BABE-A9E8CA7C6501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1231429a5c1384c9cbc60b1a6eea3c1e67b612","datavalue":{"value":"\\(\\omega\\)-regular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q402125$C6687AAC-201C-4A8E-AB2D-C71FC626E13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f830821080cd8a68b981fd16333959524890e4","datavalue":{"value":"mixed integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q402125$9A4A0C17-3D66-4677-ACBA-66E7DCDA080B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e93a5fa9b4d0f2364cb7696b5fc60b23455366","datavalue":{"value":"SAT-modulo-theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q402125$F47BA0B0-4D63-4B75-937B-189B28C2B8EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$1A971ECA-2DD6-45FF-9AA9-E565D0540480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$59669765-3D28-4DA1-AD52-3F17FF3DFCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d86e0fa6682c5084e34275547980236be9458b5f","datavalue":{"value":{"entity-type":"item","numeric-id":18643,"id":"Q18643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$BF8A321E-785F-4BDB-9678-786E659155CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$13100EAC-2571-4EB2-A264-1D2057FDF969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$BAE74027-230A-4BE4-9142-71CA32DD316F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$C2B76B79-986E-481A-806F-576C51B8874D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"495bebb258809365c47e5a4da00f4c2eb076992d","datavalue":{"value":{"entity-type":"item","numeric-id":21723,"id":"Q21723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$D752F798-F080-4A52-B46E-BB56523211BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$E945978D-2276-438F-BF87-776DD8FD8E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$50A7BF61-2495-4C77-AD7F-FB1C6A90E342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$22FF4BF9-A14D-4403-B82F-11977E10CBF8","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":"Q402125$9B1C36BF-5F7E-41EA-A0A8-05E8CDCC8327","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"027f47bf9846f80d4f6e6deb1058a4f314ef4baf","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.06.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q402125$9F7DFE3C-41FA-47E4-8C4E-19E428D2A19F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cd1e40a9e8075f46c966c253f89c7e1276adb03","datavalue":{"value":"W1980206966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$D164BCDA-9052-4AC7-8B88-68C4E934D87C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7e210ccaa96a81bf3fa518f075a83185a9aac36a","datavalue":{"value":"Q57800843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$2692D552-8F38-4FCA-9ABB-501B5AC4F335","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bd2a89aeae9f01c497530d394e0c4804c2b95f","datavalue":{"value":{"entity-type":"item","numeric-id":3512430,"id":"Q3512430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$F985E96B-C92E-4D45-8CAE-3283775B838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$B06302E0-6768-4F51-B406-E1CF6E1B0F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$4EA1E25D-9125-437B-8FF1-15AC9A8EC786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da470dfdb973baa9fc19c42cc86d12a22b73a8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$7F4F7CE2-6AB3-47BB-B5A9-699F60BE0511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f3f01218a26e5f8faea40de8a76585314f931","datavalue":{"value":{"entity-type":"item","numeric-id":2946618,"id":"Q2946618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$79E35A5D-A0D0-42D7-A367-9E6754AF210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43f67ac2322ad84c35fee28c5abc64ba0a040e9","datavalue":{"value":{"entity-type":"item","numeric-id":5305642,"id":"Q5305642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$9061317B-46CD-45D6-AB66-62341C8E8D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1b6ccdc40b1eaa84db87b74ef6f0227e0afac","datavalue":{"value":{"entity-type":"item","numeric-id":5308368,"id":"Q5308368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$D127D704-B218-4DD9-AF4D-4DDFA8963C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb358be5e0b694e83491b951382330769152db4b","datavalue":{"value":{"entity-type":"item","numeric-id":5703781,"id":"Q5703781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$1D8A1BD3-1215-4C69-AB1F-2CB283BD6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$AA8B6E9C-16AD-438F-A6A8-549A36D50054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e718583192ee1c8f5c2ad768e743605f9035fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$CD46D0BA-1039-4170-ACA8-71B23AB0879C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27e9089c8ecd1d4be6398c999c9a458cfa92c63","datavalue":{"value":{"entity-type":"item","numeric-id":3600486,"id":"Q3600486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$5D5C0A3B-DD10-4534-B3DD-E4667699B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19e969818e69efab98e68b20b6cbbb145ad8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2986820,"id":"Q2986820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$16CFF0A6-4CE4-4517-B993-6BFA449DD1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7692681ef5818106423c8c181984e66fbbf5b0","datavalue":{"value":{"entity-type":"item","numeric-id":2920132,"id":"Q2920132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$E7BC93D2-E26D-4013-820F-E569DD0FA4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49506ac17cb55eff279032f4a847718876a842ee","datavalue":{"value":{"entity-type":"item","numeric-id":3172933,"id":"Q3172933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$AB36633C-CFB9-484D-B049-35A454316DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a406c6c80e7d1b8cc15302a4292a1523cc211329","datavalue":{"value":{"entity-type":"item","numeric-id":3184702,"id":"Q3184702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$5419A9B8-D127-4066-8D1B-7AE211016603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$0D20E013-3454-43C1-8371-CF6476553217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973a93bc2bfcf23a9279f1712d06f044b6308dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2894278,"id":"Q2894278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$0A668567-AC30-4935-BA8A-7BF1EA331D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b45fead44e15b3ba7a1a7537ba79dc4cfa9cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4337696,"id":"Q4337696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$FE254C1D-BF44-4C13-B4EA-4BD864E89049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$88A6A7B1-638F-40F1-99E5-C82551F95976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6930e49ca203e4c5be273ceae28c8fea75c5054","datavalue":{"value":{"entity-type":"item","numeric-id":3408150,"id":"Q3408150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$868B0556-C839-4A32-9B68-542FBFBB008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$245DC23D-53AE-4B97-BED0-4078B50D6DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014ed8593967d1b0f8f5a23078b1e5b72049db5","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$1ABF3DF9-AB2B-41CE-807F-F93CFD84278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$D8FEC988-E7CB-418C-948E-0D6FAF9FCB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d07192422a9fc087879ddd6b3d74a0d63386182","datavalue":{"value":{"entity-type":"item","numeric-id":734351,"id":"Q734351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$5A2E7950-EBA6-4386-BF8A-C23C8E92AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782d668c2c8d680b64d5fbe30ceacb4e76140a53","datavalue":{"value":{"entity-type":"item","numeric-id":5365120,"id":"Q5365120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$67F9B3E4-5093-4999-92F8-14FF54E5C8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370bcc1804636e81ced9f88785c3fe9081219375","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$C6254CA8-633A-4F6F-9F91-9EE2650090F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$5833C710-2D37-46AA-864D-CA3360F5C855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1c46249b47f70463a428951a007f8cc8960a13","datavalue":{"value":{"entity-type":"item","numeric-id":3511221,"id":"Q3511221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$F64DF246-DD0E-4E15-876A-3D102D88383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0303c1310c6269f943946baba9f3fea3e54f47d","datavalue":{"value":{"entity-type":"item","numeric-id":4210169,"id":"Q4210169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$E4F2581B-F679-4424-9894-4D41F7EFC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b101d6611199f1f52c044874d7ad89d481fe93","datavalue":{"value":{"entity-type":"item","numeric-id":420803,"id":"Q420803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$A8636229-232B-4BA1-9E23-C5A6FB87DCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c4ef2c9489180d0debd161e091f6df4acfc913","datavalue":{"value":{"entity-type":"item","numeric-id":918187,"id":"Q918187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$FD37C2D4-CA19-40FA-BCEF-C112B37A7573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80261a9172a3fe7b744c2e07607c3df774722d25","datavalue":{"value":{"entity-type":"item","numeric-id":4798031,"id":"Q4798031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$3A7B7846-2484-4ED6-A5F8-4FF0FE024129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baddcdda2a7cf3ecd5beff1f9d7cda300ee663","datavalue":{"value":{"entity-type":"item","numeric-id":3485848,"id":"Q3485848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$1A524F39-E367-4B0F-ADEF-4D0621BF9C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402125$69233DA5-DEC5-4C44-B2CC-EABEC0FC42AF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"27f9668bb0ad4e62099cb5b83132ade0d4c06f1d","datavalue":{"value":"journals/tcs/WimmerJAKB14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$A70C4BA8-A62F-4CEC-BE4C-4F299B2A918C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37bd317337b11f923ff7f2da2a91bcd8d6ae33a9","datavalue":{"value":"10.1016/J.TCS.2014.06.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402125$A49B93C4-B200-436A-AD05-095212DF4B8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f07e9b372bf24a0c15e2d9bac28c85d7ee20030","datavalue":{"value":{"entity-type":"item","numeric-id":2894278,"id":"Q2894278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f73bee0cbd75c9d9f5061bbc7d82918bd776344","datavalue":{"value":{"amount":"+0.9052302241325378","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":"Q402125$A123889F-BCC5-4429-A3D7-8ADFA79094B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc363a648756a6c5904a5fa11f162239b64fc75a","datavalue":{"value":{"entity-type":"item","numeric-id":3172933,"id":"Q3172933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3c403522708dc50e2bb2c55aba4c8c8c638cba","datavalue":{"value":{"amount":"+0.8377288579940796","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":"Q402125$3DE75E01-9427-4E58-93DE-34B9CC680325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437b98c01b6db117ed8768fb1a95a5a149ac0678","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b09a2587a116bf72dc81b009f44aa55925b9f2","datavalue":{"value":{"amount":"+0.8249664902687073","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":"Q402125$C87AB5BC-0D19-4837-9471-1A32D4453E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff46f45ee151efcabf95a53dee8f1b1163eb3008","datavalue":{"value":{"entity-type":"item","numeric-id":5246720,"id":"Q5246720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c651503300dbea9c5e596441399fbb113236822","datavalue":{"value":{"amount":"+0.8228005170822144","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":"Q402125$0D464141-54D8-451E-B695-690E97E8C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e52e18e0676fe9a44d3a377f4e5a30ff599244f","datavalue":{"value":{"entity-type":"item","numeric-id":5175773,"id":"Q5175773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d9f74b36f898ee8f58a4f8c7d88cac20858e56","datavalue":{"value":{"amount":"+0.8072916269302368","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":"Q402125$38745D85-14FA-4E4B-9AD9-835A2B8470D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal counterexamples for linear-time probabilistic verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_counterexamples_for_linear-time_probabilistic_verification"}}}}}