{"entities":{"Q40325":{"pageid":40381,"ns":120,"title":"Item:Q40325","lastrevid":105429140,"modified":"2026-10-09T10:11:21Z","type":"item","id":"Q40325","labels":{"en":{"language":"en","value":"FOL Fitting"}},"descriptions":{"en":{"language":"en","value":"AFP entry FOL-Fitting"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"bcd3f3fb2be0c1bf78dcfd19e32a6e084967b1ab","datavalue":{"value":"28611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40325$EAC0A0B6-AA08-41A3-8D31-209ECB2BF20B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$DF41F470-A9CC-4B1F-834A-9322479C8B0D","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ffcd9d088bfc9f1a8c71b0a20d7bb797eb72cd53","datavalue":{"value":"https://www.isa-afp.org/entries/FOL-Fitting.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40325$EA81A120-538C-415B-BD3A-FFD085BB3D8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40325$92F87B8B-1667-401D-9FAF-337F17A76C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40325$130CC5CA-5C9C-4B92-BFC8-B2BB787A0430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40325$47D11A43-82C9-4BDE-B330-CDEC53530CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40325$4A6DACEF-854E-47DE-988D-8273DCA9080B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$23A74373-082E-444B-B47A-C7B40F44218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$BA727FBF-7A5C-465C-A5F3-980B115E8F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9a2aad95369d69c08086a6600b609b3220c2705e","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$B3E03404-9454-4D83-B222-6481490C5695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8bf2731143fd82a1f95f40f13b2fce56fbb7345a","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$0E066E8A-63E1-412C-883B-33219658EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"485b63894219b8c81472ad502491b9d2d5703cae","datavalue":{"value":{"entity-type":"item","numeric-id":31023,"id":"Q31023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$01A124E5-6EA4-42B3-BB20-8B0B46CDA04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8867f0360bdc88f3de7f59059d26234eaba924c2","datavalue":{"value":{"entity-type":"item","numeric-id":5973201,"id":"Q5973201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$ECAA34AB-B232-486E-B890-BE011ADFA20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$89EC8D32-D8A9-4FF2-A5D2-DF292C53B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$95C446A4-F71A-410D-B11B-9BF670D0D82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$8F4DCABB-BB9E-49ED-A9C6-F35502AB8CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ef1082544496cdbd626aabd0ffce07a1cf4d46a","datavalue":{"value":{"entity-type":"item","numeric-id":40285,"id":"Q40285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$97B7A424-7D1C-4F70-A1E5-D510887F8C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$BC1330BD-EE16-46DD-A997-9B730FF0F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0d1c22202571b1ef1fb04034f261c7342211c8d","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$E8545A88-F179-4BBD-AE98-55DDDE088DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$03AA1566-9A8F-40E4-9CCB-4AD384C328F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"493c5144a9d14f0b980d45769fb4b197b51b453c","datavalue":{"value":{"entity-type":"item","numeric-id":40555,"id":"Q40555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$A3EDABA8-A55B-4F58-9547-5FBBF49FA2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0204f081facf570c6ab1a272475183b48ae5e4f2","datavalue":{"value":{"entity-type":"item","numeric-id":40286,"id":"Q40286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$748E1CD3-AA7F-4AED-AB0F-74FB1259E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab75a27745b95bbc51eed60e2ef7157b7c449125","datavalue":{"value":{"entity-type":"item","numeric-id":33768,"id":"Q33768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$8640AF04-57C1-4FF9-A8BC-C092E3F7B082","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"252d624b5a33c56ea69beb71752e96c4f5e58515","datavalue":{"value":"https://isa-afp.org/entries/FOL-Fitting.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40325$AA5A2088-DD6C-4466-91BE-35F5D95A554F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"42cc17b6ebd1e6b2e2779d5c2e7eb07525a54975","datavalue":{"value":"Stefan Berghofer","type":"string"},"datatype":"string"},"type":"statement","id":"Q40325$40871E5E-01CB-4F4E-A856-4C4ECF42C9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"812c10ac7a5795cec4f806d989a562680fd7fa78","datavalue":{"value":"Asta Halkj\u00e6r From","type":"string"},"datatype":"string"},"type":"statement","id":"Q40325$FE51DD2B-7989-46AE-926C-06C61F10A3EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c75d99c351435d04b8ee4afb737f56320cd885f","datavalue":{"value":"We present a formalization of parts of Melvin Fitting's book \"First-Order Logic and Automated Theorem Proving\". The formalization covers the syntax of first-order logic, its semantics, the model existence theorem, a natural deduction proof calculus together with a proof of correctness and completeness, as well as the L\u00f6wenheim-Skolem theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40325$FED25629-AE33-4DFF-9247-9FFA611FDF7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69b526f8f9b460c8b0495ed0dc1b16b6f66ea15a","datavalue":{"value":{"time":"+2007-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40325$2F1F6A4B-7960-4AAB-8FBD-CDFD0C0F817A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d52cef67fff487cd3b152f83cceb5d981e87a17a","datavalue":{"value":{"text":"First-Order Logic According to Fitting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40325$C43D3E09-3031-417F-8C70-6D85E5F12DB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$8ABD3A71-D38E-45A9-8A28-D853F603ACFA","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$FF5D0986-6B20-41F9-8E12-BFE64B6018F1","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"04648103e40c59982614f3813f352c9cf3f67ce8","datavalue":{"value":{"entity-type":"item","numeric-id":7360808,"id":"Q7360808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40325$A8C22289-BA4C-4CE5-AD89-E907F37AA93E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FOL Fitting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FOL_Fitting"}}}}}