{"entities":{"Q4924527":{"pageid":6954109,"ns":120,"title":"Item:Q4924527","lastrevid":51732728,"modified":"2026-01-19T18:01:34Z","type":"item","id":"Q4924527","labels":{"en":{"language":"en","value":"Intersection types and computational rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171442"}},"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":"Q4924527$D01F995C-2009-44C7-AB1A-598DF123DA13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"187eebf4a1acd38304a2551ccb2d289abb7ec359","datavalue":{"value":{"text":"Intersection Types and Computational Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924527$3F692A25-494C-45AD-91B3-087E04F77F4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2b0754ecc61dd82df38d003f42173e8ed89ba84","datavalue":{"value":"1264.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924527$1D80D6CA-669B-4B29-B698-988D64A072AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbfbb59a3f99271e4187d32cc89de6e60ff6e746","datavalue":{"value":"10.1016/S1571-0661(04)80843-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924527$5286400B-2EA7-4978-B6B5-035226F74EEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ec3c43a787f0ce2af2cba920d22bbfe00fbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":673141,"id":"Q673141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$01AA5A98-1B63-4A5B-8FF7-59270289FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$4F6FE4F9-B94E-4BF0-8F9B-0C0EE96FE221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$978C62E1-F655-4334-9BA5-7F5A97085294","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":"Q4924527$19842533-49E1-4EA7-A5EA-B5B9D8879FF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-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":"Q4924527$B476C2AD-3D0B-4F98-9868-1506E5A5252F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924527$EAF57F26-A25A-4814-AE1D-B10F6B9BAE28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3a20080b96180d23de5540b9fd8e2b37fdf917f","datavalue":{"value":"6171442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924527$724C0E71-1612-4F6D-8A03-D9E154E92445","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":"Q4924527$4FD7B334-BD66-4E44-91CE-F4AFBCA84E13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$1FAD6ABE-8A82-48EC-9358-50987CF81BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$0CC025BB-CD4A-468C-B4F6-0E20C0CBAD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$F675302A-3585-43DA-BDF5-C96A3BEC416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46151eb926d9eef47452ca9479a7dc6ec3fea002","datavalue":{"value":{"entity-type":"item","numeric-id":4448355,"id":"Q4448355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$38E26696-E85F-40D4-B7C6-AF2B471BB6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f87bac281d58df2ad64105f71ee124fd1b2d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2842831,"id":"Q2842831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$4CAEDA5C-816D-48E4-A6EF-DE4F2738C7B1","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":"Q4924527$4FD6D148-56F1-491D-9B1B-ADB6F5B689F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$B6036F36-D01B-4C6C-BCBA-E7D6C000A2BF","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":"Q4924527$63AE17B9-2815-40AE-8656-046B1BD60DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$59C1FE36-20EC-41EE-856B-B9C5B95347A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$6D3AACC4-EEAB-45EF-8F73-DE83A0DDEF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$16DEAACD-3BE0-4436-BF4B-5297774CAAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88a04e81998b3880a0519edf31d5fa80ce5997d","datavalue":{"value":{"entity-type":"item","numeric-id":4435466,"id":"Q4435466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$40EC585D-295C-4086-96D4-5B1919C2A87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7a160d2b805fed64a738ddb0c417bb269371e","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$48B66B88-5E83-4A22-9247-CA6343910A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$9E8550BC-ED99-4751-AC36-5272E97D136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$364974DC-39FD-4215-981D-F04580F3F9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$64970BB0-1B1A-490A-814D-81D1AD577D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f3675aa47b918434ec5f9640beb8a18a4bf26a","datavalue":{"value":{"entity-type":"item","numeric-id":4260372,"id":"Q4260372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$F5E1DDA3-221C-42BE-8A19-9F75FE39BC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23b63fe58f695a6fd7133403314fe309a41a282","datavalue":{"value":{"entity-type":"item","numeric-id":1275628,"id":"Q1275628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$21043964-ECD0-4702-BC61-346594C0DF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$11AB0D61-0BF7-4237-B795-E7CD9B688870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67013d816ea198eca113bfbb3c6f6ab575f53576","datavalue":{"value":{"entity-type":"item","numeric-id":4259970,"id":"Q4259970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$09841E40-5D9F-41C2-B4A0-2D872358D48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$BDB9AB32-B033-484B-8475-C07DCD966FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e4d1614adf5f67aa0180da2c8c38ab5fb9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1314361,"id":"Q1314361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$5E561387-21B4-4F39-BEB5-9E8D38EE7C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924527$479B7FFB-4274-427D-8D56-3EC6AF140BBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5e9d47364bf7d1b5c7171868048c9e728ad3eec","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80843-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4924527$0576C44E-A90C-458F-AB4D-B89E1E955682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dc865b7f3937587def1eaec3dd04b3a471f5765","datavalue":{"value":"W2081367192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924527$06C644B7-3AAC-4E86-A98A-32390C634AEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a24d66b790e8bfe1c8aa1b1fb29d83d11908933","datavalue":{"value":{"entity-type":"item","numeric-id":2369008,"id":"Q2369008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b4b229a1b7f3ff45797b23b4c60046bdbea053","datavalue":{"value":{"amount":"+0.8942041397094727","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":"Q4924527$7756B7BC-5C15-47F2-AB1C-25D554C6C58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af7f9b1051893633177dd3c414fea534e27a94","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9923005c543b7e3e4d9151ed0024828ba67bbb60","datavalue":{"value":{"amount":"+0.7830815315246582","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":"Q4924527$7BA3C9D8-CE51-47A2-8541-9686DB047DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baee5609a1347c457c327f8b17093e1e6531237","datavalue":{"value":{"entity-type":"item","numeric-id":2210507,"id":"Q2210507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7159f25de735a0914cab3ed0e011c8ebf3d04466","datavalue":{"value":{"amount":"+0.7830811738967896","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":"Q4924527$E36C0C6B-379F-4C33-B875-A93C000CCBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73946db163c480d268d3d9363a0e42dcec5078b3","datavalue":{"value":{"entity-type":"item","numeric-id":4532620,"id":"Q4532620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9af8acba46cdfa702db5e5279d034272841e42d","datavalue":{"value":{"amount":"+0.7817838191986084","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":"Q4924527$A3C15985-AAF1-49BD-BB60-C7F26FFA3E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42cb534fb8531c56531c4f91c9dba294869cc18","datavalue":{"value":{"entity-type":"item","numeric-id":4405687,"id":"Q4405687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e2e67716646aab3fc4decabda58c99b77a71fb","datavalue":{"value":{"amount":"+0.7777482271194458","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":"Q4924527$1F0BBE55-1D70-435A-9E5C-C97C3BE8D862","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924527"}}}}}