{"entities":{"Q3801104":{"pageid":5831010,"ns":120,"title":"Item:Q3801104","lastrevid":53275913,"modified":"2026-01-24T15:03:25Z","type":"item","id":"Q3801104","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068331"}},"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":"Q3801104$0D1C6FE5-6572-4979-B0B7-671B51017C9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a59357b599b7cf33390a80b76853c55d35608ee","datavalue":{"value":"0654.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801104$E5926790-FB25-4920-AC97-CD0D08DBB7E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e794e8ec2d8d673df4039847753be5983884cc10","datavalue":{"value":{"entity-type":"item","numeric-id":1098331,"id":"Q1098331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801104$4FC87826-AF25-454E-8858-19E9982C65EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3801104$309D0EBA-6BD3-45F7-BCD5-909A921D4DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801104$CE8AC2BD-028D-4308-ACEC-472054D571FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"22fbf0da572b1143c0be018ac122b299918c0405","datavalue":{"value":"17D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801104$250AEDE7-33FD-4CD3-93EA-12E8522279F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801104$44E412C2-5E20-47D1-B643-934F22992249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0d57efae5bca2aae8644aa58058f630e890bf47","datavalue":{"value":"4068331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801104$32B57F57-3477-4FDF-A9C2-0E43E9EA70B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801104$E767A2F9-5ABA-4611-939C-E923569DAAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f9e9e67c533e375051d67cae5dc8ca0aac6848","datavalue":{"value":"Z-module reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801104$6E6EBCAA-4B2C-4FE6-8882-1BDE3129160D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1732f5627344e5fa841e1ab3b0bc60c3d294e7","datavalue":{"value":"equality-oriented reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801104$3B859FE1-825F-42E7-B701-F31A09A60DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2822eacafacbdde42972cf281391c33a3f7ffd8","datavalue":{"value":"ring theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801104$19ED5500-E045-40C5-BCCE-B7572177E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39582725d773f66ea7b763bc55e831ca75ab427","datavalue":{"value":"Gaussian elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801104$D9B82DFB-9E6F-45DD-A820-27BBE4E54AE0","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":"Q3801104$8912B29E-BBD4-4A56-A593-23AB936FC004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728bd551386f1194d07cd2ccb6a6265cbb5fd152","datavalue":{"value":{"entity-type":"item","numeric-id":1102357,"id":"Q1102357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169c3805c31641503c3d73fa2c71baf71120ceb8","datavalue":{"value":{"amount":"+0.8938485383987427","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":"Q3801104$5159E12C-F542-4D85-A50F-5F24CDA2D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6060fbd92fec0e1062e66e651a42e3325484b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3140017,"id":"Q3140017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1908211509f7875b30db9bfe086c6d01648a401","datavalue":{"value":{"amount":"+0.8913530707359314","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":"Q3801104$7AF44B3C-D33F-451E-B517-F511F069F22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1908211509f7875b30db9bfe086c6d01648a401","datavalue":{"value":{"amount":"+0.8913530707359314","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":"Q3801104$07245267-FA37-4075-9911-ADC5F0531F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbdf54e430cbbbf70c14b9aeebc7e403489fc7c","datavalue":{"value":{"entity-type":"item","numeric-id":1825048,"id":"Q1825048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5bea5b86d3479e97417e08feb5b345d0a83e5f","datavalue":{"value":{"amount":"+0.8034974932670593","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":"Q3801104$A241BDCF-8E14-4135-8BD1-EB03FAA3EEF4","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":"4d4f1248a7c6c5eab1b44c59e813b771d5fb4637","datavalue":{"value":{"amount":"+0.74565190076828","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":"Q3801104$2379F6E3-DA86-4E33-B670-5F1AFA6FDFAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3801104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3801104"}}}}}