{"entities":{"Q1311409":{"pageid":1322159,"ns":120,"title":"Item:Q1311409","lastrevid":68427063,"modified":"2026-04-12T23:38:34Z","type":"item","id":"Q1311409","labels":{"en":{"language":"en","value":"Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484776"}},"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":"Q1311409$41DC9335-BC53-47FA-AB8F-DB987729EAC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"521664cc090145face36bfcc7838e32e38a87730","datavalue":{"value":{"text":"Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311409$59E663ED-F4F6-4652-B811-E5072513F860","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e4456184822db469b91207b9ceaf30db1a68417","datavalue":{"value":"0782.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$F2A7313A-AC4B-41FA-A2F5-48C38A212D78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8751143db8370a786c14079f5017b5fa45049672","datavalue":{"value":"10.1007/BF00881835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$288B2AFA-66B9-4FC7-BC08-475CE4793EE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$559FD4AD-6A10-4B92-8067-D05726802AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$705DCAD2-DBBC-4B40-A296-8170D3AB0750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$38393C50-8F80-4FBB-8EF7-981B630B455D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64676cb2fd723bcdd2b292334fc4e3600b92f31d","datavalue":{"value":{"time":"+1994-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311409$78E96728-362F-4B5B-A633-71F91675D86B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$F9DFD11A-0073-46E6-AB03-41760D4859F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$0D223B52-7B5E-4C64-9086-88360143AFE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c622dae42043e81a3e0900842a8e7594e70288e6","datavalue":{"value":"484776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$73947047-1B59-4950-BFC3-E0313DA4966D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8cf8243737b642987140e639e60ec078529ee","datavalue":{"value":"Wu's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311409$ECCD1EDF-448D-4974-BA89-874D8805CA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fc35379ec10611f4252562ac1123b3c90c9bd6d","datavalue":{"value":"Ritt-Wu's decomposition algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311409$C5AC6CBC-BE4C-40A9-96FB-22DC4FDBE478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d806a7e66bf351e0ed99ccf912cdc1c5a72ac8","datavalue":{"value":"elementary mechanics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311409$635F51C5-9E81-485C-A111-ABB6F1BD6570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bae8bcab27970a3ad21619c5a7230a9018f7c2","datavalue":{"value":"space curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311409$0A9418B4-01C1-470B-BAE2-E32AAE9A78AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"da0fa110201029bb6b0037e70232a690750f06e7","datavalue":{"value":"Q115394862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$D88B5561-CEB8-4D01-96DB-BE6EC1C8823F","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":"Q1311409$651DE168-CCD6-4352-82DF-689E91404DA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d768aba5e0796767fb54d63aac44da9576c4a1ec","datavalue":{"value":{"entity-type":"item","numeric-id":1311408,"id":"Q1311408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$D11D1464-012C-4447-BEC5-B8A8F3CDB499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7ca05adae7b419f17e5cddb8697a139ae3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1121669,"id":"Q1121669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$FF4ABA99-DD16-48FC-9D6A-165512332C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fba0acac72496363d8870b3d60cb7f67085c56","datavalue":{"value":{"entity-type":"item","numeric-id":911792,"id":"Q911792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$FB99296F-666E-4C97-80BD-441A53063079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311409$F2F47FFD-427B-4FB2-94C8-D79C11122525","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56acf5577a07ba315a09cff99d860602d911f689","datavalue":{"value":"https://doi.org/10.1007/bf00881835","type":"string"},"datatype":"url"},"type":"statement","id":"Q1311409$5E1EDE92-9EB3-4B00-A20E-203DFC2A015A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba26d37f89c585ce500f2ad7200672f05ba4b0db","datavalue":{"value":"W2160410991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311409$FC2DC4C9-756E-46E6-801F-0DEBD397478B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06ff3acd8fc0f97ad04e6fee7289cc0399dec5d","datavalue":{"value":{"entity-type":"item","numeric-id":1311408,"id":"Q1311408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d97601b4b85fdb8866c57e3987f8d78970a643","datavalue":{"value":{"amount":"+0.9389101","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":"Q1311409$A17A5A92-53D4-4E7A-A92E-1AFA7C1DED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256cf20bbac73ff46379a157d69dc74521a3bfbb","datavalue":{"value":{"entity-type":"item","numeric-id":4279027,"id":"Q4279027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101696e3e6e47f5b238ba37c4a409c8b6353bafe","datavalue":{"value":{"amount":"+0.9189085","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":"Q1311409$94E9EC34-C1F9-480C-9AE2-1F4E3CF34E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cea704f0f3bc8c28ea3ceb22676940991d5598","datavalue":{"value":{"entity-type":"item","numeric-id":1177715,"id":"Q1177715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c4003bc035a46bf7b36ec0254e8eb3efca6db1","datavalue":{"value":{"amount":"+0.89872074","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":"Q1311409$89A6C226-3CE5-4ADD-941B-E6F49DA54E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea05284389bd85a6329b2ae87a6064339a44f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3321494,"id":"Q3321494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccd269542d4f1536d027ba43fd965f16e190195","datavalue":{"value":{"amount":"+0.8933656","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":"Q1311409$652372D4-8BFE-45F2-847A-DEC42182C7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e44410517dbe22fcdfce7a11bc36b21f5a7d8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5293438,"id":"Q5293438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f272ab909ed60c818f316b29adcfe8bdb46f15","datavalue":{"value":{"amount":"+0.884792","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":"Q1311409$1E1C591F-207B-48D4-A759-50CAC2B7581B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650882ba595c499f1ae3776513ddd879d2127f57","datavalue":{"value":{"entity-type":"item","numeric-id":1042772,"id":"Q1042772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc26fd2669ee1350bfd1fb356cc6abca21b40ab","datavalue":{"value":{"amount":"+0.8845115","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":"Q1311409$4204F23B-94E6-494A-87F8-17C456BB2681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77002fe3bd44662bfca327771f35170494665ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3700869,"id":"Q3700869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6197f158e16ab552e011039e4aaa82a56d4f738a","datavalue":{"value":{"amount":"+0.88177574","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":"Q1311409$CB561425-348B-41C0-803E-A3036B5C3A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fc3ef4025b17761b15d41fefc8965b950db1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4240685,"id":"Q4240685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6213760c72f9028684ebb43e54c2d7d9e025c5","datavalue":{"value":{"amount":"+0.8758826","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":"Q1311409$5BD97E63-3769-4B10-A261-652AD365E5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce02190945c24c06fc866bd64a1ee09ab8074235","datavalue":{"value":{"entity-type":"item","numeric-id":3786466,"id":"Q3786466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c923b2e4c8477ca04fa05762304088befe9ce2","datavalue":{"value":{"amount":"+0.8704271","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":"Q1311409$FE3C88DE-87C8-4058-9263-CDB75580BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f512197b95143663c2f45f4ffce183f207be8af","datavalue":{"value":{"entity-type":"item","numeric-id":5493316,"id":"Q5493316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2374d1309813b539238da81bebe24dca71bb182","datavalue":{"value":{"amount":"+0.86664945","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":"Q1311409$2769FA8C-0DE9-4EEC-8156-B7AFB0DE45EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_in_differential_geometry_and_mechanics_using_the_characteristic_set_method._II:_Mechanical_theorem_proving"}}}}}