{"entities":{"Q4000281":{"pageid":6030110,"ns":120,"title":"Item:Q4000281","lastrevid":55144990,"modified":"2026-02-04T02:43:24Z","type":"item","id":"Q4000281","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 50648"}},"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":"Q4000281$589879AD-E8EC-4027-9F3D-818B8F1EB5D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80580b8e0b16a387ee782a791b99b1a6649f8474","datavalue":{"value":"0732.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000281$3E2EFF6B-2435-4785-98B4-50A47838165E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4000281$35EA7A12-8667-4CC7-9FE2-AD3D929DB544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4000281$5B33D36F-DAAC-40CF-838D-EC7DC81E20F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000281$FE1D9A03-9903-4E6F-8F37-1325CC0E778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000281$CDEB360D-5A0A-477D-A960-E3FE67296966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000281$CDE1DCC2-5932-477D-AB13-0D4266D34064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dfab82654c4d7455c9be0401574665af60229a7","datavalue":{"value":"50648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4000281$831C1AD1-8033-408B-915D-C6B619D987A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b1f70b1bab8d0910273a06a958e877a4363e6b","datavalue":{"value":"convergent rewrite techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000281$254D9486-C7CE-43BF-9F2F-03ED07C36E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c42b58e007e93607ffdeb80e4726e2ac15cc3bfc","datavalue":{"value":"reasoning about equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000281$1F2C318B-6B5C-48BB-8B17-BC8DE5EE8CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4227181b1a0086f8887af88d8f5f19ae7b351535","datavalue":{"value":"completion method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000281$27A85174-C788-4C1B-B96D-B50DF7786430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a91003eec20b6e040430743ad3336209f33dd0","datavalue":{"value":"proof normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000281$6251BC6A-C57C-44EF-BB1C-FE815BCB65E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4000281$CEC0D977-DFF7-4DA7-A032-4C89614AF414","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":"Q4000281$7C0E7BB1-F0AF-4A36-B399-381BBAED1D7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76508b2490cf6d8bb69b4eeae9ef446ff825808","datavalue":{"value":{"amount":"+0.8512563705444336","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":"Q4000281$6D403EEE-2A35-481D-82FA-FF57A436597F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf9de5f8e13207fb2ca62f2c26d29d260a4e4aa","datavalue":{"value":{"amount":"+0.8423669934272766","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":"Q4000281$D783A16C-4FF5-4234-83A5-62167B9FDDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21d9c9809aa1f4b8a27b9fb7f5937de1a202fa","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b2854b66c521025649787ce606bbb61b610b07","datavalue":{"value":{"amount":"+0.8120554685592651","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":"Q4000281$75EC9057-EDEE-45D2-96C2-44026F1A0C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeee46e504a55acd7bccfff46c1219fa96e652","datavalue":{"value":{"entity-type":"item","numeric-id":4842538,"id":"Q4842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03506449013e435b6589ad74dabaf17baecde14c","datavalue":{"value":{"amount":"+0.8039876222610474","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":"Q4000281$F61182F6-166B-4C3B-980A-15DA20EF943C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4000281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4000281"}}}}}