{"entities":{"Q3007260":{"pageid":3017984,"ns":120,"title":"Item:Q3007260","lastrevid":79865873,"modified":"2026-05-06T14:53:27Z","type":"item","id":"Q3007260","labels":{"en":{"language":"en","value":"Modal tableaux: completeness vs. termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5910655"}},"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":"Q3007260$0CE58B9D-64B8-480D-BCE2-5125B6D5B33F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b2c6d2dc0d00efe97fad5206dcca85deab30a7f","datavalue":{"value":"1268.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007260$BC23F66A-9B69-4ED9-8E55-06CADE6A9CDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007260$18949FC3-DF53-4CE4-96E1-6DA0E31D0095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e7b9a4e94ee55525cd8b7f19d653fb814d5f09","datavalue":{"value":{"entity-type":"item","numeric-id":371437,"id":"Q371437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007260$6721CFBC-5041-4681-BEDC-8DA5CDD9711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007260$C7C24A3D-A30E-4BE4-88CC-437BC3AE3B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78bce093e48258e9085c6d55ff6f11905c8572","datavalue":{"value":{"entity-type":"item","numeric-id":3007259,"id":"Q3007259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007260$764E0638-7020-43AC-8A71-3906FEED109C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaadc694b5c90aa791eb86162a7f02b09c9e536f","datavalue":{"value":{"time":"+2011-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007260$D234DD87-7D75-49C8-BDE3-DCC0F1B3ACDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007260$82B4867A-1F17-4EC6-9185-1DDB1BBE72AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007260$2DEF8FC5-63E6-460F-94D1-3D6CD93B00EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007260$9A90EBF4-0EDA-45FB-AF97-92228BA86730","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"597aed9f7f836295cc15c16c56cea9f0ea69effd","datavalue":{"value":"5910655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007260$3C9C0A61-D9B0-46FC-BDA9-D9B273AD4725","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":"Q3007260$62447315-9CA1-497F-B8B0-E7F72818A468","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee9c49e1df5d2f9b1a1c107a761e2e05b8931ac","datavalue":{"value":{"entity-type":"item","numeric-id":3509052,"id":"Q3509052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae5756dcb8ed176b026023d1b7b4ce2a3457397","datavalue":{"value":{"amount":"+0.8762335181236267","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":"Q3007260$39231731-9CB7-4CCE-AA26-3DFC23FA106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d5cf897fab50abe790e1373e1fad4ffd6c0495","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56210921e9cb800ea31175bdbb9b274dad76e3c","datavalue":{"value":{"amount":"+0.8304904103279114","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":"Q3007260$108DF131-AF85-42EB-898D-C328194C02D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d33b2b81dfd8f0ee2ff4645628b2fa7d00bf6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292ca985c1d9cb562570d33459ff076249f5661d","datavalue":{"value":{"amount":"+0.8304903507232666","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":"Q3007260$84695416-9AA0-4F3A-B222-8DF43E314ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbcddfe1ef3da51ce81586b16699568c604f79c","datavalue":{"value":{"amount":"+0.8134347200393677","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":"Q3007260$778D0158-D9D9-44C0-8006-23CEED5DF76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5759131464de47ada2e957e8e790fc5eee27e20","datavalue":{"value":{"amount":"+0.81245356798172","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":"Q3007260$439147A8-C40D-4CF0-8584-A6DCB3FBDADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal tableaux: completeness vs. termination","badges":[]}}}}}