{"entities":{"Q6652959":{"pageid":14264116,"ns":120,"title":"Item:Q6652959","lastrevid":103780178,"modified":"2026-06-06T08:10:12Z","type":"item","id":"Q6652959","labels":{"en":{"language":"en","value":"Generic and algebraic computation models: when AGM proofs transfer to the GGM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7958232"}},"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":"Q6652959$8BCA354F-465F-46C9-ACA8-FE6563A07225","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebee6752572773a87495803f162fe97e5b018779","datavalue":{"value":{"text":"Generic and algebraic computation models: when AGM proofs transfer to the GGM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6652959$E8ACF9AA-9E1D-43D9-874B-FC285765E63E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5813d8e894191c95684d3ceee0b7058a950831d3","datavalue":{"value":"10.1007/978-3-031-68388-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652959$FD85DD09-3EB8-43D4-B74F-82E99766DDA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e399584240f1b578d3fe28d591cd3e014d87081","datavalue":{"value":{"entity-type":"item","numeric-id":1673378,"id":"Q1673378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$C861A522-F01B-47F4-8FB8-64716261FB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afde48d1fd027843e57043da2b0f1fc7b5623c34","datavalue":{"value":{"entity-type":"item","numeric-id":6652958,"id":"Q6652958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$E818D2DD-F585-49A8-B8B8-6513D31CE92F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5323d6eeafc13fbff671c8611c3f798207ba09d","datavalue":{"value":{"time":"+2024-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6652959$56213631-E6BA-4DA6-9814-2BAAC481AE02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652959$37C2F6C7-79C7-4A33-AB53-0066BEC9B779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3d2827fbaab8eb3858f40d71c1a41ebc4f5db43","datavalue":{"value":"7958232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652959$4BAC67F1-FB6F-43F6-9248-9E24E1D6477B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc131b77462fde86641896ff6e08b0824b434d3","datavalue":{"value":"algebraic group model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652959$DD4834D3-EB15-429D-941D-A031D0404BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2faed8c2c152921cc4e59bb40387c08b8e4f0946","datavalue":{"value":"generic group model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652959$D1F3A4E8-D402-4BAE-9504-19CA24578021","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":"Q6652959$219A8D0D-1B73-4BDB-9B4C-425FBDA0D45F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d19a4631259bca3ba5da23589f6f5e6002d96f","datavalue":{"value":{"entity-type":"item","numeric-id":2119007,"id":"Q2119007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$7A7A2E89-6EEC-4AE0-899A-965682881C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4608e16567fb1e3ed941ffca318f5669cc6243","datavalue":{"value":{"entity-type":"item","numeric-id":2096519,"id":"Q2096519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$D5F7D334-5985-424A-B570-7A7E7C86D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e3b4249b8398eaf62ca99e3ad99ebe270af8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3593109,"id":"Q3593109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$184A9CA7-1296-47DF-88C1-FA1B7842969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b51a98235e5474d0bd33796a47032fea3feac0a","datavalue":{"value":{"entity-type":"item","numeric-id":2104242,"id":"Q2104242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$2A354692-B469-441B-A389-47831453C24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5125ac33cde844c61bf5f257e2bf2fdbe5859f","datavalue":{"value":{"entity-type":"item","numeric-id":4412791,"id":"Q4412791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$42863A2E-7FFC-4BAA-A09C-A88C61300B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$DB4F16E3-D72A-45AD-BF90-7319365F6B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66913a68c0a11d42e2c24035d8e5d61d2ddce27d","datavalue":{"value":{"entity-type":"item","numeric-id":2697897,"id":"Q2697897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$20468DBF-823D-4E97-9348-D3314BDD9829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ff3e9ee0a4659d5f7461c9b3401eddd8083d20","datavalue":{"value":{"entity-type":"item","numeric-id":6070770,"id":"Q6070770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$78B7484A-7CA3-4ED7-8CB9-BCB8BCEF5D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1acbd89b8a8c3b25841a99800e5a70d75576e1","datavalue":{"value":{"entity-type":"item","numeric-id":1784081,"id":"Q1784081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$F4E49A62-E085-43E3-A286-7F3CBF323709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c685ec19ed0f272250e5af09bd2d3d1f65c512","datavalue":{"value":{"entity-type":"item","numeric-id":2119006,"id":"Q2119006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$3D1CA3EC-79CA-4CAA-9E03-CBF46A69AAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cd8c17cfd08c009f00125d8076f4b8896e2f45","datavalue":{"value":{"entity-type":"item","numeric-id":5505469,"id":"Q5505469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$2798706F-D22E-4F91-B9CF-066540BD9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72775058f6964741b5b0cee959a2269612a04d8","datavalue":{"value":{"entity-type":"item","numeric-id":6113966,"id":"Q6113966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$04B27E5E-8C18-4A7C-AE22-D75CCD1CF96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9a02137dc3e683cfd8a04c49e2fec16be2b4ef","datavalue":{"value":{"entity-type":"item","numeric-id":5897509,"id":"Q5897509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$D6C17230-5016-46F4-8032-D5BF15FBA2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17af00c70562ac3115d7d5d4ea05facc9b18285","datavalue":{"value":{"entity-type":"item","numeric-id":5451061,"id":"Q5451061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$3E78F58E-1183-4752-B36B-3E1E6810D78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fc58222de59bdc69961f488d492d8c9e117db1","datavalue":{"value":{"entity-type":"item","numeric-id":3003399,"id":"Q3003399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$74FC30FD-10F4-4F93-A58B-1236D86CC379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195294204b26e3991688aeb3ff91fa8a6fa185dc","datavalue":{"value":{"entity-type":"item","numeric-id":2055651,"id":"Q2055651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$04DDEBD1-424D-431A-8ABF-3AAEA7A94C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7992080e02f2cc4f4ea0ff99688dd848dbfead16","datavalue":{"value":{"entity-type":"item","numeric-id":2119039,"id":"Q2119039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$C3B8A21D-11CC-4C08-BBFF-6D1B78B25035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c7e2087d28267d9cc71de7945a2e8e8f4c094d","datavalue":{"value":{"entity-type":"item","numeric-id":6107280,"id":"Q6107280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$1E458B22-2022-49D7-9C5E-06E6422B44FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533969044e318c13e1e2b55e15eced9ceac7e08","datavalue":{"value":{"entity-type":"item","numeric-id":6163942,"id":"Q6163942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$3F583855-5FF3-4C36-BF58-32E9A93900B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb488b38063c3bae22357803d4145ccb41fb804b","datavalue":{"value":{"entity-type":"item","numeric-id":6175979,"id":"Q6175979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652959$E4F90DB8-A937-42F1-9618-F95C15C07665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da314eff09ac79260de4377cb94dfb0ff73eb0b","datavalue":{"value":{"entity-type":"item","numeric-id":6175979,"id":"Q6175979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127ec312f5b9fcf090fa1bbfad0b1c1dfed577c3","datavalue":{"value":{"amount":"+0.8822980523109436","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":"Q6652959$EC7A7FBF-5B59-4BDD-A292-E505C284BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf447fb25020403400623b9264023844e117bad9","datavalue":{"value":{"entity-type":"item","numeric-id":1784081,"id":"Q1784081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eede2662316c54ca068a5c9027169cbddcf259d","datavalue":{"value":{"amount":"+0.8240313529968262","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":"Q6652959$2D0C4ED1-A2B8-4C05-8BC1-C5773BAF8E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1270a543fa266843e6bfeac7350ca75c835a48","datavalue":{"value":{"entity-type":"item","numeric-id":5505469,"id":"Q5505469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4fff3065e54cf8c8b7958f077fff159f86415b","datavalue":{"value":{"amount":"+0.8064335584640503","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":"Q6652959$79102B77-5DFC-441F-AC4F-7813F6B56A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d220bea4d71fa21a3651563338da4769e5f0a","datavalue":{"value":{"entity-type":"item","numeric-id":2897218,"id":"Q2897218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023cbe09f6bd1f82c4ff6e8eee88e02729c4c40d","datavalue":{"value":{"amount":"+0.7843489646911621","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":"Q6652959$13166CB1-397D-481F-82DE-2824D69F0E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a356d3fe71438b9a508cad2aaf8c2951d53b0e8a","datavalue":{"value":{"entity-type":"item","numeric-id":874414,"id":"Q874414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a87890050f3df54284664d36fc781c0087014b","datavalue":{"value":{"amount":"+0.781317412853241","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":"Q6652959$D95B27C8-69DD-4F4F-BDF3-540A0D5A7219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic and algebraic computation models: when AGM proofs transfer to the GGM","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_and_algebraic_computation_models:_when_AGM_proofs_transfer_to_the_GGM"}}}}}