{"entities":{"Q3899466":{"pageid":5929371,"ns":120,"title":"Item:Q3899466","lastrevid":54888341,"modified":"2026-01-30T01:49:57Z","type":"item","id":"Q3899466","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3707731"}},"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":"Q3899466$BE8855BA-C7A8-411C-9A40-CD3CCBB9F1FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1982ba9525c302bba2d74e78ff13434e4fc707d3","datavalue":{"value":"0452.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899466$1A8B7F9C-6EAB-48E1-A630-F2FD89A877C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e158d61d0f7377744965d15dc3f177a5f2218fa1","datavalue":{"value":{"entity-type":"item","numeric-id":910248,"id":"Q910248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899466$13AD8FA9-F1AD-43BC-AE02-7D7C0FF3E486","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3899466$9DABABE3-868E-4F55-8E5A-B1461E03D2DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899466$FBEA0C56-F1F8-4917-AB4A-66B9F625BCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899466$54970080-62BA-4260-96CA-08FD755F3538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076b4a9f09058c16097564c84258af842a1052ba","datavalue":{"value":"3707731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899466$C55E41D3-2BDD-4BB1-BE4C-14A4AB3C6872","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899466$D6339178-5102-4D66-AC3F-CDCBE0900AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899466$CB63A1E1-91F4-4315-B1B3-5878CD4B0728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899466$AFA7F5F8-ED34-4D46-AB45-1A35D30E9930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899466$A6DB4C06-42B3-4930-A8B0-47D625C9B3E7","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":"Q3899466$F34BDFA5-78B4-4FDE-A3D3-806073DF7A45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3899466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3899466"}}}}}