{"entities":{"Q3936229":{"pageid":5966134,"ns":120,"title":"Item:Q3936229","lastrevid":55035061,"modified":"2026-02-03T01:01:23Z","type":"item","id":"Q3936229","labels":{"en":{"language":"en","value":"An Efficient Unification Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752269"}},"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":"Q3936229$829B0CB0-E739-4BA0-9985-28C7605DCB95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e9f18f82065e42014aca157fe3204bf16790635","datavalue":{"value":{"text":"An Efficient Unification Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3936229$C9180804-A21D-44AF-AD28-DE6D87CF9E7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44b329754e85a6389d598a1c608df59970ec0139","datavalue":{"value":"0478.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$8318A371-0CB4-4195-83E6-70F230EC14FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a84333fe9339d6607c2ee27cefcd02cfec05f528","datavalue":{"value":"10.1145/357162.357169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$68846EE8-69A8-416C-B817-B7D4E5CA57D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a95c81b1b983e32ebe3edd662c771481c22c0947","datavalue":{"value":{"entity-type":"item","numeric-id":596472,"id":"Q596472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936229$0C7CC692-16FB-440F-910B-783EBED6EC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936229$9D696161-CEBB-4373-85F4-DF342A62A8E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936229$E9A6DBEB-66CD-407E-B765-CBF8A41DB6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3936229$E369F211-E3C2-4FF4-8682-6A311CA775D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$3AFD0431-F900-4B35-8E1F-85155640645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$068CDB29-6FBC-4B08-B44E-DA34C6D55A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$446D324A-B495-4746-B172-37C0B634236B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$5F749629-6EE1-408E-B777-EB2AAC10607D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be24d7689f024dd46ba76ae3604bf47a827ec35","datavalue":{"value":"3752269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$2F2BB9FF-8855-469C-A933-956A54B57584","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936229$1A401F88-2A21-4C6D-BB33-164484D6FAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e2d38920672f464277b8da5573a14d96812aa7","datavalue":{"value":"nondeterministic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936229$5FB56496-FE6C-4F96-9B1C-3FD7A313EB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae41c8d2271a5787e2710dcea6e5b736ac1cd27","datavalue":{"value":"complexity of proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936229$44E0AED0-13E3-4E4B-B8D8-94ED508C0C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936229$D8B52B1E-1DE9-4FB2-8471-38E3E7F581E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936229$A259597A-0E20-4C9B-ABB2-8B4614EE3573","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":"Q3936229$9F6C273A-DC87-4313-93F5-DF2163357DDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab634594ae35c047ef13ea397803c54c3bec8e6f","datavalue":{"value":"https://doi.org/10.1145/357162.357169","type":"string"},"datatype":"url"},"type":"statement","id":"Q3936229$0348C4EA-EDE7-41EF-BF76-07CA84D61B4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4f6e740cb1ca81427801ed42dab6d16656829b5","datavalue":{"value":"W2113722134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$459A3CB5-E7CA-48AC-A0EC-B61D56A54A37","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8ba946c66d6a45c1ff4162654606ac4687ec4b3","datavalue":{"value":"Q56092428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$C2A2FA11-BB05-4DCD-B26C-B3B0A79B04DE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6415e6ba84e354966774cb5bb65b5d53bbf3fb97","datavalue":{"value":"journals/toplas/MartelliM82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936229$5E6D53AF-21EE-448D-A0EC-C18C6CFD7879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3936229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3936229"}}}}}