{"entities":{"Q6187069":{"pageid":13321957,"ns":120,"title":"Item:Q6187069","lastrevid":39751520,"modified":"2024-12-30T18:16:24Z","type":"item","id":"Q6187069","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7799627"}},"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":"Q6187069$F921B3E4-B3ED-4645-A057-D8298C04D055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e99b0756d94234ec5b8de37512b98b6fee209039","datavalue":{"value":{"entity-type":"item","numeric-id":1409299,"id":"Q1409299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187069$C0E4EE97-63FA-43FA-9424-F6EA33EC0BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6187069$90D0E4C6-FF30-4C0D-BB8B-6D91C4E71E5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36c2e1616da38323cf7ff49255652cb2a9eb6fc6","datavalue":{"value":{"time":"+2024-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6187069$89C8E327-19D7-4438-8F35-FCFE07E9E4A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187069$2C0985D3-894C-4794-A5A3-14EE38B09F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187069$92FD8BB8-8220-46DF-8AC4-1E3EBB409BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9149de80662ca5ccde8b7b2ca837d92a7abeee7","datavalue":{"value":"7799627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187069$FB52729E-5EB7-4C43-9AF0-EBE9C03CAFB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187069$C73BC0E7-9D9E-4325-823B-A43B9C577F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f77172978f8da45d11681f8288dd3fdf1a1985","datavalue":{"value":"sufficient completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187069$F27F7478-0032-4619-9C34-327F7B2B939A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"113768e36db989307f8aa7b46417c041fdc06fa0","datavalue":{"value":"local sufficient completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187069$E9DFD172-C18D-43B2-94D3-6EBE097734A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187069$B4754D10-68C9-4C19-8501-DB6E7CC8031E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5cbcda99d753e8fe5ce7fc13a19f8046954faa","datavalue":{"value":"derivation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187069$DC0B91A3-097A-4207-BBFD-BD0201742436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35494e1a1e052383afa649ca503486c28bad525f","datavalue":{"value":"well-founded induction schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q6187069$102C679A-8E84-4084-934D-3868CC163C39","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":"Q6187069$351BBA1A-B8A5-401A-9F10-30F89AFCCB45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9f2e25ed43b1ebc453d7d7a35047362375b3ad6","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2021.49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6187069$38AE90AB-8FD1-4248-878C-890B77368155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6187069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6187069"}}}}}