{"entities":{"Q6487556":{"pageid":14066325,"ns":120,"title":"Item:Q6487556","lastrevid":47810533,"modified":"2026-01-02T18:24:00Z","type":"item","id":"Q6487556","labels":{"en":{"language":"en","value":"Towards certified model checking for PLTL using one-pass tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650200"}},"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":"Q6487556$2A6BCE7D-D6D2-49C3-8B7F-719B476A03E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6158c86b17f4f1acea7d24a87ce2f3316779d49","datavalue":{"value":{"text":"Towards certified model checking for PLTL using one-pass tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487556$EFAB5796-E59D-45CB-87E9-903DEEDE21AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf24e55bdc3c5d9d4a5696f86314130297650cd4","datavalue":{"value":"1515.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487556$523892A1-1ABE-4F12-A66B-16188D6F714E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a39ebe4a660693c7170c35b8773635812d42dc","datavalue":{"value":{"entity-type":"item","numeric-id":2095425,"id":"Q2095425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487556$E17F870E-0358-403B-B4E6-900FE42B7CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0c039d765482b928c3f3eae6d2c20d57ac6169","datavalue":{"value":{"entity-type":"item","numeric-id":862825,"id":"Q862825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487556$73863ED2-9559-4EA8-8362-1BAAC9441506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee44f1733a9ef653157bbbe05c51c7494f7edde7","datavalue":{"value":{"entity-type":"item","numeric-id":6487555,"id":"Q6487555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487556$440553D6-5644-4FC1-979B-FF7F6CC66D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487556$EACADFC5-F062-473C-8F66-7D5331E77840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487556$B5FDE366-A275-4E69-AF93-6DD5178B95C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487556$46BAAF9C-BD2E-4A49-982B-84BAE7DF2B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487556$2904C3F1-3C71-4BE0-8131-115DC2E71B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487556$BF70B315-2C9F-4BED-8339-856F0531CEF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f2bc6a6218fd56b2979ed9199aad250c7c727c6","datavalue":{"value":"7650200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487556$F0FBDCCC-65BA-4179-A88C-7D43E814B81D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487556$900CFA25-076F-4A8E-8FB9-AF6F542C6C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487556$DC843E42-B9D5-4F11-8FF6-524D2D2D5E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487556$83E8592A-026D-40EB-9088-48C839C5EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487556$14F2A629-7E8E-4D0D-A2BF-D84CCCB3667D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d1ecd6df3b2244add24fb94c43a725dbd150b78","datavalue":{"value":"certified model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487556$F2A4E12F-8797-4ED5-9341-FB3252E69BE6","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":"Q6487556$40D316B7-5779-419A-A53F-D356DA877C55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70eea6c8baad5b4e2db302f22a56e26ecfc14d69","datavalue":{"value":"10.4230/LIPICS.TIME.2019.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487556$A50E6541-C57B-408B-9145-A2CD66C54DF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed202ae3116d1fb9b5e2b01e3739b98faa9f6575","datavalue":{"value":{"amount":"+0.7592688202857971","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":"Q6487556$4A7852C3-77C0-422B-924E-93DDC84AFFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac09822a4be94dcde98d1a8147322cc63e385b32","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b74c1ac2b16b08bdf97035d99e48e427d5d7e3b","datavalue":{"value":{"amount":"+0.7560509443283081","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":"Q6487556$AB32EF2D-5382-42D6-83B8-4D7ABA595109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f031116377bc4b4fe320784a72230645a6a8d10a","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9181c3fd17b04150743fdd1eaf06540f411007","datavalue":{"value":{"amount":"+0.7413088083267212","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":"Q6487556$C3B78BE1-3FC8-45DE-92A0-552A31998345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bddd3ca190a3b9e349e7d181a51e38d0570950","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c13df64c25f924b8f1a7f3ced12fd17c84996f","datavalue":{"value":{"amount":"+0.7387561202049255","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":"Q6487556$4A0B7A30-D522-44A1-B4B2-8B24BE6DAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d772a77d3edb4b3b3b6eac637eee8f8dc2273b7","datavalue":{"value":{"entity-type":"item","numeric-id":2180503,"id":"Q2180503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77c1469d486401805694669f3b072bd0b94f650","datavalue":{"value":{"amount":"+0.7361299991607666","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":"Q6487556$5A85407D-0D44-4F38-9644-CE3B00BF7ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487556"}}}}}