{"entities":{"Q3138831":{"pageid":3149547,"ns":120,"title":"Item:Q3138831","lastrevid":45531499,"modified":"2025-12-10T07:20:52Z","type":"item","id":"Q3138831","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432704"}},"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":"Q3138831$9CE5D762-9B11-4628-8355-7E3CDFB5083E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c3dee5a670c32071028a37b7a315a09ce456737","datavalue":{"value":"0793.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138831$84AA487D-4652-4282-9188-F5CBAB61D333","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b0552020aab38b42e70bf55c1e6eb6d73410d39","datavalue":{"value":{"entity-type":"item","numeric-id":186024,"id":"Q186024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138831$14CFEE94-91F5-427E-BAE3-063237271DC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138831$3F0F9FBA-32D1-418F-BBCF-BF0DFB3EE174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138831$0A259BCA-5CF4-4D9D-B57C-F835A4C84050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138831$5BBB7E86-57CA-4000-BB3E-05CA56F68E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138831$E83972C3-94FA-4E3D-8371-613705966919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf45a44765251cb686ae83156a7e52a7778ba259","datavalue":{"value":"432704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138831$D465742C-DBC2-4DCE-B5A4-6A4308AC51C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c16b5ccac32825b71188ac3b4b5b94894663c42a","datavalue":{"value":"proof theoretic characterisations of termination orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138831$2BE20452-8F6C-42F5-A2AE-61A7F9A06F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138831$B98C7071-AC0A-4B41-A0C0-5631754A7518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6abf3480ac22b65f8ff8661fb5437724784b8b0","datavalue":{"value":"fragments of first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138831$97C44F72-0599-4061-82F3-5BAF53903256","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":"Q3138831$DD5C23DE-3CE4-4D3B-BE41-5CD5220C51CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138831"}}}}}