{"entities":{"Q5172656":{"pageid":7202228,"ns":120,"title":"Item:Q5172656","lastrevid":41212760,"modified":"2025-04-19T21:04:34Z","type":"item","id":"Q5172656","labels":{"en":{"language":"en","value":"A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397690"}},"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":"Q5172656$189DF488-ADF9-4998-8AD9-144B42F5E38C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"382a192ec946445b6cca9c08b630350ba558f746","datavalue":{"value":{"text":"A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172656$56B740F4-B677-4E96-BF8C-EFDE1CCF7624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efeee921c3bbbf656526d9c3df3c1c9afbf6e1d1","datavalue":{"value":"1432.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172656$50095624-7DED-4E33-BAD4-183751D67241","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2fabe369d556a5c8770ad79f9bbd82a709bd84f","datavalue":{"value":"10.1007/978-3-662-46081-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172656$8C850302-BDCC-4575-B9CC-C39E48F46CAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b498cb0a1f2a1626548f708985cc88e2e26bdd","datavalue":{"value":{"entity-type":"item","numeric-id":681337,"id":"Q681337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172656$80C3487C-5A2A-4C46-98C4-88CD70293910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c266f039dc6060320eaa17f05328c86c3c95be0","datavalue":{"value":{"entity-type":"item","numeric-id":681338,"id":"Q681338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172656$55B257B8-6509-479A-8843-4EB474A73D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172656$BF58EDC1-7DA3-4AE1-9648-5EA79CE3C43A","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":"Q5172656$36D2FC41-E71B-4F80-A10D-3709D88621CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172656$DD5ED5D8-DB6B-469F-8B0B-8D3060FD908E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172656$A5D2FCDD-F923-4F15-A453-79D11EDE0B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1deeb735ab866f634fcd22213e8687bcdd332aa","datavalue":{"value":"37C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172656$6BBFAD16-0A0C-4DE1-B3AD-8AE9EF6551BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b96fed976c1fd493b7818712630ab1fbc263f7e","datavalue":{"value":"6397690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172656$38ED2512-1065-4B40-96C6-508973A09587","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":"Q5172656$B3DD7168-6089-4838-9AC5-0AD7D8D97F29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac3725ebff7f6e720e2f6eb9c7db704fd990b9a","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46081-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172656$2EB0E7AB-BE28-4BDB-BF6D-AD2664F239C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a14b4a365be2e6c808b6ed7832e204522ef7684a","datavalue":{"value":"W2133317894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172656$46EB5ED3-AA86-428F-B9B2-141490F333FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d829aeb5c94bc0b54a7d6acc8f145678fbef8cf3","datavalue":{"value":{"entity-type":"item","numeric-id":681340,"id":"Q681340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2c0a3fe7281bf60bf71bf8ddbc6034df65ed50","datavalue":{"value":{"amount":"+0.941297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$CAE65BA0-A722-4CC2-A6CB-E1A65396D293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403a0a4be5083e5a50e62009ff150fb9b4f6ae43","datavalue":{"value":{"entity-type":"item","numeric-id":280857,"id":"Q280857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d178566b3280db0d8aeff395847a8863c65d6884","datavalue":{"value":{"amount":"+0.8662286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$30B0723A-C738-495C-9986-D9316E97FCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4543f802cd2acacb3b9f43be38d3ac70ff862142","datavalue":{"value":{"entity-type":"item","numeric-id":5265159,"id":"Q5265159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036dcc1106afe8e11287c4009787a59682e63de7","datavalue":{"value":{"amount":"+0.8635154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$FDB27D18-280D-496F-8204-1BDCD26D6E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffa42eb1213ac08fddf72f5c8707a38c5bc299a","datavalue":{"value":{"entity-type":"item","numeric-id":6086037,"id":"Q6086037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e30e9fe90815e29164d9d9fffe4109f73c77dc","datavalue":{"value":{"amount":"+0.8579565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$D98B85FB-D7DB-401A-8008-86A13762BDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0708953db4baeab1eb9dd0cfdd720dfb94a7fd05","datavalue":{"value":{"entity-type":"item","numeric-id":4425076,"id":"Q4425076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfb72f4f5334557da9f5d1257f4993dd0d53779","datavalue":{"value":{"amount":"+0.85482836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$258DD9A9-A3B7-47E7-8A23-05D36E3D65A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6aa759f37336bf5033d1e426deb19718abbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":5895389,"id":"Q5895389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935fba81c13a5619c77d34636565d232ba3b4019","datavalue":{"value":{"amount":"+0.8543987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$2E652B50-9C03-4536-B989-ED0351F26267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492c1fb71b7744fe733d3404c52e40144ddad44c","datavalue":{"value":{"entity-type":"item","numeric-id":5457363,"id":"Q5457363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed4153c66e7ef2914a372f24b57c7be92383c2b","datavalue":{"value":{"amount":"+0.8527967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5172656$FC1D112A-5BBD-4C5C-8FB4-5BF5B244320C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5172656"}}}}}