{"entities":{"Q5672888":{"pageid":7702448,"ns":120,"title":"Item:Q5672888","lastrevid":40258521,"modified":"2025-02-14T10:55:42Z","type":"item","id":"Q5672888","labels":{"en":{"language":"en","value":"The undecidability of unification in third order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3405920"}},"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":"Q5672888$0D656BB7-4C21-4616-85F4-D8D9C013BE4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bd6df42f1541c13c231ad0bd0bb1aa0dc70ccaa","datavalue":{"value":{"text":"The undecidability of unification in third order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5672888$ED868A22-61C8-4FF6-89A5-3C6C9C3592FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6901b7d40fdc5e440aa7c57830b71622888ea0a","datavalue":{"value":"0257.02038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$B53ED465-53B1-4371-BBBF-2671A7E46F74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4efb4432d300448a2b4321c6ffd05f84d5edac9","datavalue":{"value":"10.1016/S0019-9958(73)90301-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$58237D3D-155D-4019-B697-3850DE50836B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5672888$2B2D7FCF-F9D6-40A7-80DB-B74E46C1A424","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5672888$F97DC4C8-BDFA-4DE2-9701-7FBA003B4F68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q5672888$A0434CCB-D977-4870-BAF3-D5CDFCC1B44B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$11BC71CF-3643-405E-A2BB-C79E16956203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$5B681D48-5FCE-4705-A934-DD6D74A3CC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$8F1EF312-7CBF-4EC4-9A94-8640C31509AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e9a303a41ad9e208d3c896a76b6cf0634ab4122","datavalue":{"value":"3405920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$6324A834-6A46-4A5D-8934-2A1496FBF6B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4533011f2e537453361a453cd9031ccba8151ae3","datavalue":{"value":"Q55880674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$AE158898-A5D4-4AF8-AF21-C7CBCA75E114","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":"Q5672888$1B06AAFB-BAAB-47BE-BEC6-1F601C00D551","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73c2b0ce143c055b852651a15a60b5e10bd92f85","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(73)90301-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5672888$A6B284B2-E121-4977-8476-E21C24540472","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"087ca2fcfa627fb7efd41ba1c3e77002ef322699","datavalue":{"value":"W2023266231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$452F2DA4-BD12-44BC-939D-4B9D42506394","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2ddbf6b721189fe7d98ba8cf38b8b44672aab16e","datavalue":{"value":"journals/iandc/Huet73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5672888$A529B6A9-4E6E-4100-8E6A-CA4D9033AFF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5672888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5672888"}}}}}