{"entities":{"Q3782762":{"pageid":5812668,"ns":120,"title":"Item:Q3782762","lastrevid":52346921,"modified":"2026-01-22T10:10:02Z","type":"item","id":"Q3782762","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045129"}},"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":"Q3782762$84D64D9A-DDBD-43F4-A7F0-49EADC74B42D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5746f118bc3500b5b71e689fb4ddfa8c9a56698e","datavalue":{"value":"0641.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$BF7ED09D-E268-4F4E-9D57-56F60F6DF8BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782762$FA10E804-E288-4A7E-9145-8F70308E60DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08806ac259b69338711fcb06260641ec2a055681","datavalue":{"value":{"entity-type":"item","numeric-id":685536,"id":"Q685536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782762$0AD4E069-F013-460F-A10E-097B9B89DA35","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":"Q3782762$CAAFA954-B208-4D16-9B35-77995A7C38A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$05DB266F-1024-4D38-B8B6-281A788D86E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$F9FF4217-0D77-40A1-85D9-00E617715EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$E6DF98C2-77AF-4B39-A6C7-B47917EE502C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$07EBBEE8-896A-4659-A177-190D9D7713AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$576B34AB-B304-48C4-B32E-23D12887D07F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ac7800b8ebf4e24eb1837c82d9cf22feb35f91","datavalue":{"value":"4045129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782762$B24E7A60-96D0-4C3C-B71A-152542A86704","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcf84584bad3fe3604d99501f4fec1b7404f6c2","datavalue":{"value":"E-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$98A6B8B9-0BF7-43DB-80A5-AB4956C2BDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$F3BADD4F-44A1-432D-9162-AE66D182C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6990d676343b3a710e094c3bf0128a5dc93b84b","datavalue":{"value":"complete sets of unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$EA5C46DA-7491-4551-9ECE-7C3C834BCF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$B06E39DB-090C-466A-AACA-2AB02E5AEF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$739E82C0-E049-4FDE-914E-94C06BF9DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a733d17c8d02c7cc8cd713ee790a824d3a20fae","datavalue":{"value":"typed theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$9A3E9C25-B30B-4EA8-821A-721CA15792A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$ED6DA16C-A410-4968-9BB2-07BC1B0D1E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782762$62051939-C302-4410-A611-689A3263FC64","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":"Q3782762$41CBA73E-F4E3-4F32-8558-C1FF863CAD6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c647cd056b4851befaf3e3c2a0e327caf51f9bea","datavalue":{"value":{"entity-type":"item","numeric-id":1201347,"id":"Q1201347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e23a916c7d8d010d8d810236009f94c9de6725b","datavalue":{"value":{"amount":"+0.8377307057380676","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":"Q3782762$B7926BB8-9A69-4C04-9403-AC3F63D559D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e23a916c7d8d010d8d810236009f94c9de6725b","datavalue":{"value":{"amount":"+0.8377307057380676","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":"Q3782762$6A4B84A3-007D-4D53-B7B6-6085D676002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d88b6c0e576c87447c074da4e0022a9001e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":6114511,"id":"Q6114511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d454172e47549b46211cac62c0733a6c504b862","datavalue":{"value":{"amount":"+0.8352584838867188","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":"Q3782762$F38F52E4-A5CE-4219-B76B-DE0FCEB8A606","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":"a5dc32647fca7e4c2101f2daf72fdaac7e5f7010","datavalue":{"value":{"amount":"+0.8234274387359619","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":"Q3782762$69C3D595-72E6-491A-8358-3FFABCB82C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f08ed4ddbed54098ea19fc87a166a3969cc5199","datavalue":{"value":{"entity-type":"item","numeric-id":5055788,"id":"Q5055788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbeaa4bbc31add62daf13d6f854c2a52a7bfab0","datavalue":{"value":{"amount":"+0.817947506904602","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":"Q3782762$752ED139-8D8B-4BB6-ACDB-41914380AD71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3782762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3782762"}}}}}