{"entities":{"Q672048":{"pageid":673897,"ns":120,"title":"Item:Q672048","lastrevid":63452484,"modified":"2026-04-11T13:15:49Z","type":"item","id":"Q672048","labels":{"en":{"language":"en","value":"Intersection type assignment systems with higher-order algebraic rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984750"}},"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":"Q672048$072BFC8B-8AF0-496E-8E82-A332E155DDC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0c9d5bda60a869b8e6137e120815827588650e2","datavalue":{"value":{"text":"Intersection type assignment systems with higher-order algebraic rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672048$10BC8908-7619-4B81-970D-1B66A379DE70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45b9e8283d298923c5c99bf5791538d4293cab41","datavalue":{"value":"0874.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$134E4BCC-2F53-4FF1-8EF8-256E31EB061C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"717893adb94aaffd65d895c3f87d8e4cabf87504","datavalue":{"value":"10.1016/S0304-3975(96)80706-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$E28628B3-32B6-417D-A1E3-1199FB4091F6","rank":"normal"}],"P16":[{"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":"Q672048$347B1079-284B-4BE6-B3C8-55CD68AB1098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$781253F6-B8CD-4297-A750-3357321C5310","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$0101A2D6-06FB-4E3F-8458-304741CB744C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672048$4C6923AC-93D0-480B-ABC3-3F5E27D6F9F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$E78CDEAF-3EFF-4674-8F2E-9658F5134840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$69431DD9-414D-4CB7-AF4B-45CB89E8154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$31521F32-593C-441D-889B-E1D918CE5A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"175da1404d9e182f76d76b1f18e8a23f2dd601dc","datavalue":{"value":"984750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$2FED68B1-1F67-46E0-951C-28422AE486B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bd1e8c2a5062efcdc7f7ac881f3d9ee243fbb29","datavalue":{"value":"extensions of \\(\\lambda\\)-calculi with algebraic rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q672048$43F18241-031F-405D-A952-AB9D4A5A8FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q672048$18150313-CC52-435F-8675-F5030714C6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q672048$7085F336-F5D9-4473-8A29-08A53FE0AC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q672048$84172562-871F-472B-97AA-F4A802BB9308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q672048$95362613-107F-4742-A440-E3867BA71576","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":"Q672048$E252CAE4-49A9-4A15-8FF1-42F8100280BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf7e8dab029071599121c5b71445cd7ceacea28","datavalue":{"value":{"entity-type":"item","numeric-id":930869,"id":"Q930869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$A513AD5D-40E2-4EC0-A71C-65741B2FF188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2164d9f560fc5705ed93dc8247e6a73994bf8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":4281463,"id":"Q4281463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$93D394B6-5D4B-43CE-916C-0957960B9B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652676950bbd486cb26332dcaeac57930e0fc6e","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$556BDA31-2AC1-48C7-B64B-7DA48F0AD8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3bd3ba10b0a8db4c435a1f311674675f6385e0","datavalue":{"value":{"entity-type":"item","numeric-id":4234771,"id":"Q4234771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$6A4BC2AB-6762-4517-A895-BD903A9F7C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$37306328-97C3-42B7-849F-3E9528A8852E","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":"Q672048$1FB79F2E-7A0F-4982-A89A-1ADD0D4314FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$9FD11135-DADB-4E3D-8614-91233AF17B8F","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":"Q672048$70A81664-28BD-4AE1-94DA-883C6D2AA97F","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":"Q672048$ED1BFB92-D07A-4A4F-8813-322A797B2C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$4C1AA225-57BA-40EF-A71E-CE287BB0A89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$6D3FFAEC-F10B-44E0-9C37-BBEA22937E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$1A2BF040-A2BF-4C91-BA1F-75AD2830285B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$9D90E81E-43C6-4106-9EF4-76DE38EF4867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$F424E8C5-5624-424D-BC07-B79A30333B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$1D5B1170-EF75-4BC0-9D31-5D45C8F14427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$E53ED372-005D-40D1-BAD3-73F436819350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$3B9EBB24-8D82-41F2-BCBF-4DF0E4A54BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$B0D37138-761E-41F2-9424-EA5766E1646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$DDED79D9-1F7A-4974-80CD-A7B4516E425F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$D5AF84C1-203A-447D-B283-E304386369D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672048$DB18040C-F7E9-4034-AC6E-79E4A6F6AE6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65f6ac2223ff96e90d82e54866037ced779d508d","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80706-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q672048$6CB598BA-B2DE-4B39-8961-DD16D9B130F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a553b112bf08ffc6ba22b52725c3daf216cfa153","datavalue":{"value":"W4234327515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672048$0EE92EAB-40B2-4AD8-A4B0-F95DC1AF1559","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc59e8d4e22d494359429c8be6dbbd3897119e92","datavalue":{"value":{"entity-type":"item","numeric-id":4281465,"id":"Q4281465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab14ce3279e3646ef447b3bfcddd1a5baa9e763","datavalue":{"value":{"amount":"+0.9110000729560852","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":"Q672048$04120F3E-0D4E-4028-8F8D-8EB7F3BB2506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b230c0744f5b19d0bcd5fd5fcaab9057fe478","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec850436eb702ab7e77f638880091d093f80c9e","datavalue":{"value":{"amount":"+0.8173894882202148","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":"Q672048$FA651376-FB40-4848-BE08-E237975DD050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464e10df6c80f52578649ef7f839fda7d84fb925","datavalue":{"value":{"entity-type":"item","numeric-id":2766797,"id":"Q2766797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f174e4e8293484392cd0d2a395b64d919e9bb5","datavalue":{"value":{"amount":"+0.7972172498703003","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":"Q672048$BE8307AF-3A67-43AE-80EA-0890E116723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5917901abbed37f2e12431e114590bc8df00e3","datavalue":{"value":{"entity-type":"item","numeric-id":4281463,"id":"Q4281463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df63563599a3395ffd005f51084d7101f42bd938","datavalue":{"value":{"amount":"+0.7929226756095886","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":"Q672048$2AF8696A-F057-4FE2-B200-F9359FC6D6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a514f487db152c1565a61912b39cda2c0a406d","datavalue":{"value":{"entity-type":"item","numeric-id":4880143,"id":"Q4880143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401851969f9bbc6f344776ee4582941213515446","datavalue":{"value":{"amount":"+0.7929224371910095","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":"Q672048$AC9C7760-DC43-4F22-92F2-5CC21BD5021B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection type assignment systems with higher-order algebraic rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_type_assignment_systems_with_higher-order_algebraic_rewriting"}}}}}