{"entities":{"Q6610194":{"pageid":14221351,"ns":120,"title":"Item:Q6610194","lastrevid":103967645,"modified":"2026-06-06T08:33:46Z","type":"item","id":"Q6610194","labels":{"en":{"language":"en","value":"One or nothing: anti-unification over the simply-typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918247"}},"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":"Q6610194$8242125B-2239-4139-BA4C-5080DC64507E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dee01c549600c75b384c1540fa3179812da912e8","datavalue":{"value":{"text":"One or nothing: anti-unification over the simply-typed lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610194$DC8509DF-B94A-41DA-BADB-5AAC8558D09E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"878d6f46a661f214aa1cd7fab4f84f92271cd588","datavalue":{"value":"10.1145/3654798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610194$47BB8700-EEE3-425A-A768-101885532383","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$435D6125-BDDB-4C2C-9D85-FBF5D6FCAB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"024b5d6ba9d03c9bbe87cc7e94f759b500e56f31","datavalue":{"value":{"entity-type":"item","numeric-id":2076058,"id":"Q2076058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$8C3A989C-168F-4838-A9A8-BDEACE66F4B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$4A956935-5AD7-458F-8B91-6C65DF068E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd8865887ed774f6229caf289dc334855c91553d","datavalue":{"value":{"time":"+2024-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6610194$E6EFA4E4-2ED2-4A58-9B02-6957EA719B09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610194$A175BCE0-96E2-4269-9209-D1C46E20EE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610194$6B4E281F-794A-4E8F-914A-B6FE61C20EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70fe9ed37c8445c5e048c673ebb3ac4ae293a021","datavalue":{"value":"7918247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610194$A651B8FC-B13C-4545-ABE7-538E014B6E40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610194$85D3BB7C-4FDD-4A6F-B7E8-9071376077E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610194$A4CF2D9D-E212-4580-8B59-BE48A971F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610194$214522F1-40AE-45F2-847D-30744AB5C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78e0e4815b6666d254fcb2da2b812c8a458b637","datavalue":{"value":"nullary","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610194$EC84A15E-563F-4E52-86A1-A1CC0EAD0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c875bf2de6eae783381e8ee225c090fffc1d1c03","datavalue":{"value":"type 0","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610194$A196B76F-797D-402A-A266-9CB2E20ADD54","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":"Q6610194$8446447B-52B6-4FAD-926B-E9C62506B96E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$D9FD58EE-BBAB-4998-A30F-B991F32FB9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$2BAD1D81-5A72-4E62-9FE7-57A355F3AA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0dfce9058ec9e7df125de82f01de860173b64","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$4240877D-A090-4514-B8FB-66868489770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623cd7d73b698876c6f22f312233b6574180cd0e","datavalue":{"value":{"entity-type":"item","numeric-id":4993335,"id":"Q4993335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$104A3149-FA2D-4E9E-8DD6-2F24A95F2E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234434bf4756046f3787f34a8aa2d75f36530888","datavalue":{"value":{"entity-type":"item","numeric-id":4972174,"id":"Q4972174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$31071CD0-B7D9-48A9-BEB0-51A085A9E9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e52634adc564b8d1ecb02a49467d38a9e425515","datavalue":{"value":{"entity-type":"item","numeric-id":2215964,"id":"Q2215964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$21B9B146-9096-48FB-9F37-E92809DCE1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8a67a88b73ba76387f7f61989f14ff1e966f4d","datavalue":{"value":{"entity-type":"item","numeric-id":5089010,"id":"Q5089010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$AA30DB27-F11F-4E0D-84F2-B242EC9774C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39b47bd2e2baeef2d3cf3b49ceb8750e748501f","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$A4D0BF64-9DC8-4203-A8BF-6634EB8E7057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$84502A85-FF61-4378-85B7-19E1FEEDAA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd3b24c79d7d8e3697dec63d4d2a7f944f9b330","datavalue":{"value":{"entity-type":"item","numeric-id":2344621,"id":"Q2344621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$5DD5DF97-CCAA-4D18-8CE4-0A54E6A9A7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f053ea7eef251c837b55df533caab74e83ddff","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$C2A69067-809C-4C5A-94DE-3AD95C15E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb72747d64a459e5aa8a28f2a95072dddc34f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2134936,"id":"Q2134936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$B8E028AE-C25E-411A-A243-047DA1202E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355ba040b4f683319f6d50009f8f2e01c234b1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2946592,"id":"Q2946592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$FB767D7B-5DA8-43C3-B346-A5E0834EF61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$EAE71234-5045-44FA-8F7B-880A2A0EDCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$88914056-47F5-43F0-9E2E-5C201A0FF84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40675f47bcaa35bf66f72f66b07d94668d806cca","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$12835FA1-820F-4B75-9794-D3703A7855D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5204b231070205e80030bd809090e7a3ebfa33b4","datavalue":{"value":{"entity-type":"item","numeric-id":6544099,"id":"Q6544099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610194$724FDBC8-AF01-46F0-83E5-B271BDB6F297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One or nothing: anti-unification over the simply-typed lambda calculus","badges":[]}}}}}