{"entities":{"Q2399249":{"pageid":2409992,"ns":120,"title":"Item:Q2399249","lastrevid":52882721,"modified":"2026-01-23T17:28:53Z","type":"item","id":"Q2399249","labels":{"en":{"language":"en","value":"Equivalence of probabilistic \\(\\mu\\)-calculus and p-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763314"}},"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":"Q2399249$3F750ABD-38CC-4177-9296-B5DF5587944A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dbf78d00ee9cd850b4d3d79e42a4cafc9cdf952","datavalue":{"value":{"text":"Equivalence of probabilistic \\(\\mu\\)-calculus and p-automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2399249$D42F53E2-2CB3-4C1F-B5E5-B0F6FCCE8764","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbba31781949ddcdcb700b269082da8fdac523a1","datavalue":{"value":"1489.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$5E74A458-B302-4FEB-9690-85833C0534EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75daea87deab8dd4ea37e66f347af51b331361fe","datavalue":{"value":"10.1007/978-3-319-60134-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$3D663D54-4FF5-4D36-9B05-EE5D9EFBFBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e438ddfd7361cf3bcbfe97f7fa26e30f34129b","datavalue":{"value":{"entity-type":"item","numeric-id":2104516,"id":"Q2104516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$77B3A041-0210-4113-93FA-A155F3D8B917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$2DED90D7-707B-4B5A-B67C-5F93F28A6D46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d34360bb2e2a7c56f3d29a339c5dadd0eaaadf19","datavalue":{"value":{"time":"+2017-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2399249$32E3BA61-EBB9-4BC0-81AB-F0B59D0ED282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$6A672685-1E1B-4DF0-8F88-4F4152076751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$2D30B339-4682-4D1E-9348-8D6613249295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$A87F09EA-2A6C-40A5-9833-AE7AAB81C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$E4D2D0B8-4294-444F-A1AE-F34896C7C56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$1B2AA194-0C35-46DD-9130-F3C7F669CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$246DD2C7-978A-4910-83C4-AAAE6C60A2CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aee18b7d6c34e433cf6930269a85d96de6e1854d","datavalue":{"value":"6763314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$054F6EA2-AD5D-4EEB-A195-C57E9E120759","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":"Q2399249$646DD47C-862C-4E05-9617-E87CB323724F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b8944d50d7a98959fe6e1cea10bf6769554e6f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-60134-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2399249$CEB56EED-D474-41E1-9DE8-39AC50FBD886","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d5eab43f28e4d632b733ce131592ce446f18f4e","datavalue":{"value":"W2617530626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399249$0354C66E-568C-4411-8E8D-4C1C8784F630","rank":"normal"}],"P223":[{"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":"Q2399249$011CF049-85E6-473B-84AD-F2D102C100FB","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":"Q2399249$662B3514-A797-47CC-9EF0-130585B4AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$243F0DD2-526E-4E34-A9AB-AC9088EB42F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$BE591050-A0E0-4BB3-BF18-A3429CF31F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9881e1945ac268858c30e7240eea3b4e31398ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$BAD58F5C-1DB2-469A-819A-9437B5C1188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562af175a9291967f80a9a9ed86273026e2c95cf","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$5E585E7C-1F45-4EFD-82DC-E9E40D614783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$ACD3F300-7BDF-4779-B40C-27D89A9BB3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$9E73FDAB-A500-48E3-8A7E-0143B28440B3","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":"Q2399249$917DCC2E-2561-491C-9120-ECE2FA8452C6","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":"Q2399249$8F9FA6EA-0269-4854-BB3D-2EB4FB30F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b846d13800611269a7c57eec4ac171491564b808","datavalue":{"value":{"entity-type":"item","numeric-id":2888508,"id":"Q2888508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$9F44F987-8F32-4683-9730-C1B5EE689E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219cf5c5831d1372270308a9b5d6708ccfc7dada","datavalue":{"value":{"entity-type":"item","numeric-id":4899118,"id":"Q4899118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$05A304CE-7FF7-4E5F-9926-983E1C541030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$B051B095-C122-4B0A-8F36-5BE8830733CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399249$DF963398-4977-4381-8A86-E440D94CD550","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd625feacf186c3c03590a86204d3dca9224aafb","datavalue":{"value":{"entity-type":"item","numeric-id":3000616,"id":"Q3000616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93569b5154badd13ed22a693d91d288f5461a4f","datavalue":{"value":{"amount":"+0.8090991973876953","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":"Q2399249$F58842E6-DCA0-49A0-9066-82484E27301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a756620f44960eba8183f895ef2d17b2ad2e53","datavalue":{"value":{"entity-type":"item","numeric-id":2888508,"id":"Q2888508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b656d85da073b7639a158b8ed520c7bac613add","datavalue":{"value":{"amount":"+0.8076012134552002","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":"Q2399249$022EFAEC-44F2-46C5-9311-2CE9A8AB1B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6557d6216f1aad8b129721844a1e22f2f249388","datavalue":{"value":{"entity-type":"item","numeric-id":2954997,"id":"Q2954997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4452fdaa0268916c8d58932bdf01eb40abb1803","datavalue":{"value":{"amount":"+0.8018097877502441","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":"Q2399249$55B0DE85-B24B-43EC-BA7D-4BED16A439CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4be3d68d4effb558310301eaf1d9270014124a3","datavalue":{"value":{"amount":"+0.7978799939155579","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":"Q2399249$7D48B11F-1AA8-4774-A88A-2DC741D82B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14b2781cf53a32ff1483b07c1a973e84c072a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4636572,"id":"Q4636572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81c55b8896c59c446392dacea4383506337e926","datavalue":{"value":{"amount":"+0.7958523035049438","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":"Q2399249$F5221FE8-8D97-4045-9BA8-DCBF27DFEE8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2399249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2399249"}}}}}