{"entities":{"Q5158368":{"pageid":7187939,"ns":120,"title":"Item:Q5158368","lastrevid":57186441,"modified":"2026-03-27T10:15:21Z","type":"item","id":"Q5158368","labels":{"en":{"language":"en","value":"Steps and traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7412834"}},"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":"Q5158368$9F9ABB03-1B77-44C8-8FC5-C0275DB7D59A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efc311b52c3877a4c31c8f66f990ecd36ea365c2","datavalue":{"value":{"text":"Steps and traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158368$537C405B-1919-4E5D-98C8-68387204EF71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158368$429C9B2C-8000-4F46-AE27-DA9734384739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158368$1499DCAB-39BF-4FCD-A1EE-E32C5B1560BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158368$3E039EEC-8984-49A8-A1A7-D8586EBBADA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63ea68637f5cfe48b0d0d77e5f0fa82323c89d78","datavalue":{"value":{"time":"+2021-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5158368$0590403A-03FA-418B-9F29-A80A9D93AC8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158368$10F7F848-883E-4C21-9FB4-37DC2BD95612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158368$EBE457E8-9D29-4D18-8943-43F54C932506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bbc383b2765a6a051e2fb8c8cebbc57f7ad1dfa","datavalue":{"value":"7412834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158368$15382349-C2A1-41AA-95C4-E1B8E795BAA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158368$4F8D9F15-B344-492E-8B9D-525405F7759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158368$FFCCE2E2-7212-4022-97AB-0F99C98AB407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7f6eac0fda48a7e57ff27a59d6671be0eca1db","datavalue":{"value":"corecursive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158368$9FF19B73-59C3-4238-BD59-D8211D2A8F6F","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":"Q5158368$8539788C-AC59-48A5-9A38-C7FB771E5ABC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f06503a44ba7bc1c31b6378d0be534ccec67f71f","datavalue":{"value":"https://doi.org/10.1093/logcom/exab050","type":"string"},"datatype":"url"},"type":"statement","id":"Q5158368$E069E970-2FAC-4615-88B6-AE2CAAD53696","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfa722e48561091de199243f3c86b0461dcab93f","datavalue":{"value":"W4213312030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158368$4709185D-0DFD-47AD-B982-0320BE54C16F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94cdcb558f4782293ea3f9c1855bdb8953bb5d80","datavalue":{"value":"10.1093/LOGCOM/EXAB050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158368$68E20633-6169-4F95-A675-5B59BC0579B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158368$F37E5CB5-59D9-4CAC-9659-349B62A9F21C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeb15e9dc756a948d33b5c79aec9efb329cf92a","datavalue":{"value":{"entity-type":"item","numeric-id":1798791,"id":"Q1798791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$7B047243-7B13-4D81-B99B-6F637160E67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5632fbac1f9363c32e03f75ea31229803d211fa","datavalue":{"value":{"entity-type":"item","numeric-id":5963403,"id":"Q5963403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7b3a22ad861e8bf3a9a2b66d07d9b5953a34eb","datavalue":{"value":{"amount":"+0.96457744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$055F78E0-D7D5-4EF4-B069-A8D7BA4F0093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eee19b206629782a5b7e9f1d8d8372c8000dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4621224,"id":"Q4621224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410cb8513e04d965ea32e1d791adb5f7e877accc","datavalue":{"value":{"amount":"+0.836741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$A04B3429-7D2C-4935-A77C-D81ECB9A14C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b616f909204c0476b21bb975e5c08a71b631440","datavalue":{"value":{"entity-type":"item","numeric-id":5283356,"id":"Q5283356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d204039b4b9da81772b6aa043c8630dffde6143","datavalue":{"value":{"amount":"+0.78614897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$F0B0AB79-2B90-4049-8D2D-7FE8348B5568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fa64ecb217240e6c26e8264daa371d90c8587c","datavalue":{"value":{"entity-type":"item","numeric-id":2185723,"id":"Q2185723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a96021f32ecf49158a9c3c5249471a5817274f","datavalue":{"value":{"amount":"+0.7861489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$30D62C7E-1973-4102-82F3-B70BC2112809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7d651e78b479c264b70940fff39c3c9006df33","datavalue":{"value":{"entity-type":"item","numeric-id":3203106,"id":"Q3203106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0df332132004d1bd70ea043a5930142614f6df8","datavalue":{"value":{"amount":"+0.78148687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$6536EA59-5E55-4A60-8C5B-01AD17686860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d651062bdbc78b897a86688ec2efe98b4f69bf","datavalue":{"value":{"entity-type":"item","numeric-id":911785,"id":"Q911785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bf6a3057743e0d659aaf3d6598475d746c99aa","datavalue":{"value":{"amount":"+0.7739235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5158368$7E5C596A-F5A3-47C5-9E81-D28E229853A0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158368$5271CC3A-A333-4B96-A568-85EA163D4322","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5158368","badges":[]}}}}}