{"entities":{"Q351971":{"pageid":353738,"ns":120,"title":"Item:Q351971","lastrevid":61173279,"modified":"2026-04-10T21:38:07Z","type":"item","id":"Q351971","labels":{"en":{"language":"en","value":"Recent advances in program verification through computer algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6183802"}},"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":"Q351971$A6E731CA-BD1E-498E-BAE5-C63B7C2EC63E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb482a64d1844851889a9b9191e3f7030dcb3eeb","datavalue":{"value":{"text":"Recent advances in program verification through computer algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q351971$2DE60B3C-3F54-4097-81FF-CC44259E5A83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b4155cefa372d04d8b5193a686b8c2e252c4d47","datavalue":{"value":"1267.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351971$92B72F30-4E33-4BD2-AE09-57ACF74D564C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec7461111d9cda8617112c815269fb3ec99ff58","datavalue":{"value":{"entity-type":"item","numeric-id":215660,"id":"Q215660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$99EB5E93-3E11-4332-AD7A-8464AD52666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efb0ba0fc664aed5c408704429204caf98c69fd5","datavalue":{"value":{"entity-type":"item","numeric-id":351968,"id":"Q351968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$27B962CC-D7BB-4CE0-A30A-48C164FC745F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$12EF50CE-7AC8-416D-B132-59FCDDC3D162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$999CAA1F-133C-42CE-B592-CB56AF2D8F79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95cb2c83394bbbcdd99484db77fc7dbad3dbd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":351970,"id":"Q351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$00A5F96E-9064-4177-A38D-C08E4F1174B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q351971$5BB1E00F-9D80-4E8E-A491-4875509BC1A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351971$978E6A61-E683-4689-8482-65E0A8815FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351971$ACFEB9CD-5403-475F-8F40-A8B24324C066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee86b79c67507156eee4f6e42c7deb4370e974ff","datavalue":{"value":"6183802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351971$DE9A3EBE-4A4A-4A54-8018-407FBC130768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$7445AF0F-5233-41AB-B948-9C1189797239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$B489D19F-96BB-473A-BC45-2E547A2C319F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f0d6925e9a09b58c6d1344196423655c572738","datavalue":{"value":"semi-algebraic systems solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$8306C82B-B1B7-4BFF-8FB6-188E121D62EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$1893A869-D6DE-413A-91F9-52FA0F782FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$7E9E0DD8-8441-4E88-9AAE-8B34721510AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67f9f6bf951a54803051a1d015f6743500477b1","datavalue":{"value":"ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$66D5F84F-7E6B-427A-A289-51753C2034CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q351971$4295BA9E-E3F0-4BF1-BA99-E860B5C3F49C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$9E807083-7C94-469F-ADB5-54975439DD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$B49E7DEE-2E74-4321-86F5-15EDF58DB503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$E82E532D-073E-40C8-AD8C-5B8DA479C07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfd90e0763a84ca2e3f11697d883ee6fa74ed0e1","datavalue":{"value":{"entity-type":"item","numeric-id":19736,"id":"Q19736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$1983C602-346A-46F7-833D-C1CBBE9F8E5F","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":"Q351971$00B4417A-5ECD-4B88-9EC7-84E9FAB7DC23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c97400406ce5dd434a584538fe471da8722e5fa5","datavalue":{"value":"https://doi.org/10.1007/s11704-009-0074-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q351971$EA1A6343-3B10-44EA-A5A7-31D388CB8267","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcc61702a7157be11537cda6ca078e754042f752","datavalue":{"value":"W2039205672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351971$03D574BB-30D8-4202-B139-05FE3B2EC5B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$B7F25C3F-7A2C-4FBD-A167-AB9E6349BB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$7EFE9DBF-88E4-4C86-9968-B4D0A6E850CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82af13d5271451c4bb72d7b055064b56ff1b2fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$10C7BC0C-BFBF-4899-9E2A-502B8F6939A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$2622F38D-55A5-47F2-A12D-6A821AC44968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$3E3B0822-2B08-4492-93C0-50104BFE4F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$5EC1442D-9E69-48F3-8596-FE522E0D3DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5945679cbf6467987da345739dc625d3e00df54","datavalue":{"value":{"entity-type":"item","numeric-id":5466567,"id":"Q5466567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$7496BFED-1F2F-4DCA-85FD-6CF1A0387306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$FE65C68D-0324-49E5-81C9-656A13C2DACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$56685C07-2E52-49F2-8633-6F48ACDD88E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$0B5EB466-2286-4652-8AD0-397720AACA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$DAC90099-F0E5-49A7-BCC2-DB3CE8A5296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$39046ECC-BC32-4246-9A97-558E88D1A72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cf7228f523b812b7b460d41fd7896d80b945ef","datavalue":{"value":{"entity-type":"item","numeric-id":1808669,"id":"Q1808669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$51D8265F-4920-4C2B-A5BA-A94310157E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87eb4539080cc39da1a5414821e77f6b1ad55ce8","datavalue":{"value":{"entity-type":"item","numeric-id":865930,"id":"Q865930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$557B8148-EB8F-4C96-AC48-4DB928A271FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478ddaeb0ebd9a5fb392b818612e3c4fd9e7702c","datavalue":{"value":{"entity-type":"item","numeric-id":674718,"id":"Q674718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$EDAD2674-0BCA-47AD-925B-953461DA8B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201e194dcc9975cd1fe5a23f082e4e3295b00827","datavalue":{"value":{"entity-type":"item","numeric-id":1864897,"id":"Q1864897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$A85A96AF-7C8F-476D-BB34-6B5D56D61898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df0a3655784de337c02526951484e855b9a73f1","datavalue":{"value":{"entity-type":"item","numeric-id":2458505,"id":"Q2458505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$60D2BAA9-35E4-4C50-AA36-D9C02CB3278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7b19400a4ff83c647d51f1b4a68b4f64753075","datavalue":{"value":{"entity-type":"item","numeric-id":3072442,"id":"Q3072442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$B5C87748-4FC3-4C26-88E5-A1F4FC26E686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$3F25E8BF-9BF9-45A6-BFDA-87A9C38723B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$5138565C-C022-4AB9-B4D2-71591270DAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$E3C40BB7-C5CC-475D-BAEA-7BF9A7B7E75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d83e0d809c9946be35cf8127887d0a3709fa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4124273,"id":"Q4124273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$DD23999A-A698-4F6E-8737-71C8B7C8AD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613255b4bb6fd411409fb47c605997cb9ba28d51","datavalue":{"value":{"entity-type":"item","numeric-id":5180828,"id":"Q5180828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$F4A1F151-B9F5-44E1-B257-9BD49ADDC993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$5C209B87-7E95-45E7-874F-29B10C851794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$F5DCB096-0F92-4E90-97AD-B347622C5949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d47d30524d0881b216cd4a30d35dd320c36c151","datavalue":{"value":{"entity-type":"item","numeric-id":4411947,"id":"Q4411947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$EC4F100C-F6DE-446B-9925-43200E02665F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$0B68145A-85F5-45B5-8EB7-CCF8024E541B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$C4FD0A32-F4B9-49E0-9989-284EA4A5FFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$C9C7CA12-793A-4982-A23E-EEFB73AC72E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$9B7DE4BD-8262-4798-AE4D-189D95C3AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1246483bffaab3e83b9bc6a24128560197e08009","datavalue":{"value":{"entity-type":"item","numeric-id":3525073,"id":"Q3525073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$6E5A1486-4F30-4792-8CF8-D9D39B54A2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e7b8bdc6acef9bf216ea38837cea12e448f3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$B7E551AF-AAE9-42EB-ABB2-B543C7D6EF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$037E0434-81F2-4EC0-8B56-B2121ABD1308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189b652af24243c72eebddda9c3035f1cb08edf9","datavalue":{"value":{"entity-type":"item","numeric-id":3526926,"id":"Q3526926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$13899D32-552D-49EA-B5CF-B412323F3345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7884973ff241a221c90c774886de6753ca23e7","datavalue":{"value":{"entity-type":"item","numeric-id":5897503,"id":"Q5897503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$89F566B4-3F57-4A9C-B7AD-6B3156721EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041dbe1e303e0d9c68dba9b7717cf556e02fac8f","datavalue":{"value":{"entity-type":"item","numeric-id":1966106,"id":"Q1966106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$E3647852-4AA8-458C-81F0-82ECF6BA3D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42051158bd8db8bb06b1f4287ce9f9ecb76b7324","datavalue":{"value":{"entity-type":"item","numeric-id":539162,"id":"Q539162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$CAADB8B7-930B-4F40-ACA2-4A9EC812593F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9038852701f9ef09e166d7111bbf0050ba626051","datavalue":{"value":{"entity-type":"item","numeric-id":5941097,"id":"Q5941097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$F63E8CB1-1039-4F5A-BD02-4D06678DB1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c13c0a4971591a2cf27700f75a2d4e6dc8512d","datavalue":{"value":{"entity-type":"item","numeric-id":604395,"id":"Q604395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q351971$CACC98AC-C3C8-40A4-BB67-D2B09F27B825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d5ac2e5ba0c94da3efad4a1ec498fc96049ec3","datavalue":{"value":"10.1007/S11704-009-0074-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q351971$CB4984BC-351B-4541-A45C-EFD3AD0F17B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef3d8b6f60b97dffa13c92b63d52848ad112b82","datavalue":{"value":{"amount":"+0.8022418022155762","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":"Q351971$CA677E9F-B699-483E-9E36-2B6001A867DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c7583c01e9fe4139dcc69b9fbdad5a9dedebd9","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6042758578151f475a749e457a2b7943dd3365a4","datavalue":{"value":{"amount":"+0.7764805555343628","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":"Q351971$BAE23119-319A-4640-ACE1-172DE2670390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d4782a97ed26ed405667cbae3e80981f56dbd2","datavalue":{"value":{"entity-type":"item","numeric-id":3525073,"id":"Q3525073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361d4ff6d22be6a8b9e043286b717ce7f5c88ad0","datavalue":{"value":{"amount":"+0.7695078253746033","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":"Q351971$02F0027F-0A8F-43C9-A1E2-43F6F39E0E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9514c257f9e467e49cd497265cc28f2a69e435d0","datavalue":{"value":{"entity-type":"item","numeric-id":832153,"id":"Q832153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffd086e6d4dee18bc625b44dfbf9c1008773006","datavalue":{"value":{"amount":"+0.7663747668266296","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":"Q351971$132B7F3D-E1E0-4765-9DD1-1136FBD4D9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb466b9ae8ef59dc8c7c5d5df099f614b41338d","datavalue":{"value":{"entity-type":"item","numeric-id":3416386,"id":"Q3416386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e713d53db7f4263aa17026abdfd93cdbc7b84513","datavalue":{"value":{"amount":"+0.7630089521408081","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":"Q351971$E323E82C-3E03-4CB2-A251-D3AC9A85C2B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recent advances in program verification through computer algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recent_advances_in_program_verification_through_computer_algebra"}}}}}