{"entities":{"Q3771660":{"pageid":5801566,"ns":120,"title":"Item:Q3771660","lastrevid":52106204,"modified":"2026-01-20T23:04:00Z","type":"item","id":"Q3771660","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4031035"}},"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":"Q3771660$607165F9-D1FA-43E5-A6DE-0DC51C59E9D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78484f093a8094c5734a28428c3aebe383bc8f1a","datavalue":{"value":"0633.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771660$B2A4A192-5DAE-47BB-82D5-F074E6469E49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c6b887eade9ef808c0aa19bfc09d4832033fe2a","datavalue":{"value":{"entity-type":"item","numeric-id":1105361,"id":"Q1105361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771660$5AAE0036-3B6F-4314-9FC7-97C375794EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771660$BC250EF6-C3C8-4B99-96BF-14271C6FAAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc1f7280207046026dfc4dba895215d9332ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1105363,"id":"Q1105363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771660$AB9E99B3-B6C9-4055-8A15-8B2AD2FFA9E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3771660$C5AF5A32-23AB-4EF2-8A39-85B6394F84D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771660$FAFA144E-B030-4BD0-85BD-46B624B6B530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771660$40CD7AE5-10CA-44EA-9483-438AFFC541DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771660$B411DC2A-7488-4CED-869D-502A7D0417DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771660$4E5DF126-C320-420B-B429-BF627933971D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4345eaae98cd091ec3e77557b171962fc1933a1c","datavalue":{"value":"4031035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771660$A148457C-8A64-4B84-8220-8153DD7029A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$31264B9B-2DB0-47A1-A222-24420C498FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f168e1862019b8746d591c4bb3729995d53707c6","datavalue":{"value":"canonical rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$54B045A3-2400-456D-B4E1-7AF28C850929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$16420A2C-5A54-4423-98A0-D340FBBC7A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$1A7ECC95-4D4A-4FE8-81B0-FBD968ECA6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d066e8baad95a598bb0b781e11bf90ce82c7e23","datavalue":{"value":"narrowing sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$BBA1DF83-8686-4CCB-98E6-73CE813BF3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$BA246F10-773F-49D9-892D-146D9AD76453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e62fce73127c9913d3ba781a5ce29e9991edf64","datavalue":{"value":"semantic unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771660$FD5C62BB-6C96-4CB1-A377-BAB65E80E51F","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":"Q3771660$05C678BB-809D-4645-AC1D-E00EF9DCFEB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a185753373d3dcada6ed4ddcb5b031e8ef4c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1105364,"id":"Q1105364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6574b3fd5dbb8d613686a8fe0ba5a63dbb549c42","datavalue":{"value":{"amount":"+0.8389327526092529","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":"Q3771660$344A78C3-1AC0-46A8-9907-F298DE45CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26d6998685e2f7c03c1673ac12d6febc231bf71","datavalue":{"value":{"entity-type":"item","numeric-id":2639627,"id":"Q2639627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0bee53532fcde2f749c6315331c3c4ba39c65d","datavalue":{"value":{"amount":"+0.8365723490715027","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":"Q3771660$83B17288-2C99-4B25-B0C2-83A2E5739CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab04dff8c63950ed3ffaa7511199553e4e955","datavalue":{"value":{"entity-type":"item","numeric-id":3730013,"id":"Q3730013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3277ef0e9117e2fd4c219e08decbc77e34a2c36c","datavalue":{"value":{"amount":"+0.8237780332565308","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":"Q3771660$E9FCBD39-BCD4-4045-A868-19806FCB26BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35951a727f150325a54be2f5977faf5a9ea674ec","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335f4c61a3fea0a538e07fcbb81053a80a18be99","datavalue":{"value":{"amount":"+0.8151687383651733","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":"Q3771660$493273C4-99D8-45E0-9A6D-9BE841DF12BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a586132e2a9035250bc3aaf50e941864255c9d","datavalue":{"value":{"entity-type":"item","numeric-id":6488536,"id":"Q6488536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e8276d125ad7242759c53567c8f994ab827f8e","datavalue":{"value":{"amount":"+0.8099415898323059","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":"Q3771660$9752A04A-C8FC-4396-A154-79512F63A5B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3771660","badges":[]}}}}}