{"entities":{"Q4952304":{"pageid":6981886,"ns":120,"title":"Item:Q4952304","lastrevid":40903702,"modified":"2025-04-13T23:29:13Z","type":"item","id":"Q4952304","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444724"}},"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":"Q4952304$E5ACA573-51FB-4155-98B9-331A22AF435C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b1db4c3ee6a6846862cbbb9d394efe6f3b1018f","datavalue":{"value":"0945.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952304$3DE9D9D6-026B-406B-9D6C-76133DDB7327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952304$12038B9C-E502-49A4-8F2E-867BABF6CA03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4952304$5E07D91C-5F29-46D6-9873-4FCDF16D5D07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952304$24972AFE-0922-4279-9199-6F1A2379DC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952304$E99B43CF-EF84-412D-AA8A-B33BC18DDBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952304$FE72D880-E063-426D-A948-26D784084DD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"807d698be4e3f9efc5dc1e48dd7813476021af39","datavalue":{"value":"1444724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952304$AECAF8AD-BC2A-4C96-B168-846BAF78614C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce8456807fee050c0285ed7f96877fcbf74da80","datavalue":{"value":"compositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952304$F2CB2002-7A29-40CE-890E-F32E201C1690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70712ec960d23e62b0055ba912ee19a523a15577","datavalue":{"value":"checking real-time properties of a discrete timed process language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952304$D716A96F-8F3F-4681-B3A0-1D2EB38227AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd5f69af7c72bcfcdccc12602fd47f8feb4b8f3","datavalue":{"value":"discrete extension of \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952304$8F43F600-9C7D-4314-A835-077EAEF2177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3c3918825361d7dda738d33ab1d53757d93b02","datavalue":{"value":"operator of process refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952304$D7BF2304-25B0-4738-8136-3CB37BD962D4","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":"Q4952304$A30187CD-741B-4649-91EB-753C7397604C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd6430ddc07f666412f326375efcae8ea7ce9a5","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05413a0ec36bde8db2fed4b739e5f14bfc4159b7","datavalue":{"value":{"amount":"+0.9370214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$09B4FE8D-6F06-4941-9244-FFDB1D5D22C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5876800c7b1decd4ebed51d84d91fccbc563ba","datavalue":{"value":{"entity-type":"item","numeric-id":1918934,"id":"Q1918934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a30f8b5d24b05bf78ef27581a1a95c81263d443","datavalue":{"value":{"amount":"+0.9335974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$A840C402-9A47-472D-8D3B-6D9F4E100FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8e5f30b9738995adf7066cc16c13442136d414","datavalue":{"value":{"amount":"+0.9332729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$7CB75468-559F-4FF5-ACA3-596566054ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f676604994e5623f9b85982fe438243f2f96ba","datavalue":{"value":{"entity-type":"item","numeric-id":3196346,"id":"Q3196346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93c7e411edc0e7699cfcf8660b65a61cbbc1312","datavalue":{"value":{"amount":"+0.92892957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$F9EC1889-75FB-4F80-8283-771C169EC281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11fbe834f5d5cc57f184320c8537942a956f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5479159,"id":"Q5479159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e79954679b155aebd206108f070b8f6c38b602","datavalue":{"value":{"amount":"+0.9198756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$6FF6A17C-DE4C-49B9-B644-B7ED4B31E535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67effac51b128c8176c1d55dc23aefd3b00b3d1","datavalue":{"value":{"amount":"+0.9187988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$B10EC07D-FA3F-4D8B-8E79-01E9E785ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67effac51b128c8176c1d55dc23aefd3b00b3d1","datavalue":{"value":{"amount":"+0.9187988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$F1F0A0C5-FCFA-4105-8829-31C7448C3409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64189b632096ea5d111d5fb17c6002322aa2734f","datavalue":{"value":{"amount":"+0.9136824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$9A966FF1-3578-4F70-819C-D0B277F4714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9e271c461eaf7166a0470f6c162324698c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428ce98cc0f8a9261f2f1e875dadc451b98b599a","datavalue":{"value":{"amount":"+0.91320765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952304$0965A0D3-9033-461B-A9F2-5C095A88A0F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4952304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4952304"}}}}}