{"entities":{"Q4779119":{"pageid":6808699,"ns":120,"title":"Item:Q4779119","lastrevid":74816907,"modified":"2026-04-15T00:28:55Z","type":"item","id":"Q4779119","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1834576"}},"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":"Q4779119$CBFF7218-5115-40DD-84E5-7F3DC45041CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32cc6c0c573f051332f49652a4fe403c146bd7e","datavalue":{"value":"1005.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779119$92B20918-FC9D-4DA1-85B3-1CEB777349AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779119$31EA4AB3-CD90-4DE1-B629-34FA565A6E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698911fa5ac0476471a6cccfa4e87b56c0cf5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1607221,"id":"Q1607221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779119$D3E9822D-F505-4F1D-986B-591B1CC78DC3","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":"Q4779119$FB0BA530-822B-4FBD-ADD4-437CE6CBFE19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779119$8E94EE06-0047-432E-9C48-EB10E38EC2CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c777eafca1ea0fd0283501a0dcbffa96a50ed5ed","datavalue":{"value":"1834576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779119$C9315476-38C5-4816-BA33-D4FEAAA8BE59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779119$53CC95E3-5F8C-43C4-8E96-7B3F37DAE4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779119$356AD3D4-2D5A-407A-ADFF-AD26379C3BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779119$15A20D0D-E0E2-4A2A-921D-3DBED002AEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779119$7CCCBD6D-0652-45DB-97C8-2706D7D03B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9ea4cd32333cfc0fdb53afcc862004770d5830","datavalue":{"value":"domain refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779119$2375C6C4-C2A1-44F8-A45C-64452C65EA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779119$9745B195-E280-4546-9400-722658C8F741","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":"Q4779119$7D638004-C7A6-4554-988C-A3E4E7AD7A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189ff5573dd4149b828fb3b5995d59e4193ac727","datavalue":{"value":{"entity-type":"item","numeric-id":5466577,"id":"Q5466577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a69e16dd793707813839cfc74564d70a657e603","datavalue":{"value":{"amount":"+0.8124473690986633","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":"Q4779119$BA53CF78-ED93-4FC7-941A-6B7585E0AEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e55007e39b2ec350cc88cd6063e1a5ba81599","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95b87412e7e9dd2fbb621f4497e35d641d48b00","datavalue":{"value":{"amount":"+0.7991946339607239","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":"Q4779119$BDB6E5BD-1B02-4A6E-886F-1CEFB27C9829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c45d081081954201ed6147b22adc377d3cd248","datavalue":{"value":{"entity-type":"item","numeric-id":5741575,"id":"Q5741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33c4cc19666a6ffd99014ebdc9e12362ff5a85b","datavalue":{"value":{"amount":"+0.7763086557388306","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":"Q4779119$C0F86BE1-6D37-45AD-8AF9-3E41C2710F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071d5f82f94679e2a45c268d5e4d20cab45e258b","datavalue":{"value":{"amount":"+0.7711960673332214","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":"Q4779119$54052E2B-518D-4A68-8121-E95B35324004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a941bdce9dac3645c4707b20455b8d21119028","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923af64f3628c19424efc9e180d043d72f5916ab","datavalue":{"value":{"amount":"+0.7687623500823975","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":"Q4779119$B30009E3-FB26-4C2D-86A8-CEDC673A39A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1834576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1834576"}}}}}