{"entities":{"Q6541166":{"pageid":14152309,"ns":120,"title":"Item:Q6541166","lastrevid":57344769,"modified":"2026-03-30T14:10:25Z","type":"item","id":"Q6541166","labels":{"en":{"language":"en","value":"A naive prover for first-order logic: a minimal example of analytic completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850759"}},"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":"Q6541166$46C55FA3-1991-4BB5-A26B-B7648FA91FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c097f896b8c439d9f3d3bcbe4e9b0a1f4761b8b1","datavalue":{"value":{"text":"A naive prover for first-order logic: a minimal example of analytic completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541166$40CD5D9B-4673-4A44-9E09-2DE1F1BA18BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b95e9bc93af2ebe39d31986d0bda329f54df196","datavalue":{"value":"10.1007/978-3-031-43513-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541166$4C8E2FA1-0D00-4E77-BF2E-252A4BCD1384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b28ef1f69804175267e0c47b9aca79300dfa007","datavalue":{"value":{"entity-type":"item","numeric-id":2096469,"id":"Q2096469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$98673433-9E98-41B2-A39E-EB8FFF2636E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b3705dab3e613fed020a57376646104168a833","datavalue":{"value":{"entity-type":"item","numeric-id":766279,"id":"Q766279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$0982734D-5FC6-443B-952A-51E3920AAF4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541166$45045D65-2823-4A52-A227-B8F1489C3845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541166$6815D4E5-2F1E-474B-BFD8-03CD5509FE31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afcb832aae9a1d7c23232f0ddf039c830528630b","datavalue":{"value":"7850759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541166$77F73C29-8BB3-4C79-A81C-9295C6F732B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541166$5CE75BE2-4E7A-4E3A-9979-7CAD62FAFDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39411cc62ce78ebd41da7eb9d170a39ae6dbba3","datavalue":{"value":"prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541166$897F26B6-B6B6-4B9C-AF78-60AFC3147D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541166$4B9369D8-2E11-4316-8589-A5A194E5BB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541166$C819C043-0319-4C00-9A72-3DBFF88CBBA5","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":"Q6541166$FD44391E-331B-4C68-950F-A28CF10F01C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f5e5a42b14858827b86e355a072cbbd1bdb099","datavalue":{"value":{"entity-type":"item","numeric-id":2894076,"id":"Q2894076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$928C8125-A136-45C5-B488-E502EF18FD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0202cb9cafa0358b07911808cfce41ae5240485b","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$D387B4EF-39A1-4C1E-BFB7-68DBD71730B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$65DEFB08-A4F2-45F6-9C41-68A46B322855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$0871FF74-39A6-48FB-A800-734FF1B1A6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade297681f99165268de8e931d390854dd4d3634","datavalue":{"value":{"entity-type":"item","numeric-id":2148773,"id":"Q2148773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$039FD778-190C-4418-BE67-6DCBA8E02EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4d9dbe5c8efa8434d8c6872c1bda9d6b35f241","datavalue":{"value":{"entity-type":"item","numeric-id":6572548,"id":"Q6572548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$319CA7A5-F2AF-4B39-90E9-3A2AF6507B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3feb541d7807725edabb947f254193e5bc7002","datavalue":{"value":{"entity-type":"item","numeric-id":1828977,"id":"Q1828977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$D61CD45F-720A-4CAC-9C3B-7313E6D600EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$29E94931-0C1A-473D-83C9-32F5F3E4E375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc3b3847af2322ff8f44d7e840cb1220d0277bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5145439,"id":"Q5145439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$EAC94170-23D0-46F5-A9E6-2735E68FE282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$02E6A0D7-B4E8-4323-8BF4-2504E439C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$582ACF54-D577-44EC-BCAF-DF0FF2C8020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacd4f5ff8afe5c539d487d81ad8e6b7f661bae9","datavalue":{"value":{"entity-type":"item","numeric-id":4539651,"id":"Q4539651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$3D961264-B678-4397-9D9D-CD04E7EA362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0924a86f652e00311e8961b2cdeee4e5aaf93ece","datavalue":{"value":{"entity-type":"item","numeric-id":1577335,"id":"Q1577335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$B3C0DC26-96A5-4E6C-AC81-FC2798887223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b883d872eefbd5f8daf82a38b9e66e81e1a15c","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$96E11969-69B9-4D76-BB92-1450EFB634B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5f401e66988f8f142d5d521c6d32fc7789e8dc","datavalue":{"value":{"entity-type":"item","numeric-id":5048999,"id":"Q5048999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$19F6C364-EB80-4B8C-9057-51D9E73F62E3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541166$A4D972A1-4B01-4782-B6C3-D7D4540D92B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541166"}}}}}