{"entities":{"Q2987043":{"pageid":2997767,"ns":120,"title":"Item:Q2987043","lastrevid":85485410,"modified":"2026-06-03T08:54:38Z","type":"item","id":"Q2987043","labels":{"en":{"language":"en","value":"Completeness and termination for a Seligman-style tableau system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718411"}},"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":"Q2987043$685BA31B-B98C-4630-A566-BB7BACF20A3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f1b57e0b0d0eca2533345c3547b0b389ed33a73","datavalue":{"value":{"text":"Completeness and termination for a Seligman-style tableau system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987043$1D5DCAAA-15EA-4124-8145-71D37A7A511D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0976865110e7baa40603a894c40d35b036da148b","datavalue":{"value":"1444.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$176289BD-A6A1-480E-9A5B-84F77A9292E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$4A3A70BF-6947-41E4-A17A-85725061236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e0e2617a3a4b7424e5d388e4d779137235a082","datavalue":{"value":{"entity-type":"item","numeric-id":302219,"id":"Q302219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$225325E3-46DD-480A-B8D7-4C015B85A462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$5B01C4F1-D0CA-42BC-8677-85F9B2254354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f456bf130808cb9160461e9b1d7c9cf3ca51f8b","datavalue":{"value":{"entity-type":"item","numeric-id":516422,"id":"Q516422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$D4415E12-58E3-422C-8CC6-2953B2115CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-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":"Q2987043$7EDB6DFB-153E-4903-8590-0F96B8016DD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0051aa12f818813e81184b0987e9ef1246d4f508","datavalue":{"value":"https://orbit.dtu.dk/en/publications/a5b0c349-daa7-4075-a9d7-2654d9cfa645","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987043$FB892E2D-5ED1-43ED-AC0F-BFAD722D4C40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$24E8DECB-806E-486C-9E11-A451D9804B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$E2D59049-2159-436F-8D0A-EC1FB299261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$48CBA2D7-76C4-4C87-992B-A8D9CB5D6CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21e7c5f640efcb2253295aaa0660bb2a94c502f1","datavalue":{"value":"6718411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$E8360BA6-3452-4FF3-BE0D-645D4DEA2219","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987043$828ABB02-8C41-4355-9BAD-3B9DF919850D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987043$7B89C01B-EE35-45B2-861E-14E7353A567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cdeb2bfff25bcb3a05023ca036168c91696d719","datavalue":{"value":"Seligman-style systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987043$8ABC27F0-0D27-4AEC-8601-C9A0A9B7F4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987043$F4DF06D4-338B-4BA4-82C4-3E75552378FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987043$17A7B109-1B3E-47B6-BFC5-C6B12B93DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987043$2F85DCBE-C1EA-4390-9202-1D240B29E936","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fbc68460ee83252136bfc5f8ec006fdaaa44f55d","datavalue":{"value":"Q50355423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$7EFDFA72-D4A0-4973-806E-3C01EACE68C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$69879736-061E-45C5-9D6D-01AD593A7F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8aa5e3607f194cc9e2a2385bcc561c907f66374","datavalue":{"value":{"entity-type":"item","numeric-id":24355,"id":"Q24355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$F2B13763-FA37-40DC-BAC6-3DA17883099E","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":"Q2987043$2B0BD698-5AFA-449B-B7F0-E2E80F243C0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f17156644bb17f35c26982ffe589852a27abd59a","datavalue":{"value":"W2272278096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$5729C6E2-F1AB-404F-AD03-EFFC17862C17","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"aa5867658bce75f9e36664ffce292252a7de6ce4","datavalue":{"value":"journals/logcom/BlackburnBBJ17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$43B5EB25-08FE-4FC8-B0E8-1703223FA0C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b0a82fb5917edff4ed97694a17d52fbf398ad5d","datavalue":{"value":"10.1093/LOGCOM/EXV052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987043$F53C6EAD-8DB5-480D-B411-B81E9D97014D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987043$2740D625-512C-43E3-887E-BD8CC60069E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca41fa3d510a5b9857beb8161764428e405f98c1","datavalue":{"value":{"entity-type":"item","numeric-id":2870122,"id":"Q2870122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c9cbdd632de1e0c03d71b19019a60021b810f4","datavalue":{"value":{"amount":"+0.938423216342926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987043$8F816BFE-EC73-49BB-B7F8-2A5229561AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bfe80320261a0e3f9aee6e411e981a82aa2319","datavalue":{"value":{"entity-type":"item","numeric-id":4636041,"id":"Q4636041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700e1f4e9fd90cf6ad3f3f8ad500181d85348d88","datavalue":{"value":{"amount":"+0.867510974407196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987043$FE1B6E3E-A319-4D25-9082-487E56BDCC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22b407052d5e8a7b574e326c79bdb80a52596fe","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9529db8fa78fa4f86a38ceefe652bc125ee028ee","datavalue":{"value":{"amount":"+0.8249262571334839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987043$02DD5FA8-8D68-4372-965A-4095B7586A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6aaaf6be98486162de272883c63994ef3ad127","datavalue":{"value":{"amount":"+0.8067330718040466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987043$F342CAB5-0893-421A-B8C9-73087774D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d67f8d145e9e7ec658177421e99201eb4122","datavalue":{"value":{"entity-type":"item","numeric-id":4982112,"id":"Q4982112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb96e1551f5e58a82bc1d1057c5d36e583b425f4","datavalue":{"value":{"amount":"+0.7929748296737671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987043$649A99CD-E70F-46BF-99B4-9E22FAF9C640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness and termination for a Seligman-style tableau system","badges":[]}}}}}