{"entities":{"Q5541352":{"pageid":7570912,"ns":120,"title":"Item:Q5541352","lastrevid":39611356,"modified":"2024-12-30T16:08:39Z","type":"item","id":"Q5541352","labels":{"en":{"language":"en","value":"Theorem-Proving for Computers: Some Results on Resolution and Renaming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3254920"}},"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":"Q5541352$89557E4D-0840-4FB3-8889-3A678E5F4F02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62018c50eaf6aacc839f24716eafa2a858a6c506","datavalue":{"value":{"text":"Theorem-Proving for Computers: Some Results on Resolution and Renaming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5541352$756D8335-2ED2-4C77-BC76-311DE2D71998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0711b99c160aeff760d741d2d9a776e742cd123c","datavalue":{"value":"0158.26004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541352$9985C39D-A6B4-46C2-A737-077C8C9DCC39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f48e1aefd3d73112460405a796e844b766131a","datavalue":{"value":{"entity-type":"item","numeric-id":2542508,"id":"Q2542508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541352$E0EE42C9-F0EC-4829-A495-E23CC45313E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5541352$021C4E80-980E-4658-B9E9-36F66FC263A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5541352$B78281B6-4770-4B10-BF1A-3FF81ED54214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8ef7b5ca22a8963fb7cb6547657a07ec93ae7f3","datavalue":{"value":"3254920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541352$4915FAEF-B986-4DEC-B52F-54BDC5D9DDE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5541352$55304BD3-44F9-4F2F-AEC8-C78DBEC70539","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":"Q5541352$3A385097-D559-4209-9838-46F85BAFBCDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d657147142ba83c7f52480929b2e83a49e6a43b3","datavalue":{"value":"https://doi.org/10.1093/comjnl/8.4.341","type":"string"},"datatype":"url"},"type":"statement","id":"Q5541352$8AAF57AF-A077-4916-ACBB-121AA677A2FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7fd30bd85420cac86c2a88a2c7e61e270d55d01","datavalue":{"value":"W2109964311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541352$893B56C0-0542-4343-9154-129A17E552B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d66884929baac49043197327d7900dac911bb92c","datavalue":{"value":"10.1093/COMJNL/8.4.341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5541352$B870583C-CF12-46EF-A943-70DE93E59392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5541352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5541352"}}}}}