{"entities":{"Q5655006":{"pageid":7684566,"ns":120,"title":"Item:Q5655006","lastrevid":37894569,"modified":"2024-11-13T02:26:02Z","type":"item","id":"Q5655006","labels":{"en":{"language":"en","value":"A Unifying View of Some Linear Herbrand Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3385242"}},"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":"Q5655006$1BB92B00-DA10-454A-8DC7-E4FD61B1F0AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d992d1eef816535d85eae96934b8706d7016ec0","datavalue":{"value":{"text":"A Unifying View of Some Linear Herbrand Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5655006$C43E19F1-37EC-4FEA-BB2B-0797B239B19A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75a3fd17ea107be7585b8e676554349943701ed8","datavalue":{"value":"0243.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$570CBEE2-4729-4AD5-9912-9970EEF99820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3500791b2f0c8732ffad15607b98bcb707e2e32b","datavalue":{"value":"10.1145/321694.321706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$0B65432E-162C-4AFA-8EA6-8D123379D45C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ebb156bb8b416bbae8dd2cbbea32ca7e0ce15","datavalue":{"value":{"entity-type":"item","numeric-id":287331,"id":"Q287331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5655006$D7D01F0D-3FDE-410D-845B-37D4A72BEBAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5655006$EFF791C3-7AEF-4BC7-A039-49A1E2F21458","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q5655006$ABA1F284-61CD-4E4A-A060-2C74DA899D96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$E0787790-0CF9-49A9-9FFC-8B28B58B6631","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aceb972ac48b2ff033042ce1b11829926e25772","datavalue":{"value":"3385242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$0F52AA84-E086-495A-A9E2-0D6D6E602EF8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1a8180d07c773578eead9dfd086864138b2337a","datavalue":{"value":"Q56814473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$73A3B985-A828-4683-B0FE-6ED6B000A76E","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":"Q5655006$23796D19-9C44-45F3-AC58-D0728026F031","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c56ca6638ab3fe2b620309a1df190cdd70dd2d5a","datavalue":{"value":"https://doi.org/10.1145/321694.321706","type":"string"},"datatype":"url"},"type":"statement","id":"Q5655006$2C1C76FE-C48F-40BC-B4BE-E0FEA8B41982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b97a678369742711b87fe0c93b170ce1bc62df8d","datavalue":{"value":"W2002684144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$D67DACBF-ADC8-453F-908D-E052FDF97974","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"048db27538b0c13be85162b8653c7e6c9135cdc7","datavalue":{"value":"journals/jacm/Loveland72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5655006$90D325C6-53FD-499E-B753-963A8BC05607","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5655006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5655006"}}}}}