{"entities":{"Q6080272":{"pageid":13214579,"ns":120,"title":"Item:Q6080272","lastrevid":39688281,"modified":"2024-12-30T17:15:09Z","type":"item","id":"Q6080272","labels":{"en":{"language":"en","value":"Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7744951"}},"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":"Q6080272$84BDEEEA-CFD7-480F-9833-8C77C0F512B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080272$F06015E1-C6F3-4EBA-AA08-1BF377BE90ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080272$06291A28-062C-494A-8B9A-788ADF6A0420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080272$7117F4F7-7E00-46CE-BEF1-2C79DC413F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"412f079664ba65c2fedeb06aea32b2175f2facff","datavalue":{"value":{"entity-type":"item","numeric-id":6080271,"id":"Q6080271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080272$E794C6D4-7F95-4EEB-AE49-A21F82E293AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e68dcb3ce5566cf2b4bd7c1def923cc7a3f373d5","datavalue":{"value":{"time":"+2023-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6080272$C35E8172-5553-4CC4-A6FD-27AADB05785E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080272$2E7B8040-79D3-4D26-ACFD-CAA0E88830DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080272$C86D7ECF-160D-4288-8AA8-DE27CEECE79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080272$EBF2B608-EB9E-45F2-833B-440C94075AB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1da12b05eb0152874a2f3f31fae21814407f8c47","datavalue":{"value":"7744951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080272$99FE0215-FE05-48CC-AC1E-E404BB82B216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080272$D2CEE987-061D-4A86-AF66-D310CCC7E440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080272$1D92F32C-9CD4-4D9F-BF5B-ED92FE8011B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f32da33328b7f07187bdfa4fcf59a6d7d5fc400","datavalue":{"value":"LTL+Past","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080272$36C0A3DD-527A-4BE9-AAF8-067FFCA2C804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080272$E96404BA-3B54-4004-B37B-281F0FD7A1BC","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":"Q6080272$3AAFB463-D890-4A3D-950A-9312C9FBDF88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0c8f6fa3303025a3a50c5db8bafd95c9eca0656","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.TIME.2021.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6080272$77ECB98C-54EC-44EB-84C0-6596C485CE77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06021321bf39c75b1855e3eaddc130348c8062aa","datavalue":{"value":"W3203444134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080272$A6043EAE-80AD-4531-903C-142A3DC8DC3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8170222cfd3caeaffe8d58228cb648407f37306c","datavalue":{"value":{"text":"Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6080272$05449D2A-3FA0-42C4-A09C-189A3DDF99BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9185a84e0a47e40303b562b5c8801c645141c3d1","datavalue":{"value":"10.4230/LIPICS.TIME.2021.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080272$CA14697E-B512-4E6D-8B0D-928C10C74A41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6080272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6080272"}}}}}