{"entities":{"Q1582906":{"pageid":1593646,"ns":120,"title":"Item:Q1582906","lastrevid":67953102,"modified":"2026-04-12T20:27:27Z","type":"item","id":"Q1582906","labels":{"en":{"language":"en","value":"The evidence algorithm and problems of representation and processing of mathematical computer knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1517612"}},"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":"Q1582906$BA571DE2-7E22-4ABE-A931-E38CF335D9A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f70811fadbdab4fd1b7aace133faad7b9bf78ba","datavalue":{"value":{"text":"The evidence algorithm and problems of representation and processing of mathematical computer knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1582906$96349112-9E57-459C-85E0-E9541EE1F7D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a11adecd8bedf3270acb191f1f8b24d8fa4f9080","datavalue":{"value":"0966.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582906$FBEE23E1-E3DC-4253-BC3D-603F3887C8C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53bc99d1e48f88ad7db1443bc3fc9b820a75303d","datavalue":{"value":"10.1007/BF02742275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582906$A88BF879-95A8-43A0-8089-712368182B47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$08387046-57D0-4429-965D-179DCB2F0BD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$D218B3B0-1C9B-4AA5-AA60-BBFA7769D2D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e61bdbee98169dfe26c35f08989fafcb389a871","datavalue":{"value":{"time":"+2000-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1582906$735C7685-CF7A-4768-B4FC-C6EB0A052181","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582906$173E7F76-9466-4BE0-B88F-94664F5ED6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582906$815DEA82-6ECD-442D-9CBF-079ACBB442C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87da41cfdd8ce16149a55691d1b57a0a4ea5ef2f","datavalue":{"value":"1517612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582906$6D23DB1D-F543-4075-BB6F-B6C443A80855","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1582906$D17BE533-91BF-4F4B-A6EE-A574F7C6988F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$AF7E151B-60DF-4233-A8BB-868EE220959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$039D54F0-B4C7-476E-AA6D-8C6868838C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98cd83fd979958aaf8f55eedae733a1697011a8b","datavalue":{"value":{"entity-type":"item","numeric-id":20964,"id":"Q20964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$587A8122-1373-4F51-B5BF-AECD0627012A","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":"Q1582906$F6E0E8F5-0575-4C3B-95DB-CBEC923F3C56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$3A3FAC4D-DF55-4471-ADAE-70DF00F943B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260890363bfae4aab36d0a57c2c6d48e7d9f9c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5674995,"id":"Q5674995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$3CBE5D77-513C-422B-B241-A009D35786EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bc0be7eb9e511c1dbdce4dabbc9f9a5e297b85","datavalue":{"value":{"entity-type":"item","numeric-id":1364068,"id":"Q1364068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$A967A9CA-CBE8-4252-9CDB-37E012C526DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed7374db4097809a5dc23687066b9c4952547ba","datavalue":{"value":{"entity-type":"item","numeric-id":4047551,"id":"Q4047551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$E199E713-F50A-4EE9-BD93-88D8198CE0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c7cadc5a3440bb13f95ee53f9903adacdb92b2","datavalue":{"value":{"entity-type":"item","numeric-id":2745000,"id":"Q2745000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$E2ADF453-364A-4C14-8EDE-804E863E2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3eddeb89340a23a9ca142dbec0d4de38658a7","datavalue":{"value":{"entity-type":"item","numeric-id":1311970,"id":"Q1311970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$81D92305-B3B4-42C4-896B-C637ED191045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7767de3c17f4340e1df5c15c5cdb8512e36d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":4938416,"id":"Q4938416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$29A37F18-3AB9-408B-9D7E-FA060D4BF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661364c39b0d1ca298a77bc970439cd4e9a0507b","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1582906$13FA5620-8473-460C-81C3-803B9FAE54A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"839725aadd5375f74d7396fb476b9ac174001290","datavalue":{"value":"https://doi.org/10.1007/bf02742275","type":"string"},"datatype":"url"},"type":"statement","id":"Q1582906$BA13CB54-0286-4FCB-B022-BFD8A9A531FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f76f539fa0b38b3dea902c383df35e520b86fbb","datavalue":{"value":"W2037024538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1582906$3A9E21A3-FF5A-45DB-A9C7-8DB955EE2EAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c916db282b13d9b4d99a599a40b07e3560693e6c","datavalue":{"value":{"entity-type":"item","numeric-id":466397,"id":"Q466397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873693cfe07afa0bc5fe445510b396931da96e17","datavalue":{"value":{"amount":"+0.8416997194290161","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":"Q1582906$408F6749-1C23-4086-A050-B31562001F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363e43961a6fd052625496b0a4452d17a6721dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2043962,"id":"Q2043962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9f9f2fe1e2fd8aeeb6d08eb2c6d9282e68ee8a","datavalue":{"value":{"amount":"+0.817864179611206","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":"Q1582906$41ADB263-3710-431D-8318-D79C95EC8DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f1d94d4141a6938a42967fbf9785db4ebe52f6","datavalue":{"value":{"entity-type":"item","numeric-id":3582728,"id":"Q3582728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0fa64c72ba787dbbb450ae5f809b0efe56d74","datavalue":{"value":{"amount":"+0.7821542620658875","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":"Q1582906$959944CD-8169-465C-8544-E35EBE3FD0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2365736348bf4dee35c20c58810e7bbbfb4244d","datavalue":{"value":{"entity-type":"item","numeric-id":557410,"id":"Q557410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb027b0ef633baf28110e395a5d60fdbdfe0fb7","datavalue":{"value":{"amount":"+0.7766394019126892","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":"Q1582906$D3AD16F3-6443-429A-9AE2-833676BB5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ae34fdad1c3de6f52233396721d30e865c0d78","datavalue":{"value":{"entity-type":"item","numeric-id":5195276,"id":"Q5195276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d66c56574503028c422a2751d757dd801eefdc","datavalue":{"value":{"amount":"+0.7742041945457458","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":"Q1582906$BBD40EEC-427E-4D9E-8012-DDD65A29C323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The evidence algorithm and problems of representation and processing of mathematical computer knowledge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_evidence_algorithm_and_problems_of_representation_and_processing_of_mathematical_computer_knowledge"}}}}}