{"entities":{"Q3527295":{"pageid":5557199,"ns":120,"title":"Item:Q3527295","lastrevid":50463908,"modified":"2026-01-14T03:01:02Z","type":"item","id":"Q3527295","labels":{"en":{"language":"en","value":"Structural Proof Theory as Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347559"}},"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":"Q3527295$67A8CDDD-AB9E-4E54-B948-C04ECD0F586C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"562ee042386be7ac61decd01452d1f08d9710b6d","datavalue":{"value":{"text":"Structural Proof Theory as Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527295$E6404207-5D2F-4D2D-BE45-27326D0E3C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74210f78462eb6bf389b1f7ba90e40f11a8edbbc","datavalue":{"value":"1151.03347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$8F25A225-6E2F-42D4-95E9-8789AF13EF7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aba89cad09370acd71fff87cb61f6000fd190a1c","datavalue":{"value":"10.1007/11805618_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$B116DDC0-E361-48E3-83F4-6E6601E28F40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527295$BDA9F637-FDBC-45A2-A7AB-2CC83ED180D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bd474bef98123684a1816c553e52e31ecf284e","datavalue":{"value":{"entity-type":"item","numeric-id":617633,"id":"Q617633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527295$883429A6-72C4-4BD3-8F6E-5A66BCB858DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4d4f10eafc7166d616956f86ea8b4213ac9879","datavalue":{"value":{"entity-type":"item","numeric-id":1960261,"id":"Q1960261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527295$05CEF854-5081-4D44-843F-12065D587CCB","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":"Q3527295$E5430CC3-6216-4B12-900B-4700681A6D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527295$E2651CA7-4256-4157-8C41-E0208F5FFF23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$BEF33F0D-0C95-430A-84A9-52A56AE94229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$97977A17-E26F-4C0B-AA59-6C4BACEC70CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$B80598F3-DA04-458B-B94E-FBB5E141F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$47D121EB-D7AC-4CEE-A870-779A7A450646","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a91a55cf6908be2e40b2dd0942b31968dcaf9d1","datavalue":{"value":"5347559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$0F5BAF66-9F5F-4E04-A8D7-7E52BDE53C11","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":"Q3527295$963956F5-745D-4315-A5A3-720191494FFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b7b8103f2540789fb10529a16b9f428942f893e","datavalue":{"value":"https://doi.org/10.1007/11805618_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527295$A48545EB-083F-4440-AE32-BF9BE703B58D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ba84d5b14f791ad39d6aaf89f661f154a84d1ff","datavalue":{"value":"W1715096597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527295$7CE626CC-386B-4239-A632-63100CD9C81E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2ce30c56fe90e419d4d52c0a9f5280bf898d86","datavalue":{"value":{"entity-type":"item","numeric-id":2946641,"id":"Q2946641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910683dda77b5add1a0676adde2ba53357df6795","datavalue":{"value":{"amount":"+0.801154375076294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527295$3C492E14-1C5E-4D59-9A0A-1927EE22BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e457941d3e82eb3cfb92ea5d5846f31931ff0b4a","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719eba26d6a81c489e0d54b358879f448df23200","datavalue":{"value":{"amount":"+0.7935048341751099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527295$110071A5-7C8C-47E3-BC2D-7FD28C02E4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1374bac7370fa0d3581501fec968a8eada2d7","datavalue":{"value":{"entity-type":"item","numeric-id":5425327,"id":"Q5425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ae50e8276ad1810061fe9a53b9e72c948bcc36","datavalue":{"value":{"amount":"+0.7837697863578796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527295$54D59304-FB5B-412B-BC2B-5147B2EE52A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4cf00e0a46005cf520658f507a5eb88a282dff","datavalue":{"value":{"amount":"+0.7684032917022705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527295$6702A3E4-5515-4432-9CC1-E2028E550010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957c00e6d110bfb073eb1c56e06367d0d4f3e2df","datavalue":{"value":{"entity-type":"item","numeric-id":4457465,"id":"Q4457465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7430368193cbbbbc45d508a7c502289da843fb","datavalue":{"value":{"amount":"+0.7670468688011169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3527295$4558394A-7391-44FC-AD3A-C948F4A5BC96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527295"}}}}}