{"entities":{"Q5703867":{"pageid":7733421,"ns":120,"title":"Item:Q5703867","lastrevid":39145564,"modified":"2024-12-19T05:31:39Z","type":"item","id":"Q5703867","labels":{"en":{"language":"en","value":"Term Rewriting and Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227936"}},"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":"Q5703867$451327BA-5E66-4E0A-8D03-8DC9DDCED2D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d5275ee96910f995b80c6a3a2692a06ecf29b96","datavalue":{"value":{"text":"Term Rewriting and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5703867$9B342889-3C6D-4D7F-9B03-CC171E7F6836","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea45907a4c1e3253b5ddb0a542cf0fba4c9808d8","datavalue":{"value":"1078.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$F34B5696-7AF1-479B-97B7-7A7D84BAF989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703867$00046155-98B8-48DE-BD92-7F5E39977353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703867$2BD1D8F6-881C-45EC-9869-67DCCC5DB4EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703867$03828F37-E768-4454-8034-B6BE595BDA68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59508cd451bab65a68ea04963062f54c961f9d5c","datavalue":{"value":{"time":"+2005-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":"Q5703867$9244E05C-4F56-45C3-9D63-D646A900D22F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$D2D6A3F3-8EEB-4447-B645-9D1839D570B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$443E4E58-903E-42A3-91FB-1E46E399FC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$DD4D4008-7B60-474B-980C-78A141047260","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25eb253edee94a647a85b41ed19a1ce252efaccf","datavalue":{"value":"2227936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$AA3FD7E3-A230-4B49-97DC-0C30B3DE8637","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703867$C04F92FD-C2F3-41B7-BA6B-DBFCEF413501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703867$6E3D1030-535B-4B84-BD9E-A405F5E48D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38750376c02044a70b571214dfb9d24498594ef8","datavalue":{"value":"cut elimination normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703867$2A1511F6-83EB-4605-8481-9887B8FE3943","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":"Q5703867$48AEFC33-48AE-40B8-A728-B4E7B99D636C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8484836b42ddf47afb36826d8ed276eddef077f","datavalue":{"value":"https://doi.org/10.1007/b135673","type":"string"},"datatype":"url"},"type":"statement","id":"Q5703867$DAB51803-396B-4F24-A975-B353A94CDFE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f67cf882cce3e3cb710c4a47e92b28601a90d7db","datavalue":{"value":"W2504734884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$204C55EA-17D5-401B-87D4-EA296AF8D49D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f33214db444ca710223a98465dfadd3cf9045ba9","datavalue":{"value":"10.1007/B135673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703867$FE925E7C-E8B7-4844-B8A4-585A2014CD93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703867"}}}}}