{"entities":{"Q7232182":{"pageid":24494642,"ns":120,"title":"Item:Q7232182","lastrevid":84476171,"modified":"2026-05-18T15:33:50Z","type":"item","id":"Q7232182","labels":{"en":{"language":"en","value":"Synthetic completeness for a terminating Seligman-style tableau system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189426"}},"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":"Q7232182$5E1ADD13-A76C-47D5-BE7A-8136C8456748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb4a7d64b0e6b8cfa7ed20949940da0df26a6339","datavalue":{"value":{"text":"Synthetic completeness for a terminating Seligman-style tableau system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232182$94822CAE-7F97-4217-8429-760A10A40C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5e988c7da7aca1a03cc0c0d67fe8c931ade9e5","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232182$CE2F8130-2895-4B58-8556-F5BF4AE1944E","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":"Q7232182$049F3FAD-08AF-40DF-BC50-50DFB42A0E7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7232182$897AD154-D137-4DA0-A2EB-CC334F37F028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232182$0B0D54C6-A462-45CC-B9C2-7120451A7C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232182$AC9E14F8-0FCB-4111-B16C-A012643EA24C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38d363ce072791df43cf03af575c3e26cd195ae1","datavalue":{"value":"8189426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232182$74CC5968-8DC9-4233-9488-27CD4CCC5B1A","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":"Q7232182$67168E79-3750-4AD7-930C-B41727491319","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232182$44ABB043-1FFE-40DB-AE52-26AB7CE9EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb31d904fea6fdcd7eb12ba7984a64d0e520554","datavalue":{"value":"Seligman-style tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232182$E15D4DF9-EE8C-405F-9214-E29B0515D039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a2dac6d11c30663ecd49ac1640affa31dacdc43","datavalue":{"value":"synthetic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232182$E7767E5B-BF43-4E59-B051-84955CFD9AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232182$4DF6F08A-686C-44DB-A105-866853CFCF49","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":"Q7232182$DC3E7AEC-672B-4425-9F2E-2A0E27C1E970","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$DFC5B781-BE9F-45A5-AC72-4B28A335E4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$670DAD0B-CF82-4D31-A5C8-85743B008969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e81984f53b21287a47632110938d97e7939068","datavalue":{"value":{"entity-type":"item","numeric-id":2987043,"id":"Q2987043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$2E6C7994-3C7A-4888-8412-FEE1E46BEEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3abb81cf65fe1593158d7caf4b8e92f35886a","datavalue":{"value":{"entity-type":"item","numeric-id":1286394,"id":"Q1286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$B959571E-D59A-400C-B82C-B7955D32D64B","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":"Q7232182$2F2AC853-F545-40B0-9F49-978F7F12E6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$8C1BE000-FFC7-4318-8444-4596B3AF28D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7cec9b821e2e4c8ea02adb846615582ed2171","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$0FDDF377-C779-4DB6-BB0F-131269BE11B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$AECB7A96-41C7-4E34-9116-0C875CD1E29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdaf961df4d3d066725fe43c5a0c7dab7906698c","datavalue":{"value":{"entity-type":"item","numeric-id":3100197,"id":"Q3100197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$CCBCA969-B9A4-4536-AA4D-058A305D03A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$C85C6285-63DE-4713-A395-41BAFF152C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2819f9ef32f2f8f8e93304fd40b3320c98c9c44","datavalue":{"value":{"entity-type":"item","numeric-id":2096470,"id":"Q2096470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$1C65DE4E-3DB8-475A-A0CC-B2DBD5E136A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ece1e9b541701cf09383b131741beb2ba8bd5c","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$F20C4025-D9F4-4EDA-BF17-B5AA96D49853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7cbdd097548afc1faabe330adaa8a87935a44","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$465D032F-47AF-4A00-9E89-17C8FC0A6563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9181c5ad98f1f32158c19f6cbdf88fb9e0cbb661","datavalue":{"value":{"entity-type":"item","numeric-id":4636041,"id":"Q4636041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$959B543D-FFAD-4AFE-9160-D393FB935C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$D289EDB6-C1D6-4DE7-A876-471F96F9E992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d509c8c5854a3cec0f25f692d7266ee625cce0","datavalue":{"value":{"entity-type":"item","numeric-id":2772880,"id":"Q2772880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$F81A3A39-ED58-4D6C-BFA9-C9ECBCFB9AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b84fc01ec7d99ba6fecc5c648223dc64c7c076","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232182$B512E268-15F3-45CF-B01B-A1BE9DB0C189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthetic completeness for a terminating Seligman-style tableau system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthetic_completeness_for_a_terminating_Seligman-style_tableau_system"}}}}}