{"entities":{"Q1234672":{"pageid":1245422,"ns":120,"title":"Item:Q1234672","lastrevid":80212394,"modified":"2026-05-06T15:40:50Z","type":"item","id":"Q1234672","labels":{"en":{"language":"en","value":"On the equivalence of systems of rules and systems of axioms in illative combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3544012"}},"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":"Q1234672$65C640C5-108D-4981-BD47-775CC4A460C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc1ea9d5429a4a508e3de49dbeb7f8260487300","datavalue":{"value":{"text":"On the equivalence of systems of rules and systems of axioms in illative combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1234672$A442CDD2-C8B5-4915-9898-8C2FFD21CED0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa2d6806a0f0faec8af1f3834a85bfc46c4b3166","datavalue":{"value":"0349.02020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1234672$A95ECB85-9DB5-4AD0-97D0-36B6851F9DEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1234672$C6918FA2-3B8F-4757-A2E1-B4FB8EE7A161","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1234672$3DBF461F-D6E0-4E51-BB0D-5C2A1DA4FBAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1234672$B80D507B-AB93-4C20-8E8C-071C9F491390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7d157ec59a060b65e3d0bb1330cd153fc0e7278","datavalue":{"value":"3544012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1234672$A4DB6586-01D7-4CA1-94AC-888730EFFD29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249eaf8d754a3fbeb6cb4cbcfc6031a7c964cd50","datavalue":{"value":"CONSISTENCY","type":"string"},"datatype":"string"},"type":"statement","id":"Q1234672$C5D369A3-CB8E-4FA2-855C-BB3A282FB4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4cb53139f0c7ff42feac04608594d23813a667","datavalue":{"value":"ILLATIVE COMBINATORY LOGIC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1234672$1620A828-A2C8-45CF-9F0F-67D74035C348","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1234672$A8514417-B136-4168-BDD6-0073614C3000","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":"Q1234672$FC721444-FB8F-4E2E-A5C4-D847F8C70AC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52c88dfd00524b12f3c90b05b3b1f1327175c77e","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093882666","type":"string"},"datatype":"url"},"type":"statement","id":"Q1234672$EF81559E-CC9A-415D-A6E0-A85975724BEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"373da58f47b80e6e07271b0fbd4d42788feecdbe","datavalue":{"value":"W2100197029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1234672$9EAFAE88-8826-4579-B8BC-73FFDDFC8E44","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"120d4622a77a22342bf1e6c1233a24755c25557d","datavalue":{"value":"Q114598282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1234672$7831E515-9F5F-4ED6-8D8C-E45D3E54BF8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13d43ec0d816daacd29c7309ab4692c26ae83403","datavalue":{"value":"10.1305/NDJFL/1093882666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1234672$149F3069-52E0-48DA-87E0-6697E56C7845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the equivalence of systems of rules and systems of axioms in illative combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_equivalence_of_systems_of_rules_and_systems_of_axioms_in_illative_combinatory_logic"}}}}}