{"entities":{"Q4509906":{"pageid":6539499,"ns":120,"title":"Item:Q4509906","lastrevid":41811311,"modified":"2025-05-08T15:07:53Z","type":"item","id":"Q4509906","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1519894"}},"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":"Q4509906$9B7ED8C9-C99C-4321-909D-95F70CB60230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"108c17a3612fb0e7b91b8516ee7011e70d06b1ab","datavalue":{"value":"0953.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4509906$D120763B-0707-485D-8E57-8B945D190220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89de62964a56e2f5f5f6f23236feefe19e904095","datavalue":{"value":{"entity-type":"item","numeric-id":4509905,"id":"Q4509905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4509906$5588DEBA-7222-4E85-BBDB-ADC9E5A84D1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d15735830c5bf8431c82927893189830faf5caf3","datavalue":{"value":{"time":"+2000-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4509906$7895E80D-D086-4F0D-A9B0-D23609B906DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4509906$1EEFA12D-3D43-4653-B1F8-CE92717F3098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4509906$5C40E77A-7178-48DD-847E-EB959A69AAF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fc579e9082108d0e718f2ceec6e41c86ab9a58b","datavalue":{"value":"1519894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4509906$DF0E8A42-E886-40A4-A466-6171BEA1B8DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4509906$CDFFB734-0701-4A72-8A4C-F8060A89E4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4509906$C57E41AD-42F6-4F45-9259-D8280804ECBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4509906$D34CB46C-615F-4F0E-9CCD-B22CC2488D08","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":"Q4509906$969363AE-A783-4209-8D1D-5D7BBA763288","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":"3bd76f131d123771eedd4ae764516ca5165a7753","datavalue":{"value":{"amount":"+0.8964971","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":"Q4509906$19D5CC13-A4ED-402D-A9F3-6F0F47410A4B","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":"a50823c8a0dcd70b4b95225656068b0c9a0966dd","datavalue":{"value":{"amount":"+0.8935299","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":"Q4509906$38D0CDA1-16B0-4B06-A505-1F44BF786AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b367df8d3fcef08c34a425dfc60fd1d73e861","datavalue":{"value":{"entity-type":"item","numeric-id":5464052,"id":"Q5464052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b19d670bfdc257eaf996241124713b1fe4507a","datavalue":{"value":{"amount":"+0.88954806","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":"Q4509906$A8BF8835-A980-425A-B124-34B26465C0B2","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":"91f5c67664c8ee9db9977bedb32273affd5558c8","datavalue":{"value":{"amount":"+0.88949907","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":"Q4509906$580A53B8-49EF-4011-B093-C23F9B813061","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":"91f5c67664c8ee9db9977bedb32273affd5558c8","datavalue":{"value":{"amount":"+0.88949907","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":"Q4509906$AB6DE713-13F3-4AF0-946E-DDE50CB52643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8aafc26daf7e439279684845ccb8670130c803","datavalue":{"value":{"entity-type":"item","numeric-id":882449,"id":"Q882449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c778daeda9bc0a14de19663e44cd9a506b3d91ab","datavalue":{"value":{"amount":"+0.8886944","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":"Q4509906$7C27843E-E1BE-4278-8FEE-5AA23445C527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9200452c8eebe6121b6357a76ed71e24174e2143","datavalue":{"value":{"entity-type":"item","numeric-id":5316439,"id":"Q5316439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c778daeda9bc0a14de19663e44cd9a506b3d91ab","datavalue":{"value":{"amount":"+0.8886944","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":"Q4509906$DB6EA640-7F3F-4700-9176-BE650C0B45AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899e630ab1ca3ef753087abcf3e220b20d3b893a","datavalue":{"value":{"entity-type":"item","numeric-id":1603708,"id":"Q1603708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd0ae3bd467160f71664a9d8d833f234f1ee7fe","datavalue":{"value":{"amount":"+0.8846524","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":"Q4509906$9DCB2FE9-5A2E-4FD4-874C-B2B210D2DD27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4509906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4509906"}}}}}