{"entities":{"Q3673071":{"pageid":5702977,"ns":120,"title":"Item:Q3673071","lastrevid":49981543,"modified":"2026-01-12T11:17:13Z","type":"item","id":"Q3673071","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827173"}},"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":"Q3673071$F0729E0D-E870-4F5B-8581-0A4DE96576BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09d33cee68660cab370531e511f63c8cf8acbe9d","datavalue":{"value":"0522.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$36A79AFE-B5C8-4A90-9874-27B8F06C8902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673071$7655C165-F4E2-4427-AB1A-3D6C3C9F417F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3673071$6963F242-AECE-4FA6-B04C-3DF10FA78818","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$C4BB08E1-D607-4CEE-8A32-3A7034BD1440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$FC9D53CD-691D-4CDC-A850-665E9F9D008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$134FC1F5-0D64-49F1-8F87-E29DF11C6A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$0A9E9891-8BB6-4933-ACF4-5E100A2EE4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$F264E34A-251C-4664-AEDA-C2AAAFC7B495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$F21053C2-79F1-40B0-BEA8-76B579BF4771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8da33268011baf979e5e94992a6ce16eb5fb90d","datavalue":{"value":"3827173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673071$7FFC3F19-0402-41AA-9F91-1896965C1EBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$A4ED487B-CACF-494E-9D91-91B749F93ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88fdfb313188c13c0ccea4942d53d2ad735bfc","datavalue":{"value":"equational deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$9D99422B-FC02-4714-93C8-508DBF35746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$11098025-EE85-4CC5-BD64-26065D96097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$E645DB88-8008-49F6-8291-3D22932CF60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$0E185C8C-401A-433D-8A24-4F784FAE3077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688264d772c59a381a1bb6b0f73efc2ab822f13b","datavalue":{"value":"critical pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$CD8EE748-AB5E-4E1B-9521-DF96EF9D56D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$4E6D6FB4-4B21-4B23-8EF5-23627B02A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$526D2D5E-DDBB-462E-AFC7-8C884B1DA479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673071$B8E57AA4-9ACB-445A-8933-AF37A573375F","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":"Q3673071$4E9F77AB-4190-43B1-A9C9-AFC93E83BDCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673071"}}}}}