{"entities":{"Q4037397":{"pageid":6067115,"ns":120,"title":"Item:Q4037397","lastrevid":55250113,"modified":"2026-02-05T07:59:30Z","type":"item","id":"Q4037397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177528"}},"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":"Q4037397$F6832BD5-8D0F-4D13-8C75-AD1EE5F49E20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d4099e620d307534c1625a73d6c2c2075192d6","datavalue":{"value":"0765.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037397$7A26B540-415F-4B08-AA66-AE72FC42D204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f2d86f83e1ef332148150feae546f0c25d4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4037116,"id":"Q4037116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037397$A3FA5A0F-8239-4030-AF0B-6712F16633E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ab9d9df2dce6ff25579bdbdd186f85311c47257","datavalue":{"value":{"entity-type":"item","numeric-id":1114670,"id":"Q1114670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037397$C6875596-0FCD-4E3F-8328-F5667A04C10A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037397$A710E105-437D-4D42-91AC-5BB1E074B1F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037397$9FBDC3CC-1012-4423-978D-A81324EBC8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34a168fb3a5d9a7cf8cac2cdc24ae08d3f435434","datavalue":{"value":"65Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037397$B8E266D0-29AB-412F-81A9-861545FB313B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9ba73988d570f42aed50e179006c13e4a4a45f9","datavalue":{"value":"177528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037397$A41FE29C-CE91-426E-BCA2-DFC2A0B812D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1191f2d867ca9a86054af7726f942ef5373719dc","datavalue":{"value":"program verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037397$BCB9ACED-EDD4-4189-84CA-E3062984A609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037397$6589530D-3A46-4708-88F5-A5123E016FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ae41957acc12239f7c2e6ba8702a35df451b59","datavalue":{"value":"verification of numerical programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037397$87CFA8FA-7A13-4B28-9296-FE3E7691A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e58626eaa920ab78f2b103079dd033944dbb8faa","datavalue":{"value":"asymptotic correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037397$8B64BA0F-505F-4A76-8FF2-F4368B671233","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2834a235e4022142a4ab4efee0fd603bb485313","datavalue":{"value":{"entity-type":"item","numeric-id":35810,"id":"Q35810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037397$6516F965-3A1E-49EA-8F30-EE263FE09463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8718fe6c854fedbd9b2b491c1415c39c8cd0d3e","datavalue":{"value":{"entity-type":"item","numeric-id":35812,"id":"Q35812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037397$3B590C9A-CFC1-422F-8434-75BA4AF57E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"032c862b10a1e67485e24fc236f4090d08f42976","datavalue":{"value":{"entity-type":"item","numeric-id":35811,"id":"Q35811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037397$95A3A9C8-B64B-4DC2-A801-940800952FC4","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":"Q4037397$1398FBE5-7C3F-42B0-A082-5C803A1A8CBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e63fe5c3c604d3243a3af2141fc18de5a556605","datavalue":{"value":{"entity-type":"item","numeric-id":4037117,"id":"Q4037117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3552628e88f775d6ce4723c4559c6c8040b043","datavalue":{"value":{"amount":"+0.9556273818016052","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":"Q4037397$D539D25C-7C65-4723-9515-5D3C68AC96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd3e90d535e5ccef0f68cbceae528c380a32067","datavalue":{"value":{"entity-type":"item","numeric-id":2979849,"id":"Q2979849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1900e961228629459d3e2a8dd2e3669792f25c4e","datavalue":{"value":{"amount":"+0.9524219036102296","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":"Q4037397$DC33DFA8-D539-4A89-BAE2-D7580B088FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26b29691cdbe4d372caca980a02a1a39a62a0a6","datavalue":{"value":{"amount":"+0.7443001866340637","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":"Q4037397$931421C2-8D7E-4769-B864-CEF7253EE14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74015ba5b1fce3381e6d9645c3ffc4e842e9d204","datavalue":{"value":{"amount":"+0.7012393474578857","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":"Q4037397$7C74392C-6EDB-4A58-B06D-7312F6C1EE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbebcf7c98b83f2fb9dc82d5227ea2933dc037c","datavalue":{"value":{"entity-type":"item","numeric-id":3802589,"id":"Q3802589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d1991cee8440b515eb626fbd5b961382fff81b","datavalue":{"value":{"amount":"+0.7005800008773804","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":"Q4037397$9916821D-46A0-444C-960D-604013A8D892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037397"}}}}}