{"entities":{"Q4824978":{"pageid":6854558,"ns":120,"title":"Item:Q4824978","lastrevid":74968206,"modified":"2026-04-15T01:28:43Z","type":"item","id":"Q4824978","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2113572"}},"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":"Q4824978$2BBD962F-FD90-4080-9437-0C84A3780D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4126f9cf224873b9a83932c1615a57db4036e8f","datavalue":{"value":"1071.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$0C2BC527-5024-4440-9E08-0613ED283399","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c4bc982af9318ac18b35f44578853ac393aeb38","datavalue":{"value":{"time":"+2004-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4824978$E1D05FC2-4878-47ED-AD4A-D5477E0A5EAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$24BF30E3-BCA4-4FDA-8C77-3F4831923553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$92F15DCB-2488-49BB-96F0-7EA6EB08FEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$B564A529-5140-4B4C-B3D0-AC5C9C2AB869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$3C23B081-C5DD-4948-9137-9682500F12B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$D2E609B3-F0B1-453B-BB88-912B10BE5B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$D8D6F1FB-15E3-44B8-B45F-0A7333680FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e1eb623bdf081b4a1780189974fc6039c8ee4558","datavalue":{"value":"94-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$D6477193-94F3-4B32-93D4-150368869641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ff2adfe216a7febaca8fbd1332fcb7c4b9fae6","datavalue":{"value":"2113572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4824978$2D4EEA23-6CE4-4FC9-A1CC-7EA03D1EF855","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4824978$6000A0C3-BB85-4F5C-8DE5-048FB3DD0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4013f2ebde86f85b984710015e5b95f2f370dc7d","datavalue":{"value":"property checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4824978$2635C12D-2892-4B21-9F12-0E3BF676E7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6174a92dcfaf36a059a5bb5a70ea45f891d6e74d","datavalue":{"value":"symbolic simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4824978$9D994019-46A1-43FA-ABA9-6D98F503F0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dea9426f6d04d92a6855e89277af8f3f18357d12","datavalue":{"value":"assertion based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4824978$CA9FAF28-3D94-4260-82C8-9C9E3ECA7EE1","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":"Q4824978$09B45BCF-3FE6-4E4F-B8AE-701850FF79E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21e97faba9d36587232d0e5e87e70b3c944a341","datavalue":{"value":{"entity-type":"item","numeric-id":4504717,"id":"Q4504717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948e3ace907b7b3ca5bc8da90bb31a5d0e461ce1","datavalue":{"value":{"amount":"+0.8312885761260986","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":"Q4824978$2DBEA900-00AC-4102-B237-259A0E5537BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33649cfdba779cac12a1d78f063a7edb69d4e94","datavalue":{"value":{"entity-type":"item","numeric-id":4825215,"id":"Q4825215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3849dc20ec8c286f487ba8f44b019de1410468ea","datavalue":{"value":{"amount":"+0.8122994303703308","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":"Q4824978$137AB220-D5D9-4F9D-AA47-6CDB196BE591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e23372e8aaa7b71a26e8935e5af978187d6274","datavalue":{"value":{"entity-type":"item","numeric-id":5493207,"id":"Q5493207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7a11eaa8409e1a1cfe727ca319c33804cd1e52","datavalue":{"value":{"amount":"+0.802383542060852","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":"Q4824978$A7BD17F6-5455-49C4-8F29-4E0EE14F9A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de17242b6a04abbc9f8b90f4ff3defe12df6a72e","datavalue":{"value":{"entity-type":"item","numeric-id":2783112,"id":"Q2783112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11d097a313e04345a186a10666216e503fae8c7","datavalue":{"value":{"amount":"+0.8021266460418701","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":"Q4824978$E1DF231D-31F9-4C4C-91FE-C6CD4677EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d757373e5b77d1a36fa1275c0c27637dcb7d2a0","datavalue":{"value":{"entity-type":"item","numeric-id":2783114,"id":"Q2783114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2d96be12437262fb440a7dfa75814599f4163c","datavalue":{"value":{"amount":"+0.7967912554740906","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":"Q4824978$B076C4A5-4FEC-43FF-B778-2B6ECAB53493","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2113572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2113572"}}}}}