{"entities":{"Q1201348":{"pageid":1212097,"ns":120,"title":"Item:Q1201348","lastrevid":66470943,"modified":"2026-04-12T10:17:27Z","type":"item","id":"Q1201348","labels":{"en":{"language":"en","value":"Unification under a mixed prefix"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 97803"}},"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":"Q1201348$4E2EEBF9-62A9-41E7-B317-F07A89D35E78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c7dbc391300c3982c08c1fdeddb19d4cbaf6d67","datavalue":{"value":{"text":"Unification under a mixed prefix","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201348$3C9FF29A-702F-4A76-A6BC-CEB05AC50B0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e7667bd08bce68f395de02d90ac536565056fca","datavalue":{"value":"0768.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$C452390F-0513-4837-AD0F-79E80F13267F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e3c8734601dc7969c69db8884251994559b3578","datavalue":{"value":"10.1016/0747-7171(92)90011-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$87BA048A-8817-4A31-AA87-07871066A98E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$D344F176-F683-44F3-9810-DA9B3AC5BEF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$F741DD6A-5054-41F5-A538-4BE30DC79DB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1201348$9C8CC407-3AFD-4C23-ABCF-5EC02672365C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$C40DBF82-6C22-4420-B2A2-0E5EB536431C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$6F14F4A3-0FFE-47DD-BF8C-49E08435BF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$3C706C58-6FD9-47DA-B034-58CFC4E379E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d618c777b4bd5f59dccac2854a2c725137a5e32","datavalue":{"value":"97803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$00B56028-1E71-47D8-92E7-9897852BE4AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc00435636a1988c1af9c0ba5db76f25d30ecc5","datavalue":{"value":"conjunctions of equations between simply typed \\(\\lambda\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$BA984968-199E-4C01-9671-5DE5CEAADFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e138a1670dd04bbc9b0b004a6a70f93eb7587498","datavalue":{"value":"quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$1A41C6D9-B759-4B37-91DF-9AD8985259E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$06687130-D0E8-41A0-8C5D-9DAF2B88B2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918d6b9ba7e5876c469c31d5fe5126f639a95704","datavalue":{"value":"raising","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$C89DFBD8-28B4-4802-B13A-5B539418B1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e55b69f310df9c91cddd021a14ca3571445475","datavalue":{"value":"mixed prefix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$F88AD48A-EBBC-43A2-B80C-DA6071C5BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$CD78CDF8-411A-4F52-9995-CFB84FF8BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669437738e3807fb4c5d20d709dda3199ad7db67","datavalue":{"value":"unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201348$3410CD96-1D00-458A-8FB9-78EAF173D06F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$619C4131-FDA1-45B4-A2C3-ECAFEDAF0F72","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":"Q1201348$9974A8DF-755D-4507-98A2-D6E81901428C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$9BC27B4F-74BB-44B7-8A31-9E9976449368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$2E78B09E-CBF5-4F7C-B10F-BAC41A0D44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$13297715-0D07-46FD-9084-97399D93C43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$C34090B1-9A83-4274-92C3-80C490EF2014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c25358477122b4737549d52e354b2ddfa62bb","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$D75FD0AF-DCD0-4185-8F75-67D511E9D977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$43CA41DA-7D09-4A42-B243-D71E77840EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$6D4EE94D-B904-45D4-A3F2-730412D7D81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$51C25F9A-3B21-41CC-B7C5-6A3746A75F7A","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":"Q1201348$EA8BA7A0-A157-4DAC-9F09-8521F1781275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$4D75E8EE-772C-491F-B47D-050F51F4D7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$9E740259-3F9D-4FB9-8C2B-A0E714757FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$59F65FA3-40A5-4A53-A849-1222FF8E9D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ce06304bf3709cc235c3276b4f500aec1ac468","datavalue":{"value":{"entity-type":"item","numeric-id":1239309,"id":"Q1239309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$2135B706-D08F-425D-98B4-6B4DDCEC70EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$ADFF9388-DE01-4C9F-87C0-9F394502DD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bd407bcecb63e1d4876dcd09d799ba25c8af78","datavalue":{"value":{"entity-type":"item","numeric-id":4391451,"id":"Q4391451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$CBAE56DC-4D05-4762-89F4-67FE318D472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fd1a91c3916e16b2e5046efbe49fbef163b180","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$A7E9CD23-5BED-46B4-BA17-87462E0FA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$013865D9-8171-409C-82C5-B5F08EC8E00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$7B5A2169-A4AE-402F-BBEC-2AAD304F7682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$FD542778-79D6-4566-B60F-B17DAABD1019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c89dbd2855ba43daea8b45eab22e20a3e8e01e","datavalue":{"value":{"entity-type":"item","numeric-id":5667481,"id":"Q5667481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$F95A7715-AFFC-4ADD-8B25-DC85F2F43792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$A2A4E7C8-B7A8-400A-B0E6-CB12CE081ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$307B5745-17FD-4FDF-AF2E-A0431D9CB9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c93444ecfe5e57390b453a78b405e81b591c986","datavalue":{"value":{"entity-type":"item","numeric-id":1164619,"id":"Q1164619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201348$900908BB-750E-4A01-93EF-DFA2CD146513","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e7311f72f88224126694a4dfa8ee708f0e7af8b","datavalue":{"value":"https://doi.org/10.1016/0747-7171(92)90011-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201348$4605BB56-4CC4-4617-BA7A-3E118A301FC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2250ffbf94264c58b7733e7f5bd66018895a71e2","datavalue":{"value":"W2050702141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201348$1A23D07C-67B8-4C20-91E3-E7671707FA6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508fa49989c7376f2b506817376494f41654f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":5475791,"id":"Q5475791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26fa1880515cec246fd1ea2c617236cc024766aa","datavalue":{"value":{"amount":"+0.7781888842582703","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":"Q1201348$DCC547F3-0575-4091-8001-A981B3897C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c8dbe14cd4e8534f8053deb0c126e579b3c940","datavalue":{"value":{"entity-type":"item","numeric-id":3410202,"id":"Q3410202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895c070e74cbbae53a9f8231a00570e8100616de","datavalue":{"value":{"amount":"+0.7669397592544556","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":"Q1201348$EA744F23-5CB5-44D4-A9B0-EA0B41270872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e5ba1b118a471b46c290fa7bd182615bd42f78","datavalue":{"value":{"amount":"+0.7649419903755188","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":"Q1201348$2CB95A02-0D4D-4E51-96C8-EAD6F2F188E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd79cfe6980e2d660774ef5750c2c6c7f14d08e","datavalue":{"value":{"entity-type":"item","numeric-id":674756,"id":"Q674756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b98ed84bdfad8439f06e186cd2367e25b954a3","datavalue":{"value":{"amount":"+0.76059490442276","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":"Q1201348$8C94006A-7129-47E4-9C77-48D9656EAB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e9141246e9874e8af5727ca5a5ac30b87e6234","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec4896ec073c1c4eadb1af0a0aefb903656e242","datavalue":{"value":{"amount":"+0.756812334060669","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":"Q1201348$2FFBFC14-146E-4F0D-9781-C2D96816F3F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification under a mixed prefix","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_under_a_mixed_prefix"}}}}}