{"entities":{"Q3179400":{"pageid":3190108,"ns":120,"title":"Item:Q3179400","lastrevid":52706873,"modified":"2026-01-23T07:59:43Z","type":"item","id":"Q3179400","labels":{"en":{"language":"en","value":"Unification for \\(\\lambda\\)-calculi without propagation rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667707"}},"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":"Q3179400$C1D762F1-EE09-43F4-86F1-0B976FEE244E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fc1dd74b6055f0c4919a4c50c0c30640f7d105d","datavalue":{"value":{"text":"Unification for $$\\lambda $$ -calculi Without Propagation Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179400$706BDCFC-3295-49AA-8C57-539E2E36DCDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8b6a5d4d980936007355aa37deb80cc357248d1","datavalue":{"value":"1482.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179400$0868A8A9-5334-44B3-92C3-8C6637E8C0D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a83a3e0a18fea06b953fd66033e00fecd84d17ee","datavalue":{"value":"10.1007/978-3-319-46750-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179400$0FF23D64-108A-42A8-81AC-084544F160AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0a37a82c91a35e36561764c406163ac5986165","datavalue":{"value":{"entity-type":"item","numeric-id":1627456,"id":"Q1627456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$DD1EFE4A-08EE-480B-85CC-D179087A6175","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$EA4C46E1-1DF3-46E1-9AC4-1E39258432E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179400$ABC720DC-D915-49A3-82C4-DFAD56955264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179400$11DC8D76-C40E-4091-9943-6A1B0513FCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179400$02598337-11A3-4AB6-951A-B4410C66073F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7801e303ba1eca3a815f85ea005aabfe33bee526","datavalue":{"value":"6667707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179400$EBC13FF6-143A-4E72-8ED6-768158F440CA","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":"Q3179400$9131F062-9DCB-48E6-93BC-4ACCC462ECF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e755cc4a30ea423b577f5399288ccb5ee63fc30","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179400$C57A233B-2B5E-4E27-8376-2421C81913D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a5b0572779795b474992267455a05d10a57226f","datavalue":{"value":"W2522173973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179400$938B442F-5EFE-47F5-B091-9416C0B49722","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":"Q3179400$29B1E45E-69FF-41C2-A3D4-0B8A72978647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$8A2BD387-6C7F-47B2-B573-124D8D3CCD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$47503800-C620-4AC1-9D19-FEAD6875904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62652dd62ec51af26d1f57df547887590f807f50","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$42FA99B7-4B3F-4492-8D19-DA15D217E516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884ff47e3131a2ae77eac9b93d6ec7e48620fea3","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$4D631487-5912-48E4-BE69-0DAC532AED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ff6b347d378fd9fbc296a839be89db0870b89d","datavalue":{"value":{"entity-type":"item","numeric-id":2881096,"id":"Q2881096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$78AF2F4B-AED1-4B94-871B-2F8A8D25FD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15019ccb1391ca723bb4cc5baf2d1998f1ea3274","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$3F537B31-1395-4B0B-B985-983CC8014DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2549e455636d712c709985aefdcb596d774a21","datavalue":{"value":{"entity-type":"item","numeric-id":5693576,"id":"Q5693576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$74B8ACCB-13B4-4C0B-AE27-327A613B918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797c70bd302501c4cb98b928d8f2239a6782743a","datavalue":{"value":{"entity-type":"item","numeric-id":2978530,"id":"Q2978530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$B49C8562-DE63-466A-9759-E0405611FE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5200986b26eb4835631e281afd9dd91727a09a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2480966,"id":"Q2480966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$0A4A0D92-D655-4FF4-ABCE-A4C7948EBBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159e2b3bbe8e1e24faadea83bfe5ae647d33e014","datavalue":{"value":{"entity-type":"item","numeric-id":5705939,"id":"Q5705939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$5429B180-77FA-4362-B979-335E20774ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d785b21a69be08181134dbfdfbfbce22753fc47a","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$77D03837-8FFB-47D5-94DC-A64877D3BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c929ab970f45a8929f1dd6541e303ff6514a968","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$996C7F96-57C2-4C56-B635-C5662B27DDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d892b085b4b332377a14108514583ee394897a","datavalue":{"value":{"entity-type":"item","numeric-id":2751368,"id":"Q2751368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$C5FEE76C-3AA5-4719-8691-1ADB0037BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$E319080D-0D74-43F6-804D-3C11F10FD9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$B3A195F1-DB8E-4D2B-B556-ED7DA79954E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$309CB97B-7474-4D4E-A550-C15E5B2BB852","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":"Q3179400$1CB29092-2351-430C-9398-4050FDA73887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c872b21643ba9065fdf049fd77eff8b53fff3656","datavalue":{"value":{"entity-type":"item","numeric-id":4519171,"id":"Q4519171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$47E1EAB7-EC62-4B42-883B-1112E3C175CF","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":"Q3179400$CC5CC93C-4CD7-4DF4-9BB2-3EB2ED12DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$35A6253F-B813-47CD-98A6-C401E277FEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ec0158e8065da6b9ce4d4ea6c388167366ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$AAC637CF-63F9-47C1-AB00-97FDFAEB1B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871bb51c18a91794f1fd8723150f5dad6517cc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$AA6CD0DD-83B5-4E46-8874-CC984A5B7C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3fe20bf584aa5b9ef30500ff32c6118c08a192","datavalue":{"value":{"entity-type":"item","numeric-id":3783516,"id":"Q3783516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$D4932109-BD51-49C2-91D3-20C42EBBB5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8fc14adb26e9a99e6be1999fdd2135bfd94a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$27B5CCBF-9326-4333-8C51-04FB43845C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$88437519-9394-4962-A4FF-CAC6242B0C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d4380a0bd4cb8224cffd727faef6e764f5e902","datavalue":{"value":{"entity-type":"item","numeric-id":2866344,"id":"Q2866344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$8D63EC04-F982-4AC2-95B3-6C6461D1F870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202a83a4995475162342e47f46315cdb6a3e8c57","datavalue":{"value":{"entity-type":"item","numeric-id":4500172,"id":"Q4500172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$B2360E61-A9EB-4DBE-8716-F42D138C7EA2","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":"Q3179400$E6A2B10B-7059-42F1-8F33-40533773D606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6f9258e1714f28ce979e661a2348c690d9c51","datavalue":{"value":{"entity-type":"item","numeric-id":3591409,"id":"Q3591409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179400$70663B0D-5E98-445B-8D08-8E61F779555E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f938600cd78da4b1c1ce3ebd991cc44c96d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4c2f9012ead55b8be32f95e48efd061fbceea3","datavalue":{"value":{"amount":"+0.786715567111969","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":"Q3179400$66C4B536-97B5-42D2-9AF0-3EE85D186B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63bc6525bd8e4a20264ced9646fe549c4a0daef","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d80ad25f49de8b9507265c058ee3db959723c1","datavalue":{"value":{"amount":"+0.761430561542511","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":"Q3179400$A4F92382-77A4-489B-B31B-04E2B371D64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8ac267704e96fd9256b0e841b39fc42afa70e6","datavalue":{"value":{"amount":"+0.759889543056488","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":"Q3179400$87990003-CBDC-41EC-8C9F-14B25E57F471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326608c52a7f9ddd7af16aef468eb4ea6c3e7685","datavalue":{"value":{"entity-type":"item","numeric-id":4916203,"id":"Q4916203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc1bf1da64805430ccca73d67566e8c1bc460bd","datavalue":{"value":{"amount":"+0.7587235569953918","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":"Q3179400$5B347945-86EF-4A57-AD7C-5475449F2EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a995296ad29113f91b725caf0e048a53ed7331","datavalue":{"value":{"entity-type":"item","numeric-id":4249894,"id":"Q4249894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de79591ea5f2f0e19de1b8d3a513bd97e30c2fde","datavalue":{"value":{"amount":"+0.7421796321868896","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":"Q3179400$54CA475B-56B1-45C1-849F-740308805DCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179400"}}}}}