{"entities":{"Q4808844":{"pageid":6838424,"ns":120,"title":"Item:Q4808844","lastrevid":74864085,"modified":"2026-04-15T00:43:45Z","type":"item","id":"Q4808844","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090151"}},"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":"Q4808844$B04DFD3D-D2C0-4B58-99AD-F172131AA875","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6fbc656ed9e36cd6e3e7f70579e74435be197be","datavalue":{"value":"1064.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808844$70E18456-BB4A-4F24-8A86-DF3F27DE2BA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8112127c0d8cfe8be19516662fa2ba3c423248b1","datavalue":{"value":{"entity-type":"item","numeric-id":434441,"id":"Q434441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808844$8D2193B0-8434-41B8-B299-9C5BD549B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde2c5eea43d2c87cb219f7a9655949243a5a22a","datavalue":{"value":{"entity-type":"item","numeric-id":1994366,"id":"Q1994366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808844$AE5B8682-9154-4174-879F-6A3D8D679475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65191862b1e49d35d5ac78419fb25bec955bf14e","datavalue":{"value":{"entity-type":"item","numeric-id":1694025,"id":"Q1694025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808844$3E6BB2D2-E303-4E70-9C09-96082AB9F7CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808844$63D44BF4-A784-4734-AE64-11E3AE3BF202","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b363a212b0303ae926cfc2e8962285f6e27ec2d","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2391/23910431.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808844$0300D775-5955-4EA3-B5C5-F1780FAD5A69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808844$6212953A-2B31-4608-B800-C265B7F7519E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808844$5BAC95E8-90D8-4893-AD0F-AF03E8991D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0efe9c2628e928087633c6cbeae0f53bef819e2","datavalue":{"value":"2090151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808844$52330336-761F-4A69-BB5C-6EA8B2CE2D80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c2f5e30c48eb26344449519ef5b5431d9b732e","datavalue":{"value":"automatic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808844$122CE578-DF13-44DC-87C8-233519EC8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808844$43597A4D-9284-4597-8C9B-0E95335F06F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccda719f3d9650a12038f5c7606f5475dd954f29","datavalue":{"value":"code certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808844$2BCF13B0-0C12-42B5-9AFD-C0F93AE0DF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808844$6978D084-CF6A-4871-BFEF-16C338CE7841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808844$EEE4BB6D-E3D4-4469-A2E6-D4DB3A533A77","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808844$21B9AB54-4E1E-4915-93AF-A15C29CEE9AB","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":"Q4808844$06F26676-2218-453D-9017-9A6E8A250CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264147c7b45ec8661f0f5a98a973e41b40c6c669","datavalue":{"value":{"entity-type":"item","numeric-id":4809067,"id":"Q4809067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09675a44b33ffa5c789f9ca8c8b0ca40b3862518","datavalue":{"value":{"amount":"+0.92096608877182","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":"Q4808844$6836F8CA-527A-482E-9C6C-7E979E1DAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b78947c7fc1d7fdd66590408c9a8d13f0e54e3e","datavalue":{"value":{"entity-type":"item","numeric-id":5312974,"id":"Q5312974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc65c25cd0b33d50080f23df2146d6435b56d1a","datavalue":{"value":{"amount":"+0.7723110318183899","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":"Q4808844$3EB4AF5D-0244-4B8C-A974-9536D0699FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e67aae18ce97c9fe41c898c3e327e52ecedc02","datavalue":{"value":{"amount":"+0.7414801120758057","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":"Q4808844$0015301E-1D91-44F1-9597-639414EAC881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeaa7a94fa6005ac226917f077263a1dcc70589","datavalue":{"value":{"entity-type":"item","numeric-id":1974452,"id":"Q1974452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ede6e62c17af3dce170111b8375defab8a7a925","datavalue":{"value":{"amount":"+0.7243877053260803","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":"Q4808844$286808FA-23E7-402B-8C1F-A4F74F4D121F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c27102979ee9eaa73ed3882e987d6345b4be12","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ede6e62c17af3dce170111b8375defab8a7a925","datavalue":{"value":{"amount":"+0.7243877053260803","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":"Q4808844$D570AE12-0367-4A4B-953A-47C37A1C28A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2090151"}}}}}