{"entities":{"Q5890964":{"pageid":7926759,"ns":120,"title":"Item:Q5890964","lastrevid":55941271,"modified":"2026-02-21T08:44:12Z","type":"item","id":"Q5890964","labels":{"en":{"language":"en","value":"Symbolic computation of differential equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642948"}},"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":"Q5890964$9FB37AF8-849F-4D73-8C49-8AFA36F1CF37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8977bfeb07730bf443f22f539350de113b9b8946","datavalue":{"value":{"text":"Symbolic computation of differential equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890964$8C3EA1C6-AE70-4BE3-90DC-CA043033DEA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2339ee49fdd265c8e806e6430ddb6ecef1a913c3","datavalue":{"value":"1347.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$48362111-2AE5-4150-8E77-289271F59789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c8e9c4fd06dfd0b9a18186f0077e3c3847c19a4","datavalue":{"value":"10.1145/2837614.2837649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$93A8FFC0-76CC-4DCE-AC66-5633E34E71E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$14ACCE14-9196-4011-8A01-A7D29994949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4d8b61176f50b79f15dd82d4a93cce65317276","datavalue":{"value":{"entity-type":"item","numeric-id":387987,"id":"Q387987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$02532EB6-4B87-47B9-B564-284227426A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24b64afcbe07b96dc4ade0b892f497c36127e74d","datavalue":{"value":{"entity-type":"item","numeric-id":387986,"id":"Q387986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$F31B26C2-E966-4F8B-B2F8-96B8767AA359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8979f1934477b077026f3595b253feac6f475c34","datavalue":{"value":{"entity-type":"item","numeric-id":832090,"id":"Q832090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$DBDF31AB-EF87-4190-8AFB-97736A1A930F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$71A80A95-4C48-412D-9A2E-D24390C9D6F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890964$F2700A32-29D9-4C8E-8E07-34C68CE213D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd37c7d0f7397d7942776632a5f05ae587516a6a","datavalue":{"value":"http://eprints.imtlucca.it/3435/1/z3-popl16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890964$27319246-89A6-4361-A48F-950280D40227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$46B96B37-C9FF-4768-93B8-0C601AEE2562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$1ACAEF35-599A-4EF9-8EA1-5CBF8CD9A2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$3C9D217E-CD72-4C35-BDA2-E52FA8F13B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$38234584-9DCA-4E7D-B121-468F39650F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$9D96E158-4145-4A3A-8F53-3251D9AB35FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0401b536e7fb40315b94c06d6e995ad118c1cfc","datavalue":{"value":"92E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$3A7B4236-FC37-4C08-BB1B-FE55A030C519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"404258bfebc2185284449a730b41126f7932634e","datavalue":{"value":"6642948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$CBACFE1E-012D-4457-942D-B7D35A311288","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890964$E73E0E5D-D203-4CCA-8A21-3E1B1D855E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890964$62506AD8-9D7A-45A2-BB9E-E57171725A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65882878585f9b6c256064f14ee18877dfd01c00","datavalue":{"value":"quantitative equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890964$E3489868-8E36-4F0C-8210-4E3BB61745C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890964$7F563755-E8AF-49A9-BF42-2758FD5589F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$A9340BF8-1995-4EDC-8326-D64A6824C6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0c9f773002b18cf1ff08d115d66842d31d72e91","datavalue":{"value":{"entity-type":"item","numeric-id":21906,"id":"Q21906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$8B0E4CC7-B181-4037-B800-5D70EB1344BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$F9120664-84D2-4964-9982-04A22A9D79BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"893408b55425822008bbb61cbc533a89cd7bf4e4","datavalue":{"value":{"entity-type":"item","numeric-id":14101,"id":"Q14101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$68F032BD-9008-4D4A-8EF7-70A3A798DD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69dc42fd57f87e93aa3aa804b6a079f7c5a7ec02","datavalue":{"value":{"entity-type":"item","numeric-id":21065,"id":"Q21065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890964$7E3556C2-D411-4C85-B713-1BC42E0C6685","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":"Q5890964$BA71CC24-A403-4EEA-BA52-9152C4BC9DB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49541b9998d6f0232a6d16e4f2eb6ac4585c8da1","datavalue":{"value":"W2293292615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$4C4861DC-2418-4FF8-BFC4-F054D7B6A6B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"73c9f82bcea3ccb4a0c7566b384155bca62d8266","datavalue":{"value":"Q56981841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890964$1FA3788E-AFF5-440E-A8E3-8DDB52DA716C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48600c381bf11baa8e001d444ace36fa9ef5eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":5920213,"id":"Q5920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329b859f9ac0b31fe5e1b54ed873e54a5cbd2e72","datavalue":{"value":{"amount":"+0.9952653050422668","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":"Q5890964$B832325D-7B0B-4F6C-A6EF-30781AF167BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9427f2a11e1cc0b572c179e09ba9ad5e68580a63","datavalue":{"value":{"entity-type":"item","numeric-id":2946344,"id":"Q2946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201f5d57c9f037079e317f74b5b4bc542553dd0a","datavalue":{"value":{"amount":"+0.7996830940246582","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":"Q5890964$265782ED-7503-4DDE-8779-47663FAA02B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3205d82d31182e4c27a7f234ceb05a34d9c11999","datavalue":{"value":{"entity-type":"item","numeric-id":2272914,"id":"Q2272914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a867edb8b9b3272fc4a8605fe00980375050654","datavalue":{"value":{"amount":"+0.7678140997886658","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":"Q5890964$E11D091A-2822-4575-8C91-790D37D943E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890964"}}}}}