{"entities":{"Q2119990":{"pageid":2130733,"ns":120,"title":"Item:Q2119990","lastrevid":43522084,"modified":"2025-07-30T14:03:42Z","type":"item","id":"Q2119990","labels":{"en":{"language":"en","value":"A proof method for local sufficient completeness of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500655"}},"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":"Q2119990$4A7BDB23-BFF8-4209-9560-9A8D235A066C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0be4a2df011096c0ca7ca2b4e460940b9b8b1a47","datavalue":{"value":{"text":"A proof method for local sufficient completeness of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2119990$87746DAE-D3A7-42CA-A11A-B3B1FB8EE497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35caffc5d0dbc48ed01d921d7a95e8c4bcd96a00","datavalue":{"value":"10.1007/978-3-030-85315-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119990$32A84A1C-7164-44AF-9ACE-F57523F4889C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a55928cf2deb4719760f6a0864c6fe1e8665c4","datavalue":{"value":{"entity-type":"item","numeric-id":2119989,"id":"Q2119989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$18F2902E-74B2-46BC-B177-4286BBEAA373","rank":"normal"},{"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":"Q2119990$B35C6F24-82A0-468E-9741-F1859F2276A7","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":"Q2119990$CC4C8481-A678-4185-81DE-7C0872AA203A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cb51486d062318d72a3e7127aeccd5361ad436b","datavalue":{"value":{"time":"+2022-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2119990$A7582B73-FB16-4903-AEE2-9A44200F49ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119990$DC952DDE-D23D-49F2-890B-4F30CD779180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4dc5f68f4c83a0966d3053ead9bf3d66595a5ca","datavalue":{"value":"7500655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119990$11919086-673C-482A-8320-689C23A6A5CB","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":"Q2119990$B6449448-9EF1-4E60-B630-EB535264DD2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d85958accbc8cea7b964bb862faa200d10ac463","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85315-0_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2119990$B6480FCE-2F3B-4C45-B7D4-7AE0E6DD7206","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2773de2d8f1f75a0ee6f821d756452bc1b45e25e","datavalue":{"value":"W3195150266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2119990$5B3DCD26-4A24-45BD-A7C4-EB8F350718DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$985F9EB9-176D-4B0B-AE3B-BE6FCFCEA790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e60dd0fca99bfbfa5b5591cdca181708b6d19","datavalue":{"value":{"entity-type":"item","numeric-id":1887142,"id":"Q1887142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$24120F4B-753C-40BD-9DE6-A9BFB67DCEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716515c5f3caef048c42ec1b3c2db7729217a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":554217,"id":"Q554217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$023825DD-9BFC-4F54-A0DB-90AFC9A0F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$7DBB0681-13C3-4EB4-A2CF-802AB65DF33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c227478d93e0b870e0c78c09c2776f3a08c57d","datavalue":{"value":{"entity-type":"item","numeric-id":438562,"id":"Q438562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$61226D7E-23FC-4E74-A306-BCE97C578A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$6B9A64FC-BFA7-4A80-BDB7-89B5F0940DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb7ce19da7a8c3d5223412ed1f311d14ff605c","datavalue":{"value":{"entity-type":"item","numeric-id":582891,"id":"Q582891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$F9BF8B37-31F7-4915-B9F6-A8F1C64FB928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$756C0D68-3353-4E1B-92BD-E867DD58EC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31297c8d5e4698c24303d4d0ce8ef9cae512bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":968529,"id":"Q968529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$0DCA5990-7185-4100-8E01-272FD040030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$C3A27887-3B4F-432A-9323-39DD0FBA084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f998500ec08ec228b08fd3b4b97605061115ce","datavalue":{"value":{"entity-type":"item","numeric-id":1183582,"id":"Q1183582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2119990$72858DD5-F794-4D74-86E3-A72196F5B5B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2119990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2119990"}}}}}