{"entities":{"Q4916178":{"pageid":6945759,"ns":120,"title":"Item:Q4916178","lastrevid":51697925,"modified":"2026-01-19T13:13:56Z","type":"item","id":"Q4916178","labels":{"en":{"language":"en","value":"Hyperformulae, parallel deductions and intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155986"}},"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":"Q4916178$3C6D3398-3D81-4012-AD80-59C415CE1161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4669a459a653d3fb26495898a3ad218278b56676","datavalue":{"value":{"text":"Hyperformulae, Parallel Deductions and Intersection Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916178$53DD3A44-86FF-428A-BD7A-6559200F0B97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6cda79ba675acb654e4804e4d3b28fe7673932","datavalue":{"value":"1261.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916178$BB30A67B-238C-49DD-A4F1-2D94F48DD6DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17ef34eb464d23861c92ccc7a3749e0681c4cecb","datavalue":{"value":"10.1016/S1571-0661(04)00172-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916178$8A7539B6-4712-4549-A226-B5D51CA79D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c671809988166a64ac0cee5723bd93db9a19b59","datavalue":{"value":{"entity-type":"item","numeric-id":4916177,"id":"Q4916177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$AAAF873B-C58C-46B4-BB44-B54A9B13896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$726EE7AE-6166-470D-9C28-A36122737341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67add0efd7322c1f14c581399aafbcf879da2df6","datavalue":{"value":{"entity-type":"item","numeric-id":553898,"id":"Q553898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$AD4B1002-74C7-411D-9EFF-C9598B06CB8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$D5D69C24-E5CB-4C60-B84F-6A076F8A7011","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916178$7AD4A351-1CC6-400E-9605-542D3796FA37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916178$CC341013-C68B-4C2E-AD6B-FE0E9425A001","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d18b14a09e6dc67f6ba7736f54c58f99ebe6f239","datavalue":{"value":"6155986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916178$0D16A8DF-F630-491D-B1C4-2D49CD9837E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$FE98E73E-E17D-4CB4-B521-5AFC773A8AD1","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":"Q4916178$142B39C1-8E1A-4367-9DA5-7CCB182762D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96bf1dd0754ea0f6cd3032e48653719d92d3b7e4","datavalue":{"value":"Q124439142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916178$4A06EE97-782C-4E24-8458-056E03ED0233","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$553C828A-872C-48AD-872C-4C323A6BA812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$23EAC479-BA95-49EF-9AD4-0C4A3225CE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$633143D2-5D77-474A-8237-C3EC1C2C9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf8cee824c9a4fda7f420caf89018796ca96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3889024,"id":"Q3889024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$737B7FC5-0DE5-42BE-B52A-6B2FB7A0ED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$D83D785F-0B3E-460E-90AA-CFF409DE649C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$AD248EC9-8236-40BB-98E0-C6AC38483C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$2E77C09B-EB44-4833-B745-5311523D7847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$B8711006-A4BF-46D4-A192-60A02E745937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2c30f25ec3cfab62eb3585cc72cd5d0d7469b4","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916178$CB935BB3-35F1-46CD-A41A-9F012EF84BCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f87527b3e57d6b0fa58f894fb8c8a269a7bb4e","datavalue":{"value":{"amount":"+0.8121004104614258","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":"Q4916178$3A42CE78-F1F9-4089-AF71-21D28BE9DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcf329f5684b3ff495be129eed4fab6a8f2699","datavalue":{"value":{"entity-type":"item","numeric-id":930870,"id":"Q930870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca2bb168cb7b581f926798ca76c211dddb85f0","datavalue":{"value":{"amount":"+0.8019916415214539","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":"Q4916178$74413F90-40C9-48AB-B478-E5D2C6076FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d38d28c46ff1302439489f07643c13a8784af29","datavalue":{"value":{"entity-type":"item","numeric-id":4964689,"id":"Q4964689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c958d8df4ff67329933f4de2daff4303d1b1be7","datavalue":{"value":{"amount":"+0.8008986711502075","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":"Q4916178$56056531-23CB-4A50-8ABC-15B67075715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372bf5f7d2f966d1f0f5fb0ca388974f67e9c157","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8155ecbc67fd07671f716c49f2895cb37d79ae8e","datavalue":{"value":{"amount":"+0.7976499795913696","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":"Q4916178$F451CE32-12CE-422E-AFA6-3403B9F2C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c280a3664160b535d50379e5fd853f6167f1952","datavalue":{"value":{"amount":"+0.7935448884963989","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":"Q4916178$3A91A669-68B0-413E-A0A6-767F63848C66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916178"}}}}}