{"entities":{"Q2702595":{"pageid":2713340,"ns":120,"title":"Item:Q2702595","lastrevid":82740710,"modified":"2026-05-06T21:50:44Z","type":"item","id":"Q2702595","labels":{"en":{"language":"en","value":"Superposition theorem proving for commutative rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1575019"}},"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":"Q2702595$84B386FE-1A55-4FE8-9D56-71730FE9DBB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c4aef179b956d16e254845b91f81b66b5ffe81a","datavalue":{"value":"0970.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$C445729C-87CD-4E97-A0F2-20CC09DB0387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f92e99a34db134ba4f25b89e7455bff7feb3ebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1275019,"id":"Q1275019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702595$E5199597-B62F-431E-A7CB-ABAABF29EC17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702595$CEFC9BBD-9FC4-4FAC-B014-567256D8012F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$C46A1279-FBF0-4AEC-86CF-7DEEBCE5410D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$4A9B665F-4C03-4A67-8642-35E682B939DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$EB2FC701-1A66-44E2-8AED-1F698ACC7A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$DB0D97C0-7EF2-4265-A03E-87F600084E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$0E588470-2A90-4946-88AF-CD9F8D31A7EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4006a7f087758b70a03db268a27f5f88dceeb0e8","datavalue":{"value":"1575019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702595$2359DDB5-345D-431B-8C89-433CBDDF9056","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702595$2C0DB1A4-5FFD-4233-A6FA-1E0B2E76C2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab27f648cad08668369d76b7e10dfe545610fe7d","datavalue":{"value":"superposition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702595$56876D6A-5286-4F08-8995-953E3AE1F4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338ad236d6360edd8c5514e77a62b36b116d6e27","datavalue":{"value":"commutative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702595$E6417718-3996-40AC-8EE8-4DC3DF48A54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702595$1EB4BBE0-BAB1-49D4-A04D-C646121D0A5C","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":"Q2702595$8E8736D5-3759-492F-BB1A-CAD9EFC0F90B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a74f79996875e0388bb9182d8a34a0484b7c7338","datavalue":{"value":{"text":"Superposition theorem proving for commutative rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702595$B9BA11C3-B20A-42B1-8391-4FB421A22087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eee284179deabdc6134b26eb3c1e7e8d0ce082c","datavalue":{"value":{"entity-type":"item","numeric-id":5055850,"id":"Q5055850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf6c40cd1bf14eaf92ff026d4a794d2ca006499","datavalue":{"value":{"amount":"+0.7605686783790588","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":"Q2702595$06B5AFEB-05CC-4B88-9620-B8F7319AA54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8e45de50dd1655c4b10d46ff12630778ca0dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1275020,"id":"Q1275020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a369b6bbd5bed70196104823dbbac1131da217c4","datavalue":{"value":{"amount":"+0.756071925163269","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":"Q2702595$A5CCD314-56E4-4813-8D2A-BB7B357C6BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cde5befdfa96f0f2cfbf0c90a1796fbc3ee97c","datavalue":{"value":{"entity-type":"item","numeric-id":912612,"id":"Q912612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a4d787f7adeb9ad8286f0335ecbac58476cadf","datavalue":{"value":{"amount":"+0.7556027173995972","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":"Q2702595$1BD1458F-5ACC-4DFF-9351-807139304591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494b59b1fae9584e66834fee5a968a1181b01049","datavalue":{"value":{"amount":"+0.7347968816757202","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":"Q2702595$8D4BE014-ED63-4DD5-B943-38B84FFC377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d60ef59f346f0e0312e5e975a6d9f136ef91d5","datavalue":{"value":{"entity-type":"item","numeric-id":3454553,"id":"Q3454553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3daba5ad7b814bde78a87943e091feab647af80b","datavalue":{"value":{"amount":"+0.7188469767570496","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":"Q2702595$7657E80F-68FA-4D91-9A71-B622BAFEC253","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superposition theorem proving for commutative rings","badges":[]}}}}}