{"entities":{"Q911792":{"pageid":913640,"ns":120,"title":"Item:Q911792","lastrevid":49370779,"modified":"2026-01-07T01:22:51Z","type":"item","id":"Q911792","labels":{"en":{"language":"en","value":"A procedure to prove statements in differential geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143475"}},"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":"Q911792$ECC8E12D-F79B-44D7-880A-3E114FC2021A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b2ef6c1242eefbbdfff554bdf9e3b6a107e2c23","datavalue":{"value":{"text":"A procedure to prove statements in differential geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911792$CC861AA5-2711-4443-AA1C-410C66E80D21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9b0d00c006be673d513d246550a41c7613882c3","datavalue":{"value":"0697.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911792$53232A4F-DC3A-4A39-9DC4-0E0403AE0306","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"367200c0dbe82a1ff4385abcfdadabd72f8d83fc","datavalue":{"value":"10.1007/BF00245819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911792$5D37683F-F237-45C2-9B3E-A4D40094CF37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d4157b8110ff427b9a21c84c7cda1cc4842303","datavalue":{"value":{"entity-type":"item","numeric-id":217662,"id":"Q217662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$464CF285-D869-4781-AEE6-EAEEC8B809CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4737028d8d5fad77288f185569308c542dfa6979","datavalue":{"value":{"entity-type":"item","numeric-id":911791,"id":"Q911791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$68915B91-1C3F-4B4A-8734-3D6683BE6D4B","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":"Q911792$161B9027-0275-4D58-85D0-11182D6BB319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911792$FCD465CB-A66C-464F-B5A3-F7F0B2B6779E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911792$578E463D-2E3B-449C-80AE-222D028ACE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f12b5fb12c4f2e696bed25057bd1db0f82624a0","datavalue":{"value":"53-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911792$0E2C6941-6450-42E8-A443-6463064ED1B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1a2f5fc0b61b307bd4609919f7b424e94397c6a","datavalue":{"value":"4143475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911792$3D662E9C-21CB-4191-85EB-3E4A597CE4F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2a62773070133825c532d19b1ed906dd8f8932","datavalue":{"value":"differential algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q911792$3462D5FF-0B18-4D09-9F31-60A8B932DFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a698e8d8021b7c897ff0a78946f7c1ffac0ed2","datavalue":{"value":"differential dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q911792$888FDD5D-DFDE-4021-BDB2-6224102AB045","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ad074eb0be31d3d2daa1782143fd5e8b78fb60cd","datavalue":{"value":"Q115395141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911792$700D47FD-A15F-4DCA-8C51-29D6A4616BD9","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":"Q911792$E2898181-4D7D-4FFF-8762-B083C3FEDD9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7c431b84a19cdc0d15a19b093e674261cb2a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5672741,"id":"Q5672741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$A5E20FD9-F0B0-485E-80A2-9EFDA227B6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c439a44d1ee14401c9dbd0b204255d0c35c28b","datavalue":{"value":{"entity-type":"item","numeric-id":3977389,"id":"Q3977389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$FE2FE978-B177-47A8-B806-BB1F33694017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7777065109a6227b3bce7c7b0da4d71e63d4776","datavalue":{"value":{"entity-type":"item","numeric-id":3833652,"id":"Q3833652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$BA3E84F6-0CFD-404F-AFE8-11ED61553B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$8105903C-180A-4044-AD6E-B59BC3EF1A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10caed1e840a738fb5949da74d796c58ae32d387","datavalue":{"value":{"entity-type":"item","numeric-id":5680222,"id":"Q5680222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$03FA1478-7421-4A69-85F2-B71C6A047BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$A760C272-110C-4423-ADB1-50A2E64B0C7F","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":"Q911792$B8512B26-FE9E-409A-97FC-5479CA7E9C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2340f8d83beaa7d3e0bbc52c32367959a4b3a8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3826517,"id":"Q3826517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911792$3CE5AA95-8C90-4F0E-859A-0090BE10BDE8","rank":"normal"}],"P1643":[{"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":"d5b208e68c03ef1d86df2a83e9b1c2499eb10472","datavalue":{"value":{"amount":"+0.8236520886421204","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":"Q911792$A9F95213-576F-412F-B6B1-60C0E45354A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9a17ef0f27390054ef903e6252f406e7d53e11","datavalue":{"value":{"entity-type":"item","numeric-id":1311409,"id":"Q1311409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a1aade3f835b76e640172bf1221aeb63152a16","datavalue":{"value":{"amount":"+0.8225017786026001","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":"Q911792$B3E785C6-EBDA-4AD5-98C8-69159D16B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533f2fa4a8395bf7ea7c8d63e3f250517d1bc5d3","datavalue":{"value":{"entity-type":"item","numeric-id":1924742,"id":"Q1924742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f118fe8f95c8a31e6b375160825a7e74b1f9bb","datavalue":{"value":{"amount":"+0.8177632093429565","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":"Q911792$B6DD8A54-DECA-4CCC-8541-36749B310E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929ecbfb7b0b0aeb7031421a2419ac20374e09f9","datavalue":{"value":{"entity-type":"item","numeric-id":4520303,"id":"Q4520303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95560f2dcf97a4f808cdb19ad8b6b423d2346803","datavalue":{"value":{"amount":"+0.8175404667854309","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":"Q911792$63D29F95-13C5-4D87-B66D-499ED5C23D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f359231efc917a894f510aa0cc7bc2f60907be8","datavalue":{"value":{"entity-type":"item","numeric-id":1368208,"id":"Q1368208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84331c9539e3a7091ad52e3b21636e9071882e0b","datavalue":{"value":{"amount":"+0.8054911494255066","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":"Q911792$A8734D81-B2BE-4136-85C3-6D472CB36828","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911792"}}}}}