{"entities":{"Q1343392":{"pageid":1354131,"ns":120,"title":"Item:Q1343392","lastrevid":67659963,"modified":"2026-04-12T19:12:18Z","type":"item","id":"Q1343392","labels":{"en":{"language":"en","value":"Automated reasoning about cubic curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 718809"}},"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":"Q1343392$B9ED06C5-1A65-4EF9-AF5A-DC1EDC740830","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea378803b19da9df5534e70eb6a173164040929b","datavalue":{"value":{"text":"Automated reasoning about cubic curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343392$431FA3DB-D9E5-48EC-ADC5-64C4F4EE688E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"158859f51c372227092a4855bd4dfa95fcdf5076","datavalue":{"value":"0828.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343392$06BEC0F0-42E2-44BB-AAF9-1554C998DCD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b847311aa5aa9f26b967429912ef76dba1f4ac2","datavalue":{"value":"10.1016/0898-1221(94)00214-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343392$70BB7573-AFD5-433E-ADDF-E95455DE7CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a969862dab9693ba2871085c6658749a1bf7a23","datavalue":{"value":{"entity-type":"item","numeric-id":818942,"id":"Q818942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$FB561FCA-3834-408E-8B8F-9B6FBA69B247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$B6C47B8E-FB85-4381-B02C-DEC69300B9C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c39d1ab84505cfd7e6ac646b7210236c8afff211","datavalue":{"value":{"time":"+1995-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1343392$E5B2EE04-A9E5-415B-BE80-82BC1B9CE889","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc85e1b27376fcc68d99f445bb3fab17b00de6b9","datavalue":{"value":"This papers provides automated reasoning about incidence theorems on projective curves without referring for geometry or topology of the curves. For this purpose, a first-order property is extracted from the geometry of curves, and implemented in the computer program OTTER for proving theorems stated in first-order logic with equality. The computer program is available by electronic mail to otter\\(\\@\\)mcs.anl.gov.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343392$33F6676D-F910-4B95-B936-D5C62334AE23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343392$FED8B4C0-B26E-4AE0-86F7-6C3EC505C0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"216939729202fc4b9c96cf3f62d6f618570d6e85","datavalue":{"value":"14Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343392$C5E8BCA1-CBC8-4AE3-BC81-06584FEF1D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70d5ce74df6edf7dcab259cfcd9f2705150417e4","datavalue":{"value":"718809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343392$C1119A07-8704-426B-8A08-DA3CB5E394BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343392$63C3C283-AA37-40F8-9EAD-6E065F89133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4453432f78d5aacb4d0922b71bd9ba0ef1326c","datavalue":{"value":"incidence theorems on projective curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343392$E9528AE7-2708-4B62-8504-6481AB46CCC0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5749d8cf3b856e1fac5b54849329175e42339e01","datavalue":{"value":{"entity-type":"item","numeric-id":1037649,"id":"Q1037649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$E293BBDE-4E50-4AA0-93DD-A81E6F322435","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$A5FC079D-2AF3-4A5B-8C14-F9FAD5F1E823","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":"Q1343392$E3E4AAF3-BCEA-41C8-AD7E-5C1F107351C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dce0d36555512dd64914648c261b76c8806320e","datavalue":{"value":"https://doi.org/10.1016/0898-1221(94)00214-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343392$22CC4F96-DE21-477A-B307-C9FBE3625FA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3a1f2023e15202b69bdce95dfda33c0e975d1f1","datavalue":{"value":"W1980473779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343392$CD6F89E5-6714-4AC6-99AB-08279C633E9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$70723A67-80CB-4288-8B77-E9AC24A54FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5101aeb1009d34b9a29b48b6c0c4f89f9ab3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4135685,"id":"Q4135685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$BDE44ECD-2E2A-4E6F-A888-E50543BC5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7240e949c56c40f631c4151c71c8533983eb25f","datavalue":{"value":{"entity-type":"item","numeric-id":5900394,"id":"Q5900394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$2A7407AC-69F4-4532-B085-32D22EFEAF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c716fe952401e01f518b27efd62e9fbe3b3e17","datavalue":{"value":{"entity-type":"item","numeric-id":3741712,"id":"Q3741712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$ADE82EE7-33A9-42AF-89E6-5E7DFD5D4B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c83ce2b9e783c7337ccf9fc96a2ca2893c1d94b","datavalue":{"value":{"entity-type":"item","numeric-id":3796295,"id":"Q3796295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$C7EBF6CF-8364-415C-BA63-6A2351111C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d51942ef33780d93dcf995edaa381b6eb82292","datavalue":{"value":{"entity-type":"item","numeric-id":3958438,"id":"Q3958438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$D373B377-CED0-4D90-94C8-E97A4ED5FFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5244dd7fac57619c4cf330996d043abdae89eade","datavalue":{"value":{"entity-type":"item","numeric-id":1063049,"id":"Q1063049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$F597DE24-1873-49CB-8B38-C5F9AB4B60B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5561de744286fdb737acc959517e4c5e38c6f03f","datavalue":{"value":{"entity-type":"item","numeric-id":5343400,"id":"Q5343400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$E36F969A-F870-4E7C-AE20-24367DD032CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b233c2726927e295d7e844e3ede544e8417db3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1312155,"id":"Q1312155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$A0F87F2D-0CF4-4567-8DE8-D3F802487BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c8a00cceb8775f7b63d56fa6e1a8b46f80e32d","datavalue":{"value":{"entity-type":"item","numeric-id":6488580,"id":"Q6488580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$BA4F12C8-55F0-4B7C-BB10-F012D83851D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343392$76799C48-DF85-457B-B81F-982735D35929","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c2f3382278439ee76b7b6768962fb3bac47d448","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f001532174468a8a94020c72078f55d189fc4fe3","datavalue":{"value":{"amount":"+0.7926682233810425","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":"Q1343392$46F9A374-CC32-46FF-8E53-A821CA8D1A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed32a4f5d8b518e0ac9f5003543d94b115432ff","datavalue":{"value":{"entity-type":"item","numeric-id":1924746,"id":"Q1924746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa14950ebee4bb8c7f7fa1a7c3b38c917279aef","datavalue":{"value":{"amount":"+0.7916781902313232","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":"Q1343392$C9F8EE06-9064-4727-A799-2311EF436032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2104208e9dc93e6a9bd5c2738bdd20c5ba0079d","datavalue":{"value":{"entity-type":"item","numeric-id":4913864,"id":"Q4913864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30281c6e4b373cedb04f8283f312393122134eef","datavalue":{"value":{"amount":"+0.7827537059783936","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":"Q1343392$D23E683B-D37C-495F-B059-110BA52359A9","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":"f8d65eb6d3fc9f6ddee1f270bb7387a767b310d2","datavalue":{"value":{"amount":"+0.7553350925445557","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":"Q1343392$4AEAA8D0-62D1-492D-8014-842160102FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112bff3de7fba1e4a6400d24d67646b1c361f62a","datavalue":{"value":{"entity-type":"item","numeric-id":2725960,"id":"Q2725960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fe8cea5dab2f3d252fe352e6866386a087f3cb","datavalue":{"value":{"amount":"+0.7518458366394043","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":"Q1343392$BD7C80A5-284F-407B-A277-C284AD452DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning about cubic curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_about_cubic_curves"}}}}}