{"entities":{"Q5754521":{"pageid":7784072,"ns":120,"title":"Item:Q5754521","lastrevid":41783273,"modified":"2025-05-08T07:03:37Z","type":"item","id":"Q5754521","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5181779"}},"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":"Q5754521$5A8D4143-1979-4030-9E13-346A2A04A82A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88fb1882382f0d6fdea2279a8c94896c24e26629","datavalue":{"value":"1123.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754521$388F4BA1-D26A-4AA2-BED9-536E6C65FCBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d419c94e10b433f5bc0f0e29a5c2b828365f7fc","datavalue":{"value":{"entity-type":"item","numeric-id":846108,"id":"Q846108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754521$07910FC8-920D-46E2-B4A2-E28F5566DA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91eafcbe49df957079a5c46497e858b2e6ba598b","datavalue":{"value":{"entity-type":"item","numeric-id":5754520,"id":"Q5754520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5754521$46E142F6-91BE-47A8-9F63-1E1526F5CFFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7809d7d740799f1d3201b8daf52c43c390824a","datavalue":{"value":{"time":"+2007-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":"Q5754521$94AA8A11-E63C-45E6-9148-BDA990F45112","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754521$EA8AD3E8-E7BE-41ED-B6FA-A51B098E77EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754521$98201510-BF95-43FA-92D3-EA4F024A76FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7fa37646fc1128b7d5e1f2877183c2dac27b74b","datavalue":{"value":"5181779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754521$8568A4E1-1321-4D5A-A583-DD86A2939320","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754521$DDA2B33B-456D-45D9-95C8-96FA071FF7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1bc7fccd00539d752e8c6559c11200c6955e290","datavalue":{"value":"fair transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754521$C0B28B01-DCFF-48E0-AC87-402340A9E305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754521$99DF4B1E-89BB-4BF0-8BD3-FCB99D9C7EF4","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":"Q5754521$D882F73C-195E-449C-8CC9-1061F18071BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee47b4481933b95332e9904ab6ead696d07aec","datavalue":{"value":{"entity-type":"item","numeric-id":479806,"id":"Q479806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2c162752cf4bc3960b32203902c42446fdc7dd","datavalue":{"value":{"amount":"+0.9197332","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":"Q5754521$4B565E9A-0603-4138-AA0E-28C1DF7CDA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906e6e08785ad87e34eba88192920c1e2f7852f5","datavalue":{"value":{"entity-type":"item","numeric-id":877159,"id":"Q877159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732a4625c49db189a71282316b608905474f17a1","datavalue":{"value":{"amount":"+0.9142942","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":"Q5754521$4021FB66-F717-4019-B89E-308C0700A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea077fad68d85be405c8b9f8b76db8c93653b87","datavalue":{"value":{"entity-type":"item","numeric-id":1346652,"id":"Q1346652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8962b56815d38bc083d2f5ab18353dba86578b39","datavalue":{"value":{"amount":"+0.91380805","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":"Q5754521$A297072F-1482-406D-863D-E4897BE12C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e16a4b33fef2d7db8e9ad818e844652193261","datavalue":{"value":{"entity-type":"item","numeric-id":2703729,"id":"Q2703729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e34a41393bf02a69730e647b5cb086ffcf13e4","datavalue":{"value":{"amount":"+0.9087067","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":"Q5754521$C6A4CA6D-A836-4EFB-8920-D174DE3FA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a14d21ab10836264c15d51494a3c642a02b4eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103dbf14a08d836298961e7a7c09bd60a8959def","datavalue":{"value":{"amount":"+0.90821207","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":"Q5754521$7C4526D9-042F-49A1-9512-DBCBDB295821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ac331d4c42fed1202fac7a8c1d5b77b0444a17","datavalue":{"value":{"entity-type":"item","numeric-id":2764145,"id":"Q2764145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b42c73489da14650e81205b17ca7f3617f04d4","datavalue":{"value":{"amount":"+0.90579814","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":"Q5754521$B797C05F-9928-4639-83BB-84DDD6A80D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c054ac29864fbad7d578365b2db80a74d2342cf0","datavalue":{"value":{"amount":"+0.90324116","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":"Q5754521$621C5CFA-5ADB-4890-8B38-C0E58C062C72","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":"f412de9eafd937acd133677d161a7d936a9b3ba4","datavalue":{"value":{"amount":"+0.90126485","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":"Q5754521$3DD0CF47-3B7B-470C-B161-2A366E2389EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5754521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5754521"}}}}}