{"entities":{"Q3541707":{"pageid":5571611,"ns":120,"title":"Item:Q3541707","lastrevid":50510651,"modified":"2026-01-14T06:12:03Z","type":"item","id":"Q3541707","labels":{"en":{"language":"en","value":"Aligator: A Mathematica Package for Invariant Generation (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374247"}},"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":"Q3541707$AA470ACE-E828-450D-8110-A445C4BFDAD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9a6ec39f14a5ed0edef4d03a5d94c0d446e1c81","datavalue":{"value":{"text":"Aligator: A Mathematica Package for Invariant Generation (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541707$3550DF23-AE68-49B1-BE5E-683FF50D56DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"238818c1108ae6593e7ad40a114f76abcb094bcd","datavalue":{"value":"1165.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541707$E85B9B5F-8243-467F-9337-C3A5E891CCCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"453fee12f0792ce5b2f1e5315f344c5696fd6281","datavalue":{"value":"10.1007/978-3-540-71070-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541707$E4C4DFD0-9C84-4920-9E33-D58E7D45E3EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$D402614A-D5E1-4C78-A26B-4B52A4C3BE07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$E774CE36-FEDA-47BC-A5C7-E7191ABE2D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-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":"Q3541707$C33C26AA-DCDF-4271-95F5-8299F4E1713F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541707$3D3EE7D1-63D4-4EF3-89C9-7E3E2BB8604E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"569afdc214b844bb24dc32479cca5fe3cfc6fb30","datavalue":{"value":"5374247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541707$52DE14DA-F416-4867-A08E-F7704D0A829A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$68DB1340-CD4E-40FA-8F2D-3381E787C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5e9bcc74c9bbb369ad0cb6ac59f5c225f1692ee","datavalue":{"value":{"entity-type":"item","numeric-id":26179,"id":"Q26179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$2070A535-BB12-48B3-A06C-7EDCFEC6FBC1","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":"Q3541707$1D5D8350-91C1-40E2-A15D-7C22C593BB27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa42b45baa11e6245d07c9774849d30bf12bee15","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541707$8522EAC8-6698-480B-974E-60D3B2D5F708","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36539297138a2a3a9d6a0fbf1bcab0a95ba22705","datavalue":{"value":"W1577276830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541707$B626701D-3915-4910-ACC4-22080604F3D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48933c0d362727730cc1905c68ff87e3a22216cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457345,"id":"Q2457345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$72E45E59-EC64-4C54-9625-A00DCC091942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$316B3937-AF81-4D36-B06D-5270788D2751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff4671f2bd3d67b63595a6ce8e3b37ad636cd58","datavalue":{"value":{"entity-type":"item","numeric-id":4164353,"id":"Q4164353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$38316B4A-5ACA-4557-8EA1-D0E800C5BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2299d78cc913e31f2436e101e03018970aa99d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517807,"id":"Q2517807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$C42A7F60-D267-4B39-8167-B000B046F027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354743a0150c2505524747689903fce2fa318856","datavalue":{"value":{"entity-type":"item","numeric-id":4344097,"id":"Q4344097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$85C8D573-EC16-40D3-A9FB-D6A4444C60A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a4d21f9c10003cdb38349b5ebb6aa4815e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$22C9988E-8BC2-415B-94B7-912E5C03C395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e00ba7d03a470ce43f8b1440f8d2f240d4fa40f","datavalue":{"value":{"entity-type":"item","numeric-id":1918487,"id":"Q1918487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$EE347E47-2696-4EE2-A262-D59ED52AF60A","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":"Q3541707$0EC479EF-130A-4FFF-A290-7CD1700E0E22","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":"Q3541707$CB51B932-5262-4D6B-8576-BE60734078B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ca7e27e9265917f99011a3430b23c9ab063af","datavalue":{"value":{"entity-type":"item","numeric-id":1173698,"id":"Q1173698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541707$B08A9401-2CEF-4996-8841-62AC364D3387","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a9b523197a0be52ef5bd3d0f52fa3f78d82d65","datavalue":{"value":{"entity-type":"item","numeric-id":1798956,"id":"Q1798956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83eea98ab699dfc3b0ec92fd057c83ec68c8272","datavalue":{"value":{"amount":"+0.9067157506942748","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":"Q3541707$19C583B3-2657-4B3C-AEC8-996D7DDAEA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4b85d90580d5ca2859605fed87b940073ce23e","datavalue":{"value":{"entity-type":"item","numeric-id":3503653,"id":"Q3503653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefc03f2d99f9ff1256494582ae8f308cb9e3402","datavalue":{"value":{"amount":"+0.8599377870559692","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":"Q3541707$383598AE-B4CB-4D6F-9DEC-FD39F418EC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b9b50ee693ccd941dcc85fc0bb66f47e3db987","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2032258963027988dd3df18df8f94ebd0915f6","datavalue":{"value":{"amount":"+0.8558940291404724","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":"Q3541707$ED90A863-459F-47B8-ADCF-B062BF4FB8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d7bd657f1ba5b898794e444b9cdd5e1a05f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590301,"id":"Q3590301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7858a8295fde6f0e1734bcff76f7840019bc391b","datavalue":{"value":{"amount":"+0.8229511380195618","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":"Q3541707$0193E8D2-4166-4B95-90A3-FEC1661B5FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44f84f769f4f9ab334f19fa186dc1ad89ccad58","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728e9b76b990099b3747772a0b7d3bcdba0738dc","datavalue":{"value":{"amount":"+0.8055333495140076","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":"Q3541707$D5B4FF23-DF68-472B-AE19-7C67E64D66EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3541707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3541707"}}}}}