{"entities":{"Q6535691":{"pageid":14146834,"ns":120,"title":"Item:Q6535691","lastrevid":95493854,"modified":"2026-06-05T09:09:19Z","type":"item","id":"Q6535691","labels":{"en":{"language":"en","value":"Certified verification for algebraic abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798105"}},"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":"Q6535691$428318E0-B538-4461-8759-4DDE91BA1FC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd1995777ef2ee80831d2095a3578f2cd2578adb","datavalue":{"value":{"text":"Certified verification for algebraic abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535691$D4B8F0BB-10B9-420E-BCE9-34FBE726520D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2264f4831e6a0e0ee1010d9ff3c9fc7e5415ee3b","datavalue":{"value":"1547.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535691$AAEAF60A-8EA9-4DE8-8F84-26A027089B2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c2154576c6297c81021f9992c83aa51f35810af","datavalue":{"value":"10.1007/978-3-031-37709-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535691$C03C1897-464F-47E0-AE89-F640C395D247","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9764996bae6bd9b17d23d85978b18dacf299f6","datavalue":{"value":{"entity-type":"item","numeric-id":832258,"id":"Q832258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$40C74511-A10D-421F-93D5-D18699556B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eb7c0b90fb0f585db1cd09c147664e442631e7","datavalue":{"value":{"entity-type":"item","numeric-id":832257,"id":"Q832257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$BEDDDFBD-E83D-48B0-A2B8-BCEC8B903DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d64add4224d48d3e6a017692fd022ede79a50f","datavalue":{"value":{"entity-type":"item","numeric-id":823307,"id":"Q823307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$4A2BFA7F-8A31-4C01-9C13-6448B2146D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad905386b7c3383cf03d357be2b73ba68ff5e22a","datavalue":{"value":{"entity-type":"item","numeric-id":832256,"id":"Q832256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$B30DAAAC-AC7A-4A06-AD78-AD839BBF1C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$B0593530-21F0-49FE-BEA1-9D3D5DD98885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d27ba47383ccb663a9a6898fa9f5d7c3a6d15e09","datavalue":{"value":{"entity-type":"item","numeric-id":678877,"id":"Q678877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$8CB5140C-4166-47FF-B0A6-839486C5FAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535691$B5D9EEDB-2906-4B27-8EC1-DB90FA6C7ED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535691$D7669071-BC34-40CF-91FD-04BB735EE6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535691$08CB6B0B-E180-40AD-8560-C69C638F963E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0bdb68329b4597c5bd0bd83b340c627b3f00206","datavalue":{"value":"7798105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535691$1B4E3589-D163-4D26-B09B-75554922371A","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":"Q6535691$34100C93-DE9F-4AE2-9375-0A31AE9505FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$9BEE609B-4D30-42AE-9F45-B828801C11F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6638576146949e050869fbd017d1f5e9c8d5e17b","datavalue":{"value":{"entity-type":"item","numeric-id":4377762,"id":"Q4377762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$BFB67A71-FE35-49B2-B9E6-18868BE6DDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$59EE9467-10FA-4A43-BF86-B050AEE68C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb4e9df0ff6844170026cd86381c1dd17473","datavalue":{"value":{"entity-type":"item","numeric-id":2781760,"id":"Q2781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$AD2B885C-D1B1-4DD1-881A-785527EA1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7902ad05fc58101eeb009f9da7bcfeb90392bef","datavalue":{"value":{"entity-type":"item","numeric-id":3608762,"id":"Q3608762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$B4B04CE5-807C-44AB-87A4-134B5C2739E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4aed9b8c360dba198361b37afc63de7b6c5158","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$624557D2-6932-4A29-8CBA-4E4C80CD0F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2654d5ff3827fcd8097156ceeea53d97ceca9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3347947,"id":"Q3347947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$3D318E94-71AA-4BED-ADBD-841861598C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$BD866AFF-AA40-410F-AD1A-5C9F537E91E1","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":"Q6535691$2336687F-6D5B-485C-8F7E-9C2F1C54EB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8963c27a223020a3d0ab46c3570fab93816de414","datavalue":{"value":{"entity-type":"item","numeric-id":5009416,"id":"Q5009416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$76E1DF40-9909-4D87-A23B-D470955D3EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddb24524f9492b2f7ff2452a65248a4e7e83461","datavalue":{"value":{"entity-type":"item","numeric-id":832260,"id":"Q832260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$CC7BFC2C-CCFD-477A-8FED-1E7AA70F2425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48f75d740c9fe11d6be3f24f083dfdea7462b93","datavalue":{"value":{"entity-type":"item","numeric-id":4471712,"id":"Q4471712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b050ffae1b83898f3c07591eb7d64e7a724ee2","datavalue":{"value":{"amount":"+0.7558838725090027","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":"Q6535691$56D1180B-1DFE-4B20-9C85-A696085BA274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b120bb7bbbf9eb0dfe6b30d6e9fdc6fb1c6dcb65","datavalue":{"value":{"entity-type":"item","numeric-id":6535536,"id":"Q6535536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9832a981a00d90524d774342699942dcbddcba93","datavalue":{"value":{"amount":"+0.7355642914772034","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":"Q6535691$F6DF51B0-ECE8-43C5-A7B3-609F8D248254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff205fa1d1ed80ffbab66f1d457805ea78209a6","datavalue":{"value":{"entity-type":"item","numeric-id":5009416,"id":"Q5009416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7153d88836a34da2cedd8b79b8bc19ea343bb1","datavalue":{"value":{"amount":"+0.7127192616462708","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":"Q6535691$21EBC19B-1F05-45AF-8733-559A124182B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02896020df20265d0c5f6e1eda20f3af14ce9af7","datavalue":{"value":{"entity-type":"item","numeric-id":832216,"id":"Q832216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c3748e2e420018ca229edd85d29dc05bd5be9e","datavalue":{"value":{"amount":"+0.6946184635162354","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":"Q6535691$0824D4D1-D876-43C1-9CAD-45F6A3B77CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336c64fd1ccdaf46a263420ab2138f0672f1f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":6661748,"id":"Q6661748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bfc66f2f610cc9051a595163524cbc9075f6f2","datavalue":{"value":{"amount":"+0.6946011185646057","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":"Q6535691$70CC9B07-5EA2-4CDC-825F-FAF0E08DBFA5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535691$E7133E93-1A59-4258-818F-FD2560586AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certified verification for algebraic abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certified_verification_for_algebraic_abstraction"}}}}}