{"entities":{"Q5111912":{"pageid":7141486,"ns":120,"title":"Item:Q5111912","lastrevid":53742278,"modified":"2026-01-25T15:47:10Z","type":"item","id":"Q5111912","labels":{"en":{"language":"en","value":"Meaningless sets in infinitary combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205339"}},"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":"Q5111912$D72393E8-FE1D-4D57-B288-F1596C5252C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91be904c2893caf3dc13e96ae259c537cc3c6bec","datavalue":{"value":"1437.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111912$15D6B82A-C708-49F7-B711-7A54D2215D0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111912$6EB9CA13-CFAB-4B58-AA46-7872D78A23B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111912$7A8016C4-73BB-4FF3-9603-8EA3FAAF4B22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-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":"Q5111912$0E7C1A5D-6E9E-4CDB-9335-5A92617C7240","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111912$8E1D4C5E-858C-4027-99D8-8DC220C83BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e2e7ea9fe0c4a92cdd1a9e93f0fd989dba8f904","datavalue":{"value":"7205339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111912$11B59DAC-64F1-4B7C-ACF3-EAF606828B2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111912$91831A22-16FB-4676-AFF9-625F00EE3B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f579cfea67c1b24917a99a393e6924481aa74d8","datavalue":{"value":"infinitary combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111912$E3A9C872-08C2-4C0D-B884-CCCDFBC1920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0495165cfbb1495483496ca0be9cdb7ce9cfb10","datavalue":{"value":"meaningless set confluence and normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111912$8A4F5F29-78DE-4EE6-891F-6D11BBE1E613","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":"Q5111912$D2175FBE-EAC2-4D5C-9973-9E597F4DF31E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e6fc13d4e7f00efd95eb388cda59fbae0af7066","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2012/3499/pdf/22.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111912$B996453E-D654-4E45-8F64-D2F375B6D87B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcf494e0de3103ff40aa8148c9568224039f42e4","datavalue":{"value":"W2295195915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111912$C6D55670-4CB8-4D91-921A-F68414D2007D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"214f48131e715446dcb072777f99412ff71481db","datavalue":{"value":{"text":"Meaningless Sets in Infinitary Combinatory Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111912$1CCBE324-F0CA-42CB-971C-87B2445C5FF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe5b664f479db2e885682d1759b8e05cf8ec44bc","datavalue":{"value":"10.4230/LIPICS.RTA.2012.288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111912$F0B74533-10C6-4D25-87E2-D50352CFFDD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e747bae7e838f0d3025de5e10e412e7747e28cb","datavalue":{"value":{"entity-type":"item","numeric-id":3003362,"id":"Q3003362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9addabd8fa7e82cfce19ef7386c1a1e530463c6","datavalue":{"value":{"amount":"+0.8096188902854919","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":"Q5111912$D3039BEB-F323-41A6-A601-6A1E432B9116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bab9ca4687c887ba84e0ff9d87bab7f0d7b8be2","datavalue":{"value":{"entity-type":"item","numeric-id":5369483,"id":"Q5369483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd277c42e11f719212638adc7a906c16ad19128a","datavalue":{"value":{"amount":"+0.7605253458023071","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":"Q5111912$07C6F6EF-3511-4917-B5A8-6A6F9781F2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4049cf6f9370cfc5dff59576cfc89e9a3c27af14","datavalue":{"value":{"entity-type":"item","numeric-id":5389089,"id":"Q5389089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37ad32e9bddd9288152277da7b40d20508a2316","datavalue":{"value":{"amount":"+0.7525697946548462","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":"Q5111912$77705DF4-9CC9-4C48-8943-1439BEEC785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40289b5bf03e819c7faa2f926143374770976d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2956726,"id":"Q2956726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23382d9824f44ac07baa7644913c22afbd394aae","datavalue":{"value":{"amount":"+0.730305552482605","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":"Q5111912$09B4A849-ACF4-4E7B-800A-5C25756E354E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee8fdf345c0eb0e6a2a73ecdcdd5e5a33fb6f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35669178c54bf07752456af1058d1f0135bc738d","datavalue":{"value":{"amount":"+0.7201246619224548","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":"Q5111912$9D7F5AEB-65F0-4D3B-93AD-033BCEB3DD4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111912"}}}}}