{"entities":{"Q4779117":{"pageid":6808697,"ns":120,"title":"Item:Q4779117","lastrevid":74816889,"modified":"2026-04-15T00:28:55Z","type":"item","id":"Q4779117","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1834574"}},"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":"Q4779117$8B02066E-2757-480D-83D2-924B2CFD2F2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b184775dbe9504419a0fbf6f5213a894ea6cd9ba","datavalue":{"value":"1005.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779117$52383425-9820-4A08-B857-B1B3A3F3DE2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779117$1363CC50-49BF-4A64-B9CB-76B2C0C10AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a60a15cfbea43471ccbd146befcae6bee6ddfba","datavalue":{"value":{"entity-type":"item","numeric-id":975495,"id":"Q975495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779117$F617C21C-D074-4CC4-9C42-66AEF670176C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9856b7e98769f1b2e2a7e2681ba52df79bafa07d","datavalue":{"value":{"time":"+2002-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779117$CC929903-DD41-417A-83AF-C1BA4DB424B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779117$B047B6AA-DF3C-4460-8E84-9387FA62486B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e8424960c6ec4aff4bc2858a98bc3bb491fda7d","datavalue":{"value":"1834574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779117$38F6E768-6785-4C30-B2DB-8CFD16875308","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779117$187251D3-8A5F-48ED-9804-447E93AB2A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7fae27af59c80df100130104dc8bc229735e3b2","datavalue":{"value":"open reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779117$F167EF50-21E7-4234-AD64-990E8C3483B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06de4932bfd6c39a209d6b6c0873900210095e11","datavalue":{"value":"data-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779117$BFE957CB-FDB8-40C8-A366-8DF836392674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33c12cebdd27ac256d7f6de213e0e6035a26e4a","datavalue":{"value":"SDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779117$87F8064B-FB6A-4B82-98EF-5C25AC72E297","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":"Q4779117$6C4B12AD-97D5-4159-89DB-A6FC80BB5854","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14eb0cb302522ab28a8ae10fe6e3437e45a181d5","datavalue":{"value":{"entity-type":"item","numeric-id":4808850,"id":"Q4808850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1477b566121d322f96540947fb50e41bd49387","datavalue":{"value":{"amount":"+0.8342807292938232","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":"Q4779117$DF05B236-EAC1-4907-9672-B03F1A910130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0b040445d42d3683132417e95954a90329342f","datavalue":{"value":{"entity-type":"item","numeric-id":4736989,"id":"Q4736989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed6fddc0adfb847b683306f32772f1fad54e059","datavalue":{"value":{"amount":"+0.8058087229728699","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":"Q4779117$60D9EE0D-E921-441C-835B-17748D9106C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9176d91a54ae31eb2873f31bd2d01523d0815d","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4648ff246bd05f0c92b101ee348b1fe0c3d31793","datavalue":{"value":{"amount":"+0.7613568305969238","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":"Q4779117$94881A11-E6CE-4BBC-B518-6BD745A223AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddb3c2c547013c7ae07f37c38579e991ba70d95","datavalue":{"value":{"entity-type":"item","numeric-id":5311293,"id":"Q5311293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd103d90b0aa228702f35d2f44321d84a0a97924","datavalue":{"value":{"amount":"+0.7287502288818359","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":"Q4779117$EE62C7AE-40CA-4EC3-BDC9-1E0E21186809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c065744fd7b37a35e957a948e69a10f4b04dae","datavalue":{"value":{"entity-type":"item","numeric-id":3043804,"id":"Q3043804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618720b92563fe59776e322b7a4c15c2cce5d0de","datavalue":{"value":{"amount":"+0.7267583608627319","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":"Q4779117$382BEBF0-7338-4CC5-B3B2-B2D99363D45A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1834574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1834574"}}}}}