{"entities":{"Q5505507":{"pageid":7535067,"ns":120,"title":"Item:Q5505507","lastrevid":50550281,"modified":"2026-01-14T09:03:58Z","type":"item","id":"Q5505507","labels":{"en":{"language":"en","value":"Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498233"}},"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":"Q5505507$9E410488-D115-4F3F-A64A-468462902CD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80cf9d7aeeb0f4f505b76e2384b45cf06508f448","datavalue":{"value":{"text":"Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505507$EDE4D7A6-0769-4C6A-BC46-93C53A4120DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b657fc5cf7f0a7b6a4d2a1f7989872e0300bb8","datavalue":{"value":"1166.68373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505507$36A5CABB-63E8-4175-9012-DEC376817EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0d4f6855236cc6b614651d489e20c329198a81a","datavalue":{"value":"10.1007/978-3-540-85110-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505507$070F9134-BEBA-45CD-A34D-24D20355B673","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c2f65d791882d0fe991234b07620a5de3e8f853","datavalue":{"value":{"entity-type":"item","numeric-id":631754,"id":"Q631754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$5939AFD6-E5BD-44A4-B396-73BFABBA1A7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$E31EEA38-3EA5-4FE9-B76C-9864FC8C9939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505507$E6D459F8-4B82-43E8-86C0-ACB0D70B4441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505507$0FA2807F-3396-4C91-8E2D-71F94CFC6946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505507$B0850918-8E8E-4F90-BBA2-33307AC21024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad4d155d5f6ecb6656ae019f2fdb40384ec74595","datavalue":{"value":"5498233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505507$27BE0B75-CA2A-4AB8-9716-0075008D453D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505507$A9724AF2-FD48-409E-903F-7A118C0DFD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecae65e13136660236469d966718a2e801e58051","datavalue":{"value":"hidden algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505507$0BFE5B3E-3AF2-446B-8EB5-50AAE6D06358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505507$6ADA7CF3-2B48-47C1-B5AE-4C88087F9B3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$D4AEED02-25CE-4FB7-93EB-90DFD121F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$4CFDF7B5-D8BE-458C-AE00-E3F1C916A2ED","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":"Q5505507$D88EE0B1-55DE-44A7-9043-E4C1A2335603","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"309388582fa458f1811b8fb339bf66907b4e507b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505507$1487F32C-A891-4B03-B97B-47B442CD9D82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04e99ef616d305eae0ef08c98076727c0ccf85a9","datavalue":{"value":"W1516788060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505507$A62E9090-226D-4003-B539-D3E9A467C701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc11a2379fcf282936837f86ebebfde76a6c82da","datavalue":{"value":{"entity-type":"item","numeric-id":5428255,"id":"Q5428255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$72E06C6D-C7C9-4BC7-A476-CE7574ACEF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5454750f5d297118e2d43ae886b47301283891","datavalue":{"value":{"entity-type":"item","numeric-id":928666,"id":"Q928666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$AC8A2747-438D-4A12-BE75-3329CE726387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3205f61ab0cf0c757b93cbb15b5f9dfc288bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4945205,"id":"Q4945205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$DC39B9A7-3398-48AC-AAE5-24CECD46E10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9767b4f993764f1a6ae8e85667cc0e126d88ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":5428258,"id":"Q5428258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$2180D82F-8BD0-4214-827F-FB8CC8590A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f2c295c4449018ea4283ff294ef038c1799aae","datavalue":{"value":{"entity-type":"item","numeric-id":5441547,"id":"Q5441547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$847476D2-DFD0-41D8-BEEF-A97CAEDE56F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$60778D33-0393-4186-AD86-6818FBF12390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$8A110529-C6FD-432D-A14C-2314282BD5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d7417caec86aeaeb37893313fae6d6e2ae1171","datavalue":{"value":{"entity-type":"item","numeric-id":1858427,"id":"Q1858427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$945BC0BC-28CA-4584-996A-356BF1AF6219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a11b587785b43a7aba09896edc5ae68fbca055","datavalue":{"value":{"entity-type":"item","numeric-id":1413645,"id":"Q1413645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$81A2D2A5-108B-4549-ABBD-DE74F6F3CD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$65C51F1D-4760-42FD-B3AF-C78A47F0C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$9653CE04-2A5A-41F0-BD8D-EE3D1CA87898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$148A6D49-7230-427D-9DEB-E5A5D5001615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed154204c4189f26e1116a84a564afb18bad166","datavalue":{"value":{"entity-type":"item","numeric-id":4503915,"id":"Q4503915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$B55AA863-D3F4-431C-9563-7E7B8827155A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae16e96fab47bf9d41016dd0dbd0dbe23d0165c","datavalue":{"value":{"entity-type":"item","numeric-id":4471956,"id":"Q4471956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$9A858A26-96AB-4B31-808F-ADBB9ED62DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a357a3b561ccdc8d7429c7e14c4c790e76d26e0","datavalue":{"value":{"entity-type":"item","numeric-id":1612751,"id":"Q1612751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505507$FF15F56C-1586-4544-B220-638BA18A06B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97aef99539bb6c30fa0df848ae5e72b74a89b026","datavalue":{"value":{"entity-type":"item","numeric-id":4433988,"id":"Q4433988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00c39cb30f5b7f09d02b8ca464c64a1332562f1","datavalue":{"value":{"amount":"+0.775402843952179","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":"Q5505507$5F0CFD4C-6877-4334-AB5E-1831C3DB712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"717198c01b5ae559c369b1f159cc6ddd49cd7b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5441547,"id":"Q5441547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b88919b3c8db77ef06e9e3cf3fa25d2187a6e2f","datavalue":{"value":{"amount":"+0.7742220163345337","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":"Q5505507$D35AFDE8-9C15-42F8-B183-0C9DAD026146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd9d9c437a0b2dd000dca2d43353a3aac50de0a","datavalue":{"value":{"entity-type":"item","numeric-id":631755,"id":"Q631755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d744fee1519ed0e3ca63706f36c1a732eb79f9","datavalue":{"value":{"amount":"+0.7436752319335938","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":"Q5505507$12D84207-55C6-4453-B889-0E3F64C0A6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f283ce1b7bb222e202a6acf28a6a844d9018de04","datavalue":{"value":{"entity-type":"item","numeric-id":5747673,"id":"Q5747673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2646be402f2dfe87f40808a0a10eb29967b0c2ae","datavalue":{"value":{"amount":"+0.7349897027015686","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":"Q5505507$645385CE-7F4C-4873-82BB-6D42DC10DDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53a94cc67207c0fdc8442479c202e5e53255e97","datavalue":{"value":{"entity-type":"item","numeric-id":3582708,"id":"Q3582708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de02b3f6e9ed814c9abf97144fbc425f3587d16","datavalue":{"value":{"amount":"+0.7323073148727417","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":"Q5505507$74A5ED5D-F2E3-4805-9EA4-535B656CA919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505507","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505507"}}}}}