{"entities":{"Q4518891":{"pageid":6548484,"ns":120,"title":"Item:Q4518891","lastrevid":47540824,"modified":"2026-01-02T00:51:37Z","type":"item","id":"Q4518891","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538036"}},"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":"Q4518891$395AF872-A49D-4819-8B89-F87F5C377A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"743eb83eda61712a8f0f2efc4dc62eedbc1d16e0","datavalue":{"value":"0964.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518891$7919969D-BD1A-49B2-AEBF-FC4C46742405","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518891$3C8CA2FA-3285-4417-B47E-D0585AD10B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518891$8842669D-DDC2-4775-8F20-A5905DFEEBAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73fe45a81271f1e06047daf6368e7c43c5b4b14d","datavalue":{"value":{"time":"+2001-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518891$7A8A4BFC-AD4A-4B6C-8F42-B0AB7AE508E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518891$C1FECB78-DF6E-47C3-B793-BB048A0EFD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518891$07E4CB8A-A9D9-4AB8-AA8F-B1F55553B3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518891$08310EB3-9AE9-4CD0-BD91-B67D9495E116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518891$BCCCD924-8076-49DF-95EB-6A30C599D1F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"843b626c773ea0dee36afa514932173f23a0be1f","datavalue":{"value":"1538036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518891$D767D938-3D49-4261-8BF1-EC56A47F2171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518891$C8E97621-9051-4A64-9261-854108612057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518891$7E905034-C5E6-4B49-8565-B44E2E1A0F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900f914a24eb1086de483dc2b864e7a01ff5612f","datavalue":{"value":"linear arithmetic constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518891$CE1135C2-7F4C-4B77-B5DA-ECFD97E98287","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518891$E197D7FE-EAC8-4263-83E9-7F6BF2ED63F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518891$F675C118-01BF-4FE4-A10A-219E72CC6035","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":"Q4518891$17EA8AE6-8F26-4F84-A4F6-D2284A3BD964","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a54789e32430f1018054948eb060d2fc452ab3b","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085089308753fbeb252ec51d727fd2016f0ee532","datavalue":{"value":{"amount":"+0.8051114082336426","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":"Q4518891$3E923778-962C-4581-BC56-B7E8671BEC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2d4347bdac2ab2f1564015f3aed2a9ace42cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4418627,"id":"Q4418627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5d5f9753941de3c7f8e8cfa1b04cfd0154eee4","datavalue":{"value":{"amount":"+0.8040950894355774","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":"Q4518891$543E0835-E120-4DA7-8DD9-4775185A5DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9bb997a6eebba553b2cf0f33d0315273f3a7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff06414dba03677450a7f1843992ed65d909a6c","datavalue":{"value":{"amount":"+0.7984644770622253","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":"Q4518891$7FCA1866-B59C-49E8-A987-AFA9EDD95FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f0cef9d80d3102cb94051f02b000a4b9396f8c","datavalue":{"value":{"amount":"+0.7704817056655884","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":"Q4518891$0BAB2292-BA32-45EE-857A-94FCAEA3C7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d243301ac3e867fcc20081d7af123443233beb","datavalue":{"value":{"entity-type":"item","numeric-id":3510798,"id":"Q3510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e27a695f8b928ab6a267df2c3d8f757f84ba43","datavalue":{"value":{"amount":"+0.7688001990318298","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":"Q4518891$0039003A-479D-4081-A9FA-5D1507241809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518891"}}}}}