{"entities":{"Q4040555":{"pageid":6070271,"ns":120,"title":"Item:Q4040555","lastrevid":55258933,"modified":"2026-02-05T10:28:30Z","type":"item","id":"Q4040555","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193753"}},"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":"Q4040555$464D5863-FEDA-464C-A905-73B6BC3C2229","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec241b7833f8b98710f0ec3e870b38e5dcd0c924","datavalue":{"value":"0698.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040555$7E20627D-6E0E-4546-A422-E6EAF4516266","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b40a4f788ac5787b763e2cae45ccdf2dc09575a","datavalue":{"value":{"entity-type":"item","numeric-id":927458,"id":"Q927458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040555$1F61B502-432F-4E36-846D-267704DB316F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdfae7347457c76b66a09c6b719ebf5b7df9dd3e","datavalue":{"value":{"entity-type":"item","numeric-id":927459,"id":"Q927459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040555$1AAB5441-4D6D-4ACF-A7DD-8B90C32B8B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97dca11f209fec6adbce79c8bc1d900eb91c72ed","datavalue":{"value":{"entity-type":"item","numeric-id":909194,"id":"Q909194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040555$6C062318-7100-4E91-8C36-8FE54CEA6875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-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":"Q4040555$E606D3E4-71EE-460E-9AFB-F5D1D5D13F4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040555$4E5ADC69-77A7-40AC-8671-67A09A2F64D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040555$A4F09279-F9B4-4C3F-89A5-4A40B386716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040555$DFB64463-5D43-4D5A-8B83-CEBD00C54A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040555$B48BD102-38F4-430B-AD17-78027E56838A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f12fbdb7043aaadca8bfba7f05f8cf4ed7c0296","datavalue":{"value":"193753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040555$362BF138-3E7B-4BBB-8D77-3308FA45F6D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040555$F57F2A65-12B1-4BA7-A577-ED2494AA5774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3738bd0780df07d080d358936f8928e405cd2a7","datavalue":{"value":"mathematical analysis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040555$8FF11F77-8533-4D08-B812-B9F5E9E4DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040555$F1A59FDD-7846-4F10-8126-704607225CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22340cbab439b1975d008d2047f15b0d985d953","datavalue":{"value":"program correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040555$2214B203-D85A-4A7E-A3F4-FCE7A7CE1756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c95d08c7a71975dab7e6d3c09c6fe9dee722caa","datavalue":{"value":"algorithm analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040555$639A02D3-7D2B-4C21-9AB3-C43DA07C0D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cd6f82c94f708c09d8bba35dd5e8213ea371f2","datavalue":{"value":"PASCAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040555$D87B948C-0F94-484F-A70A-773E74D21827","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bd5b8af91c5315c73ce1903af72c27c2892e525","datavalue":{"value":{"entity-type":"item","numeric-id":28321,"id":"Q28321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040555$FF67DDC2-CE20-4847-8BD4-776A5CFCED9A","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":"Q4040555$D83F17C5-FEA9-4A3C-B797-A0475D0EF35B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fcac71626b201e0bce485fe8df754b5f8b2e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4040015,"id":"Q4040015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb54b6f0ec3fe0ca3a89811c2ae6786efc7365ba","datavalue":{"value":{"amount":"+0.8293489217758179","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":"Q4040555$9561D02D-4AFA-438A-9250-0EA415DBC1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822e651be4eb0455d0603f931a736f259af9e57d","datavalue":{"value":{"entity-type":"item","numeric-id":4692594,"id":"Q4692594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a15499e28b4999309cdfd6a8861b77278478b16","datavalue":{"value":{"amount":"+0.8126649856567383","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":"Q4040555$FD810AC0-156E-481B-8C11-AB11B2CD7BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6cd57b7dd4d2d8586ddb437f02d3c87bff67cf","datavalue":{"value":{"entity-type":"item","numeric-id":3323237,"id":"Q3323237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0f3b870189662f3e2a6e8848b0c81aa3d0ebcb","datavalue":{"value":{"amount":"+0.7841273546218872","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":"Q4040555$21B3AD05-CD32-4AC3-A93C-B10F1EEEC875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791a8d72064d6511b3aa3d336fd9ca7640994b89","datavalue":{"value":{"entity-type":"item","numeric-id":3996206,"id":"Q3996206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df992eaffbec6b9487865a84222ceffa8f585aa4","datavalue":{"value":{"amount":"+0.7838126420974731","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":"Q4040555$E85A3C1F-A8B0-4F6E-94F5-C064CAA7D1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdfc91b0d21219aaf6d0a10a5a181e848e8db53","datavalue":{"value":{"entity-type":"item","numeric-id":3763562,"id":"Q3763562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce31d5847ee37b0adc0fd4b5e4dadfa77ecc36c8","datavalue":{"value":{"amount":"+0.7814865112304688","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":"Q4040555$A78397EB-12F6-4AB0-9AF1-2A62965CBD25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4040555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4040555"}}}}}