{"entities":{"Q5164850":{"pageid":7194421,"ns":120,"title":"Item:Q5164850","lastrevid":40731020,"modified":"2025-04-04T12:24:26Z","type":"item","id":"Q5164850","labels":{"en":{"language":"en","value":"Quantitative Verification of Stochastic Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7426104"}},"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":"Q5164850$94FD59A7-9A77-430E-8C6C-9F2C3E209809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc0a265bd488cdcddcd8a53d24aa430b47955f28","datavalue":{"value":{"text":"Quantitative Verification of Stochastic Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5164850$2D5EBF7D-C2CC-40F5-929B-59F00C7E6143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e379a6d907ffe63a6de4ecca0614ceacd033cf3d","datavalue":{"value":"10.3233/FI-2021-2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164850$509A367D-428F-4B90-BB96-AB2ACEE8DAF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efb7859cd67d54fc5facb87061bdd7d421e3e8b2","datavalue":{"value":{"entity-type":"item","numeric-id":5164847,"id":"Q5164847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$E778F6B5-33B3-4B3F-8AFB-5BBC1DFBCB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cdde481c6d2abee62465a58e17002d7aeb1b5a8","datavalue":{"value":{"entity-type":"item","numeric-id":5164848,"id":"Q5164848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$CBA8ACA4-D205-4B25-90BD-2FF770026148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de3f8adfd6702fd9dc107db5c1f64fc66306cc4","datavalue":{"value":{"entity-type":"item","numeric-id":5164849,"id":"Q5164849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$75412B3D-CF8F-4750-A7E4-09CE2ADE6465","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$E94BF9DC-A3F9-4410-872A-991357172AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48cd8185993514bc84c1c39dea5715708ec965fb","datavalue":{"value":{"time":"+2021-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5164850$F57BE7A7-25EC-475D-9D80-DF785F36B871","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164850$3ABB4FA5-C6A7-45AF-8A91-9897508F0D46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c5605d09f0a87b0b8ef34e7978f0cdcdef04673","datavalue":{"value":"7426104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164850$41B25678-D224-47AA-9556-410E261C69C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$E3F65A0A-C99A-49A9-BBDD-E639046D8920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$473F7CA3-24B9-4780-9357-954F9C6F91A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16d9d194f46adedc91196f5b7183dd80e72e7f5","datavalue":{"value":"formal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$59E1B116-7857-4270-A281-A4AAEA178168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00ae5fac9236f3df3058c53900e92ee9c5ed257","datavalue":{"value":"stochastic regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$4452EFE4-3B38-431E-B22B-DB0AF894A9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7315ca4066ffa252743a53a4e8054ad8af2dd2","datavalue":{"value":"probabilistic regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$0FA406A7-24C8-4FEA-B291-A8A6F6E3BDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f41f4e16279e9fd72591c7d6355c52d8d0f6fc","datavalue":{"value":"stochastic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$6A73A077-94FB-4EF2-8794-4CB52B1934DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e9ea3f0459f23d139c85c8e71d4b3d481e9c49","datavalue":{"value":"action based logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164850$4F7ED3E9-2BEE-48F2-9464-1B8A12083919","rank":"normal"}],"P1463":[{"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":"Q5164850$16AE3B84-5455-4ED2-8031-CAB4950871DB","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":"Q5164850$C69ACCD4-610C-4ABB-9EEC-B9BF132E7B4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50bf7609cd29a44c1e10ddb4be3edee66e25b81","datavalue":{"value":{"entity-type":"item","numeric-id":2870160,"id":"Q2870160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$F2CBE4B9-843B-439B-A8DA-A6FC3D9D0262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27e3a200937700b5e518b2b757fdb42ca9eccc3","datavalue":{"value":{"entity-type":"item","numeric-id":2912781,"id":"Q2912781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$2937AC56-8598-42B9-A424-2C8C98D429A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401797d3a891c9289ac45deca7ae4b1a58b9129","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$D56E2CB6-B84E-424A-A2E4-D2A2ABD71096","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":"Q5164850$D1C136F3-7CE8-4311-9404-7160D8C18148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed44765539212f02dd063339d9ed17b3fb65795","datavalue":{"value":{"entity-type":"item","numeric-id":4506660,"id":"Q4506660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$76E171E6-1FE0-4911-A81D-7E1D4255C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d029892c0bd95514662a603f650ead7c5d62b719","datavalue":{"value":{"entity-type":"item","numeric-id":4540354,"id":"Q4540354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$89D0B835-179F-409F-A646-ECA6AF090554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$DDC3E238-398F-4EC8-A389-91E23B1FD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$AF905CC7-C7AE-4CF9-BF3F-CF2BBDCE9F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9004795a1edc93c3001dbb2fb8574ed13a2dd6","datavalue":{"value":{"entity-type":"item","numeric-id":452941,"id":"Q452941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$F70B059B-5405-4676-B338-038019ECD1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$10F757D5-E592-45D1-A9EB-B178F2268055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56dccf7d517fed434a10fc5f4bf2887324538e3b","datavalue":{"value":{"entity-type":"item","numeric-id":5327434,"id":"Q5327434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$58078E49-0782-44AF-9F18-2CFE8AB881F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2578ae297737c935362774b5df0cc7e8c8c872","datavalue":{"value":{"entity-type":"item","numeric-id":4649311,"id":"Q4649311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164850$ECEA794C-25C0-46D2-BFC9-BE9308DD04F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93b8750b693f89ea58c11340050a4df1695b4b00","datavalue":{"value":"https://doi.org/10.3233/fi-2021-2018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164850$0D745F82-DB12-4495-88B7-A2B21C0F4564","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efb2858651c7e3a13e9fa57e8653811459c7c1cd","datavalue":{"value":"W3138564825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164850$D0A13AF1-B8D3-4FE8-B57A-D9C990350D6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d090d36596cc8e73ab8e614d31c9dffad565e59","datavalue":{"value":{"entity-type":"item","numeric-id":2402370,"id":"Q2402370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab2bffb5688379f886b5332d8216b40c34575cb","datavalue":{"value":{"amount":"+0.8728676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$425208C3-A41D-4DF5-ADD0-5BFEA2E302FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29fdc187c40943025ceec1a4fe3e7d79c3edce0","datavalue":{"value":{"entity-type":"item","numeric-id":2851929,"id":"Q2851929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0fb3ee5ac336d67e2b72715f2564ba2fd39e84","datavalue":{"value":{"amount":"+0.8695929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$5B6B902D-B91C-4369-92BC-C8B3B8771EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce8b5be6c1aee360fc22cc20556d699e575b5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5404946,"id":"Q5404946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20dee212d785a5dcb6c9cf7668affc85bbbb670","datavalue":{"value":{"amount":"+0.8536589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$8D4C258D-7E2D-454A-8AD7-7FDCBF10FE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916261f26465af3adbd4ff64e82ea108dd544720","datavalue":{"value":{"entity-type":"item","numeric-id":3167507,"id":"Q3167507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a87c00e69f2a9ab1001881588bbbea3b03b177","datavalue":{"value":{"amount":"+0.8533774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$61B6E1D3-4609-4080-9252-7CAA569252BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863e46398695058a2ee2ee242134a7f5dc330ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2343138,"id":"Q2343138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a87c00e69f2a9ab1001881588bbbea3b03b177","datavalue":{"value":{"amount":"+0.8533774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$800CD9C7-1C77-4C3E-BE12-9E4ACB0DCD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9689a123d92b9f35c63ba886192781d404122884","datavalue":{"value":{"entity-type":"item","numeric-id":2408794,"id":"Q2408794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd5d03c440ff26598f7a34a02f920c77dccb0f7","datavalue":{"value":{"amount":"+0.84891725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$DA8D8F7A-977E-4863-9389-2613EDCD98AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7acb31a8b69547f30c88302248a27485bede05f","datavalue":{"value":{"entity-type":"item","numeric-id":2912763,"id":"Q2912763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fd9b4a4fc3cd3cc3aeba295a8c34a41e1405d3","datavalue":{"value":{"amount":"+0.8485776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$BE0470DB-6B6D-4686-928A-2701CE8E64C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6cc31097ff0dd2ca3557863b669911251a47ef","datavalue":{"value":{"entity-type":"item","numeric-id":2096580,"id":"Q2096580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3ecbe5844e2c37b0e067a4fd9a095e363f8f8e","datavalue":{"value":{"amount":"+0.84722495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$257BEA53-1247-4FD6-B122-0A425F48FD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533f99741b2f4ddb6b2f9ffb00710b4f33d40531","datavalue":{"value":{"entity-type":"item","numeric-id":3564869,"id":"Q3564869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6aebcfaee14fbe6137ba31c0952cd8890bfe0a0","datavalue":{"value":{"amount":"+0.84544003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5164850$CECAB854-8267-41E7-8D50-10B15A15A2A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5164850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5164850"}}}}}