{"entities":{"Q4933274":{"pageid":6962856,"ns":120,"title":"Item:Q4933274","lastrevid":51101690,"modified":"2026-01-16T16:30:46Z","type":"item","id":"Q4933274","labels":{"en":{"language":"en","value":"Rewriting, inference, and proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798867"}},"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":"Q4933274$17878635-1850-434D-8F8A-C029DD8D4DEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8f4c0237901d678807c7d46490ccb52a038b306","datavalue":{"value":{"text":"Rewriting, Inference, and Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933274$2BBE0E97-4895-4631-A53D-9B98B83D9287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fe161f67992f19a351cc7094074a9f51aac0a59","datavalue":{"value":"1306.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$F140A47D-FEF4-4B20-AB18-DF13C8F0E1B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7025af25622d5858b317efa882f7d0be8b7be3ba","datavalue":{"value":"10.1007/978-3-642-16310-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$70F78E24-B9D3-4152-9C5D-3358D5D9CE26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$16C08AF7-C1C6-4206-9EEE-6486DD3B166D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$1AA98102-FE08-4B60-B108-340FDA7DF0B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933274$A587A126-1809-43F5-B70F-ADCE03301137","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$1EA99A02-B24B-477D-A219-74B3888C2ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$146190BB-1463-485F-9522-31F497A2EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$BB7F666A-C371-4925-B9FF-D12B06A7BA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$2670A1D5-B12D-41FF-BA7D-E65A2486AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$7A2FC1E2-E40A-4868-ABB4-FAB11866C5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$C49705E8-5BE1-4172-84E0-4A6AE4811B0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9767c2e63c1620d89cf41537527a5f94f389a35","datavalue":{"value":"5798867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$811CBB64-838D-40BA-BB5E-46348FA3716F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$1A20611D-4D0F-4B15-91D6-A14AC2C8B528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$B509F783-46C4-4F24-8FDB-D473ABCF4E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$C5625B1D-6DEB-4119-84F6-95650CA0F0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$868448C7-ABAB-46BC-B4BE-62AF1A15A277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$588D33B1-6C0C-4B1E-8451-A28EAAF96E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$2500D19E-DC0F-48AA-85CA-C7C86053D1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$E5C90A96-7BEF-4801-8DF5-38F2AD112633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$FFBB513E-4DB0-49A3-B88C-F9855BE508C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$A21A4323-FDDE-4ED3-A727-A719EDCA4B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933274$9583A102-A164-4CD2-90DD-4E9D072003FD","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":"Q4933274$1FAB4F07-5DB7-45A6-A6A5-BC80661D850C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eb211f9762e75a1d7497bf15dd6b3cb72be872f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16310-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933274$8C28C622-686E-4D44-9987-34BAEE4DC006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91bb6b38b6ceef5279521600f011f34b357674ef","datavalue":{"value":"W1512508612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933274$B2F729C2-182E-434F-AD1A-9327A9F29EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeee46e504a55acd7bccfff46c1219fa96e652","datavalue":{"value":{"entity-type":"item","numeric-id":4842538,"id":"Q4842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9c26edf18449a752031adcc4facea4f0e1e253","datavalue":{"value":{"amount":"+0.7499967813491821","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":"Q4933274$CABA3103-6DF3-48E1-A110-982106A3C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c08bb19429ca1f2e03a3dec58bd7828cb204e4","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac00d644acc8602cc9a93246fb5f00d7ac18832","datavalue":{"value":{"amount":"+0.7394334077835083","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":"Q4933274$F0C02A2B-B673-45F4-ADB8-C242D65FE1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df9ad27cdee70d07b6ac3a133b5637ee50502ad","datavalue":{"value":{"entity-type":"item","numeric-id":2778866,"id":"Q2778866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4450494ce4b67d8bbdf3130722153db2c1080c2","datavalue":{"value":{"amount":"+0.7328824996948242","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":"Q4933274$A17AAFC3-DB82-404C-9780-98132DD7831C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b61a76a8586a1be5c4288619972183cfd8385b","datavalue":{"value":{"amount":"+0.7319502234458923","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":"Q4933274$BB8DDC02-F710-4641-97F1-2A3FE6ECF091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e3c2d543978139a17b41522a1c9358b7bfeba0","datavalue":{"value":{"amount":"+0.7313105463981628","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":"Q4933274$8ADD8BA6-02AA-4839-99EA-0826B6D44EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933274"}}}}}