{"entities":{"Q4003856":{"pageid":6033678,"ns":120,"title":"Item:Q4003856","lastrevid":55149802,"modified":"2026-02-04T03:56:00Z","type":"item","id":"Q4003856","labels":{"en":{"language":"en","value":"Categories and Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 53655"}},"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":"Q4003856$A094EB83-BB06-47DA-BAB4-4B07D90AC45A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0280a33241e4ea181cb5c64436aaac7a40a2e9b","datavalue":{"value":{"text":"Categories and Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4003856$21EBED67-1746-4973-8483-1A4C3646D1D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8259df8ab010103caceba4e38f6b3cc5a780f042","datavalue":{"value":"0789.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$8F019C89-F498-4F3D-B1BB-AD8DF683ADBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1e332146a649ef93ccb0ff249c8568020567df0","datavalue":{"value":"10.1017/CBO9780511608872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$110298A5-CE8B-4FAA-A9EE-12C96E523FBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4003856$45AF0DD6-3C3E-4709-B724-4A79594A8B47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c714806ba1c3df5e76d266db6b36b4b17c14d5dc","datavalue":{"value":"18-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$5F63B661-A0A2-4D08-8AC9-72FBEFFACAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$B15674DE-E1A5-4A34-9C88-CB0D5C61133E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$BD248A20-4AC8-4208-B534-95EBB7F7F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$32EDCF5B-4F9A-41FF-8FCE-A65DB81A67A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$61580ADD-341C-43F9-A13F-E48E4F53FDF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59825ff4a8ab1fb7e7618ab2e8ac5411a93443d6","datavalue":{"value":"53655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$50754453-4BAA-47BA-9093-B0B2CD9BCC18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e51072c2b1ad5d10e9f7c760def6103ee6c4b3df","datavalue":{"value":"distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$2B7886E1-5BE3-4873-A888-E9E4745B24A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$865214E1-79A9-4121-ABCC-CF7DFEEA15E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cc6d6f6a2a1aa99efcbad9cfe3b4be690c20df","datavalue":{"value":"functor categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$9D2B8828-78F1-413B-8E7A-80CF0B50D2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fca401ab37753c38b593b5ca5f5a889565c9ae1","datavalue":{"value":"regular grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$B4366205-681D-400E-8FF9-7EACAA9320DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$05A32DC3-FD9B-4990-8D8B-A5D73E100AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af0a67ceec622918cd3297d011aa481bc7839ca","datavalue":{"value":"free objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$4B1C3368-17BB-41F6-9580-CE15866A6890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5322df2ff9f235f81681e8e9975d4aa6f40500fa","datavalue":{"value":"functional specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$26598E57-FE3A-4B36-A76D-46CBC64BC0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$F798234F-5C49-4619-B80C-A5C048A21AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0f3e66d0c05c393bbc596d169abb55b93f3e0f1","datavalue":{"value":"Knuth-Bendix procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$3A37F01A-25FB-4BF7-99AF-D7F0ECE7E01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b48787a97671e0b3faf70c08067d9de05002b159","datavalue":{"value":"Todd-Coxeter procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003856$5FB29AE0-43CC-4480-99F4-DBA518BFA7BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7dc5d37687b308b97ba7a94b1562368be84edb","datavalue":{"value":{"entity-type":"item","numeric-id":633810,"id":"Q633810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4003856$9EEE577A-42BF-4AE6-8B12-1766E4D41348","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":"Q4003856$A53D8072-A957-4A0E-BEFF-FC776C274297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dfaff7f0a0841445ca04eb5161a33c3a31e7b8c","datavalue":{"value":"https://doi.org/10.1017/cbo9780511608872","type":"string"},"datatype":"url"},"type":"statement","id":"Q4003856$D5F06BE9-A229-4523-8483-008333512E0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c945aa963889240db465c3625924a0fc72db550","datavalue":{"value":"W4212824019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003856$DA905164-912E-473A-A18B-CBB8A7A3C99E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdde8605e46f9a484465b31bcc2e56b5b6d8d3b6","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4626d11bc337716ef5af88aefdf5fa8a8acf02","datavalue":{"value":{"amount":"+0.8191741704940796","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":"Q4003856$56139480-D969-4B41-8CEB-5CD162432F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbebfc05bef13a7542323c7936c96087ed6d6b2","datavalue":{"value":{"amount":"+0.7742154002189636","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":"Q4003856$4DB512DB-09F5-4F87-B59B-94EF2C8DE92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d67d79f33b9be7623bba7b44a00a7f37a2f811","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def490cd0aa8240af359ccb8ad065dc73c238b9a","datavalue":{"value":{"amount":"+0.7588117122650146","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":"Q4003856$DAD26E6A-4EFB-43C5-8C29-AB0DE61811B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ca28641704223a524a5e85c8e0ceffa7778692","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f23fc5fe5d8fc388534ca30feffcbb53b855edf8","datavalue":{"value":{"amount":"+0.7531644701957703","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":"Q4003856$451866DC-D096-4876-BADE-5A8B39D634E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4003856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4003856"}}}}}