{"entities":{"Q1801222":{"pageid":1811964,"ns":120,"title":"Item:Q1801222","lastrevid":43333668,"modified":"2025-07-24T20:16:30Z","type":"item","id":"Q1801222","labels":{"en":{"language":"en","value":"Edinburgh LCF. A mechanized logic of computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194533"}},"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":"Q1801222$784F773B-63FF-4C0A-ABC5-250C3AF940B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50a4deba54f603715cbd20126ea85b1eaf37dbd9","datavalue":{"value":{"text":"Edinburgh LCF. A mechanized logic of computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801222$A933CEEE-541A-4090-998B-9A57CEE9C77F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b110210c7a62fe89ebc5039d331e81c86c7aa369","datavalue":{"value":"0421.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801222$2C33F90A-9B0D-497A-9EA4-41B100BCEC69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08d0f7cb40ff2483df37c37d4baed93c13bb91e7","datavalue":{"value":{"entity-type":"item","numeric-id":1801221,"id":"Q1801221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801222$2705CF4E-9183-47DD-9DDF-291DBABCCCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eabea82d32d013a0b8462021cf0c8dfae37aad7","datavalue":{"value":{"entity-type":"item","numeric-id":1566884,"id":"Q1566884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801222$5435DE9D-134F-43CB-8BFD-A2047C00A58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"931e30a40c8472ba029c509504f463b9cccdfd3d","datavalue":{"value":{"entity-type":"item","numeric-id":436371,"id":"Q436371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801222$2EB27936-AEFF-4E68-80B3-94B75F6702D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801222$1CCBF814-094B-4D2F-AC7A-447B759F3A03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801222$6BCF69EA-6843-417E-80D7-2DA7A68A46E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801222$F3D4C7F1-2644-4EAD-AD20-1416D61727AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801222$FD37D115-045B-4BE3-9C2B-E2ECCC13D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801222$05DCD79F-89E8-4839-9158-9A7AC649FB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2afc78019343c50eaba105b4235f72e6febfaa5","datavalue":{"value":"194533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801222$E61AB89A-19A8-4701-AB06-5E2FAFB6CDA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8bdb025f936231b9b29a7044b58cbcee05cb73","datavalue":{"value":"logic for computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$14322B96-ACF3-4F3E-A63B-0883CB5FC4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be9921f84eeaf4fc4666eec2ff4ee2631dc86b7","datavalue":{"value":"reference manual for the implemented systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$E9B146DA-F0A6-446B-8246-4A38A34DC2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce81658d6764c8f3451da5540d0f5ae334863d28","datavalue":{"value":"programming metalanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$BAC84EDA-BE76-4850-948E-BF8AF9B20416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$E49B7D18-3745-447D-A660-18F35407B19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96fb265e07414f1794cff319eac639af7e7ac147","datavalue":{"value":"goal-directed proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$71FD9177-496D-4D2E-AAE9-852AABAA4C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6144856f171e430c8afce248e0fc254025dc93db","datavalue":{"value":"deductive calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$403A87FF-6D00-4AEC-831D-956CE22A868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$11005BBB-8DD6-4C51-B8AF-8C696417148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$5F1D7DC4-FCF8-4C67-BC87-94ADE36B07A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801222$8729BC2A-4063-4138-AD19-CA9DD756CE97","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":"Q1801222$1885D1AD-E31E-4E29-9201-E6DE433B2539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1801222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1801222"}}}}}