{"entities":{"Q6897660":{"pageid":20883289,"ns":120,"title":"Item:Q6897660","lastrevid":84183491,"modified":"2026-05-13T06:39:33Z","type":"item","id":"Q6897660","labels":{"en":{"language":"en","value":"Computable analysis for extraction of certified programs and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8123932"}},"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":"Q6897660$7290D0F6-BABC-48AF-AA2C-54D2DA45F361","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d375dc9bca3a5c1a739eb5c92fc79dab4a4eb4c","datavalue":{"value":{"text":"Computable analysis for extraction of certified programs and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6897660$09553A56-93DD-44BE-8CB7-38DBD1E48025","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506c5a2c16c4b8fae520d03a8d82da8ebf966b73","datavalue":{"value":"10.1007/978-3-031-95908-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897660$AF1BCDAD-12BB-437F-BD97-4A2A97CF2373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdee734ffa77906c36b38f540e8794957a5d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":831999,"id":"Q831999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$C3DA68BA-BDD1-4EC1-96AA-505B4A96AAD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804cb8321879b3a50f4d87280bc7c6e87039f39c","datavalue":{"value":{"time":"+2025-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6897660$C9633AA5-3017-45A2-BD09-1F346D38686A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897660$40410C62-A5D1-497A-9718-8584DE8AC5F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1291b199e780934ad146cbdfec6aaa46dd43c4ce","datavalue":{"value":"8123932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897660$7BF67A9D-4675-4BC3-8CC3-9ABE4A865F29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d62d77f8378ea81ef5fbdb2b31734b1b116c9f","datavalue":{"value":"exact real computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897660$B7699558-620F-4CC5-8F36-DCCBD07E9D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897660$ADCCA587-3E8D-4DB2-AEA4-1565A201CB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897660$51CFEF1E-F1C9-4026-A0D0-2CBF577CABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897660$B0B93E23-A9CD-4058-8365-FC6F0E1DC777","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":"Q6897660$26C7020D-FC38-4C89-A2AF-4C9DBD5515D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f537735a50231a83b143267d22c5e34f22db6b0b","datavalue":{"value":{"entity-type":"item","numeric-id":2807869,"id":"Q2807869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$6DF7040E-A8A6-4891-A8A4-70E6465905E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4001aedae98ce2709377270713f0e40c8213c1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3179168,"id":"Q3179168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$D5F0E006-8208-4383-A792-49BD93132232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$CA28B871-E74D-487F-AFD9-B49E4E74E7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$67512FED-408B-4DD5-8442-30E81FFDB3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4726a5d4743e198a171b14042c89ae025f0ef064","datavalue":{"value":{"entity-type":"item","numeric-id":4243908,"id":"Q4243908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$7FFA1848-7E1F-4A07-9EF0-031CEF673158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f52428d156f0adccf6b31690c245efc6fcec7f","datavalue":{"value":{"entity-type":"item","numeric-id":626672,"id":"Q626672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$CF8A4F0E-7FDD-4827-9D97-DF9620EFE31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e55698549203a710dc73f53d8efd7aa10bd9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1799286,"id":"Q1799286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$BC051631-63A4-4CCE-9C96-77F3072B7F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da6409e20e5700f3e2c54187879b227fe7f588a","datavalue":{"value":{"entity-type":"item","numeric-id":5001955,"id":"Q5001955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$C3C63AC3-FBB2-43B0-8239-020B72359849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8607141e2cf878ce7eee8863e311a70109ed36ac","datavalue":{"value":{"entity-type":"item","numeric-id":6647692,"id":"Q6647692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$2D3F7B21-87C9-482E-B709-5C0FEE334156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac7998d001000359e06005b29b421503669fdec","datavalue":{"value":{"entity-type":"item","numeric-id":6923518,"id":"Q6923518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$7B1A62B4-C582-4EFB-9E4F-DCD2C2B02742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3790971f84a7b972ee9e0231ff1aa7d72170d32c","datavalue":{"value":{"entity-type":"item","numeric-id":5327365,"id":"Q5327365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$29F91622-8146-4456-AB12-2C75D395EC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afdecad2b2d16afdd7f9412e6fc8c70afd87b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$0789687C-668E-47D4-B98B-A4900C7A9296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928cbc6fd464e3f95ffd24604f36eafcbf409b0","datavalue":{"value":{"entity-type":"item","numeric-id":1216028,"id":"Q1216028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$A347FE55-4FB0-4312-A831-37D1D769FCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$1FE15BA0-D22C-44E3-BEB8-D327078F258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a728620a96e72f5a654fbe0896254999609fa2","datavalue":{"value":{"entity-type":"item","numeric-id":6859997,"id":"Q6859997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$0F9B1330-35C6-4C71-84B9-4FDB35F01471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c6a7b98937750856b4fd0c419513041ac96d83","datavalue":{"value":{"entity-type":"item","numeric-id":3859258,"id":"Q3859258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$90D85C5F-12C9-474A-9785-7A0127F81933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c636d5dfb275b547b3cbb56eea6abc15122d056","datavalue":{"value":{"entity-type":"item","numeric-id":832000,"id":"Q832000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$A6BC4EE2-F60D-4B66-817C-86755A6DFE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$1D9E823A-CB2C-4605-92D6-2C0208C9FDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897660$72CD7A46-3000-42D9-9DC0-DB7B9451AF4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable analysis for extraction of certified programs and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_analysis_for_extraction_of_certified_programs_and_its_applications"}}}}}