{"entities":{"Q7016773":{"pageid":21603558,"ns":120,"title":"Item:Q7016773","lastrevid":77683634,"modified":"2026-05-06T09:49:56Z","type":"item","id":"Q7016773","labels":{"en":{"language":"en","value":"Algebraic presentations of type dependency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8005246"}},"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":"Q7016773$AA7E0FFE-E497-4181-BF20-7D7B87A8D3DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5140e00ddf6f85fed7c87245053590410e9da49","datavalue":{"value":{"text":"Algebraic presentations of type dependency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7016773$4FE3A3D1-17DC-4F23-856C-96CBAD057180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5f82ac97d699d478f192f1afa3f891e4e860885","datavalue":{"value":"10.46298/LMCS-21(1:14)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016773$7452C528-68D4-4FBF-914B-EAF6656C84A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$B4EF758B-7FFB-4725-A244-17991FBACC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ef3cacf4fed2a5c4356c079fc095ccba2ca484","datavalue":{"value":{"entity-type":"item","numeric-id":1708878,"id":"Q1708878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$77D97441-7A3D-478A-BE2C-9901B0DBCC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9058d92f2f314c3123d77c015e024f1830dc9f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2133174,"id":"Q2133174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$CD66AF4C-A8CF-4C21-A0E2-30634E03053E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0df7e8ab50acf71103a626013759dc1694180c","datavalue":{"value":{"entity-type":"item","numeric-id":2229966,"id":"Q2229966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$B4BC75C1-D9E5-4987-9998-289C8481CA6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$C0E6AE85-93C7-4073-9609-D52BEF7B3816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67e4ccb3c8e393f9241485303bf05c4583bf2cba","datavalue":{"value":{"time":"+2025-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7016773$51CB8A6A-503B-4242-8040-281D380F5EEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016773$16661BEB-F3DF-4653-B10A-3AC3D8A80FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016773$092DE730-209B-4F6B-AA62-FE56491314F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"782ad48a2b7e71d0f7270cc077f25d2cbe87314c","datavalue":{"value":"8005246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7016773$C531E6EB-25CE-4F1C-80F3-26966F6B234C","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":"Q7016773$C9F57AF5-6328-47D7-96BF-940C9A760BF9","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":"Q7016773$8741C850-7E80-45C8-9081-8F1E7E6310D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"926dc31a69e7b73242f3c2c4696b6a9565c57312","datavalue":{"value":{"entity-type":"item","numeric-id":7033953,"id":"Q7033953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$FDCA94AE-795A-4FAE-9725-9C825984C48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee2ab5e8b71d97640f6c3f81c09a9b52398f62e","datavalue":{"value":{"entity-type":"item","numeric-id":4683858,"id":"Q4683858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$37B4CFBC-CC77-4BE0-8A44-B758D90A1E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$DCB56FC5-E819-4FDC-84A0-D32F871B2815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$5881ADE1-E0A5-4900-A759-6B6E3EF53DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$A9070AC3-AAB7-440D-A029-E6C0583D66B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08829988f9cfc014ac04215136847400df134492","datavalue":{"value":{"entity-type":"item","numeric-id":4959711,"id":"Q4959711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$940E2699-6E84-448A-829F-CC416B2216E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c75bc531522f8dc5e04f91c129c2770bb56049","datavalue":{"value":{"entity-type":"item","numeric-id":2254771,"id":"Q2254771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$EC35B28B-006E-44BF-BB83-C344E0F2A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$B0D29426-9608-4D86-A347-E79A438072BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$5B62B37F-C086-453B-B384-FD7F6847F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$0F8F4D8E-7CD7-477A-83F9-26FD0A642DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285bbb439935656523d0bc5cf15c990052caaeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5108537,"id":"Q5108537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$7681A50E-A39A-464B-8130-4E52FA4E2A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$009DF454-A488-4823-870A-26DEED19DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$0D0D59EA-5539-48DC-A93F-CDE442865D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$E6ADBC7D-74EE-4866-B574-6456BD514E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca2cb867ab1553a559727464dc524aa0afdec68","datavalue":{"value":{"entity-type":"item","numeric-id":3456330,"id":"Q3456330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$2B03B58B-FD9E-46FD-A103-C81418C46D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4b32a8b22bb480ad3bef45e56300bbe474a11b","datavalue":{"value":{"entity-type":"item","numeric-id":2953831,"id":"Q2953831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$B2EEA14B-16D9-446D-AC20-1F4723352167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cc1c219f5741890f6446d2fb52d021dd4b4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2990151,"id":"Q2990151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$294A144A-1FD3-44A9-A405-F85DEF624F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d796e79a2b7a36b18df7c7ac75d995c9609f65","datavalue":{"value":{"entity-type":"item","numeric-id":2963470,"id":"Q2963470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$A7174328-90D2-445D-AB6D-7C81E05D268F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20f29d0b143bba56fe3edc44e52b85f42068da6","datavalue":{"value":{"entity-type":"item","numeric-id":2963471,"id":"Q2963471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$6AC04277-F505-4D5C-82CE-17571FFCCC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e485ca54022999efaa9af97b1c2145ea66763b","datavalue":{"value":{"entity-type":"item","numeric-id":2689172,"id":"Q2689172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$38A2D1B4-366C-4E6A-AB44-D72CD7E5F953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c583ab14a43c75076c70ad9c9ea6d7b936f592da","datavalue":{"value":{"entity-type":"item","numeric-id":6139425,"id":"Q6139425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7016773$5269B281-2672-4E6E-9964-281FA49214EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic presentations of type dependency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_presentations_of_type_dependency"}}}}}