{"entities":{"Q5015285":{"pageid":7044862,"ns":120,"title":"Item:Q5015285","lastrevid":58399680,"modified":"2026-04-05T01:25:11Z","type":"item","id":"Q5015285","labels":{"en":{"language":"en","value":"A new rule for LTL tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439746"}},"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":"Q5015285$1E22FBAC-4317-4F38-984C-BDED7F4B9E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d97aa1ede132d052c88a57230cb45571503c31d9","datavalue":{"value":"1478.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015285$55A82D78-78DF-4311-A037-965216989DCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015285$89814715-5154-46C8-980E-DE39884D1182","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd353729051cd78aa631b990ba21071bf13d0eb","datavalue":{"value":"https://arxiv.org/abs/1609.04102","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015285$BF86DDF6-F0B2-4E33-98C0-9A1BC005554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bc9d06897bef2894a98336c98b5d79b784ef019","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2016.20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015285$56F0D59E-3B05-4978-BEBB-5701F4573BE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015285$55CBF647-DD92-44BA-949F-31D1C38CD804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015285$0DE356BD-59EF-4C4F-988A-E0425ACA6D7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"639d549705b0372de5207526f6b46882bcf2e041","datavalue":{"value":"7439746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015285$84A8BF2C-4E8D-4064-92BB-4B549E837A69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7168463aa5132ed8486461189f7d9e20004f30a","datavalue":{"value":{"entity-type":"item","numeric-id":5975007,"id":"Q5975007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$0E40846E-46B9-4F7B-916F-8B22AA5037FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$EE54BA38-E4AF-40AC-BAD7-C5D5652B8A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"257ad6d8f8a34d3b938ce0839d1288673e8cec10","datavalue":{"value":{"entity-type":"item","numeric-id":18659,"id":"Q18659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$9265A23A-124D-4ADE-8CB4-7D8CBD006152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$9CA1F5DF-8DC9-4905-BAFA-02386E1E2C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3475c3a3767ecccf397c0e953871eea19487b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5975115,"id":"Q5975115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$F2B37B1D-8CAB-471E-9096-2276C5FF830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1dd593caa76171727c63057fe580e976fa16cf5","datavalue":{"value":{"entity-type":"item","numeric-id":23931,"id":"Q23931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$33AF1A1A-3DF6-4482-B4AD-22987F1CD7F6","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":"Q5015285$3111D6BC-D9BF-4679-AAC3-BEEAEC769CDE","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":"Q5015285$F18C77D6-D9F1-4A25-B49C-52756042401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$A83744F2-B12D-4A30-A780-5C39DD72B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84dbafb4de88bfc11ba9ccb91e6fc1917445f7","datavalue":{"value":{"entity-type":"item","numeric-id":4818827,"id":"Q4818827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$1C04EE4D-912E-4C6D-BF26-473169023FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa9bd4a85c4c49445e39f562d8e5bf96db06519","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$2BEF6A3E-A678-49BA-901A-6378C44E66C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$4185A1A4-A138-4F57-81ED-ED4BEC4CDB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b32a632ba6e790dcebfa25a2fc0165612832b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4855364,"id":"Q4855364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$871924A3-C1B4-4576-AF80-FC50719B14DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76baf677d1bd1d922afa18500942dfeefac2ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$5C4A65AA-9F2A-4D3B-A8A5-8675E07954A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$ABC0E02E-2D5E-4CAA-BB8B-8983DCCA7BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d17349598573d1b33d3b679ef12812a7b83165","datavalue":{"value":{"entity-type":"item","numeric-id":4610326,"id":"Q4610326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$272621EA-6DCA-488A-B946-6CE68B66603A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a20135e39458ab90aba74357e707069bdc3754","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$24350BB2-7D79-44E1-A196-6FD273C3459A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$5029D3C2-0723-423B-ACCF-826C11AABF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$5C28228F-9CF9-4530-9354-4C750BD6278B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366c228a0fa7b9eba8d6d2c839cc7bcc36a26709","datavalue":{"value":{"entity-type":"item","numeric-id":2908524,"id":"Q2908524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$4807DA5B-9C51-4A1D-BAA6-489F05D173B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015285$F25BB1FD-797C-4DBC-9CBC-C8F6212DFF17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a9a22b522268131b02ac8f43ec71543d6e9723","datavalue":{"value":{"entity-type":"item","numeric-id":3384170,"id":"Q3384170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f28444164434885927a9ae00513c619de1188b0","datavalue":{"value":{"amount":"+0.8296869397163391","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":"Q5015285$59450EF2-AB10-4B1F-B4B8-728E1F258358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0d18ca4bc6d73bda00df43dcef4646f3293fac","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee612ca942aa3cf7de2671038f010603ddec5d39","datavalue":{"value":{"amount":"+0.8266828656196594","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":"Q5015285$B6521150-6470-4319-87C7-54CA0158AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081f354e5fc809597cd1b174c84f9cc080d00287","datavalue":{"value":{"entity-type":"item","numeric-id":2701983,"id":"Q2701983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166c7dc486f2060d0e80f0092ed7896c6838769e","datavalue":{"value":{"amount":"+0.813558042049408","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":"Q5015285$C232CCDB-46F7-4DDF-B48A-7C1739F62D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c364d83270373820922f3d86ce350b9759fb3882","datavalue":{"value":{"entity-type":"item","numeric-id":4645753,"id":"Q4645753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e7c7791f21ebe5561c3c027026f25e9ea58c83","datavalue":{"value":{"amount":"+0.8130929470062256","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":"Q5015285$0535447A-5EC8-4469-A61A-7C5058698E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7a0e1411a80c50497b6668696ade9599312e79","datavalue":{"value":{"amount":"+0.8102046251296997","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":"Q5015285$2A4FA5E7-8DC9-4A4A-BEAF-C358D65EB3F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015285"}}}}}