{"entities":{"Q4807832":{"pageid":6837412,"ns":120,"title":"Item:Q4807832","lastrevid":74566197,"modified":"2026-04-14T23:23:00Z","type":"item","id":"Q4807832","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1916673"}},"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":"Q4807832$999E46B2-9603-4558-B2B8-DE5A145804CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62cb47bb81e5ff99aa7e18c2a0252bf6783ac60f","datavalue":{"value":"1046.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807832$192872F5-306E-4329-A30B-5FEEF819D815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807832$C450A78F-2C6E-44AC-B1AF-9102A54C499B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807832$66D7E1CF-AD95-4E2B-8EAB-765ED37AC3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4807832$0E51BFFC-9FEF-42B3-90F7-59170CED4B92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a15526a466ac56a4cd2e715a1209b7ff01addaf6","datavalue":{"value":{"time":"+2003-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4807832$88EEFACF-EAA6-4554-96F0-7BE6F9BF6A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807832$CBE10EEF-5B53-4247-9A26-4B320F0E0827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807832$4FB0B28F-DEF7-413A-8462-264320EB4D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2280dbc5e93042e94bbc264237cc1d8b08f3e2c6","datavalue":{"value":"1916673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4807832$7D75F5A1-6317-4534-8C2E-900D74C9AEA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807832$91801E3B-991D-496C-85E7-71118BE37C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807832$4F50CF7B-02FF-4F26-BB14-D64F387D6DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807832$09C05276-91C3-41FF-BEEE-5F46557E96A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4807832$2130BC54-A926-4586-B9FB-EB97983B70AC","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":"Q4807832$790D4790-C1D1-4CEB-B93F-596FABEA430A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba393d3159f88a8692d1807e732810558065a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f954c7189d3c4ba831a144d735ba41e32ddb468","datavalue":{"value":{"amount":"+0.9380625","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":"Q4807832$0FF67E2D-99DC-44EC-822C-18B02D2FAAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4751b6d4fd0ec74ff327b3f280311458644c5ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5902009,"id":"Q5902009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fc5dbc80f7250f54226f2322fc7cb134eef74a","datavalue":{"value":{"amount":"+0.85879993","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":"Q4807832$B49A1D39-5677-48B5-BB72-E5DB5131631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68e4faff764893c0fea8fd6642cf6ab7b285d62","datavalue":{"value":{"entity-type":"item","numeric-id":5441288,"id":"Q5441288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93566ca6baf29f6f5ff2078153d9294c398df7b2","datavalue":{"value":{"amount":"+0.8010434","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":"Q4807832$4D70BE64-9BE3-4366-9F1A-FFE63BC06008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11ac2eba8835edc4280d37fb829d827620942c47","datavalue":{"value":{"entity-type":"item","numeric-id":3613088,"id":"Q3613088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd56fa4abd206157503fcba9b1ab3e338fe32c8","datavalue":{"value":{"amount":"+0.7959152","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":"Q4807832$E712C393-2378-4474-9E3F-ED0DCAB6F61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef11b44571eb48db88f09cbaf781e2e56ca7298","datavalue":{"value":{"entity-type":"item","numeric-id":3434604,"id":"Q3434604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d875b481c36617303656ab512986ec8d5b2bf8","datavalue":{"value":{"amount":"+0.76122403","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":"Q4807832$350184C3-B68A-4C28-B637-1C4EEB55BFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368d2da16bfe8c8f0787fbe3c638e7aefe205e63","datavalue":{"value":{"entity-type":"item","numeric-id":640298,"id":"Q640298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54018f8bb486d1de2a71eda6f091e455bc97c4f","datavalue":{"value":{"amount":"+0.751817","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":"Q4807832$88B7CB6E-7BCE-4F85-90B3-6E99324923A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1916673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1916673"}}}}}