{"entities":{"Q5145288":{"pageid":7174859,"ns":120,"title":"Item:Q5145288","lastrevid":41643961,"modified":"2025-05-06T16:48:02Z","type":"item","id":"Q5145288","labels":{"en":{"language":"en","value":"Automaton-Based Criteria for Membership in CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298740"}},"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":"Q5145288$C4FA6194-123D-4387-89E5-4456BF7FF133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa4d06d3724b3a11eefb848a33ac85891d554c3e","datavalue":{"value":{"text":"Automaton-Based Criteria for Membership in CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145288$0B782CD1-B865-47F3-8E64-9914292DB2F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd0a2b166ae02a7a76f53e61d07fe7d4c4824bb0","datavalue":{"value":"1497.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145288$390B170A-3613-4B77-AF8A-838646B05D80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01d02b7bb2e8dcab877050cdb1fa265ddc37511b","datavalue":{"value":"10.1145/3209108.3209143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145288$4A349266-879E-4B4C-9BFB-C1EF9EEB6014","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145288$C54BC9A5-2C24-48D9-A3CD-9EC9BBC67FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71af6958566bd12343a007334d84bbb26c66317c","datavalue":{"value":{"entity-type":"item","numeric-id":5145287,"id":"Q5145287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145288$62BBE7E7-298A-4346-916C-4AF55FB68853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145288$6CF49A2D-D045-4329-ACA5-1647166CCECF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145288$486C4310-693C-4FDA-832A-3F91E889141C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145288$B9EB05C1-CE79-4ABC-9A5A-F72EFF25AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145288$F7A16F7A-F629-4E86-8F39-AC84267E2E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed8bc983e1f38c89cc14fac1e1037d5808376831","datavalue":{"value":"7298740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145288$F3564F9C-F051-42DA-AF96-6D498193BB70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145288$753E58D2-5DEC-4B1A-A904-4ED21002B3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145288$F7270E39-F789-48B8-A4BA-2A4CE49F2261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75becffa6d44a6afa77b34fa6d4eba710f96c81","datavalue":{"value":"automaton characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145288$46153245-A4D8-45D2-98B8-78682F2D1341","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":"Q5145288$0733B88F-ACB9-455E-A1CD-9D10A23A47BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d61195ef75196d50769f5cd4b913b85ca9218be9","datavalue":{"value":"https://doi.org/10.1145/3209108.3209143","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145288$E9ECE715-442E-4417-AC36-7D08A6A0E6D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd81f7e0c7d9d06f709ecbc01fb7e13e5783b3b2","datavalue":{"value":"W2798742893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145288$71CAC81D-511D-406A-93CC-4ABC8700A8CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6035ef751f74f865d277aa0d5b430f6e2a8c69da","datavalue":{"value":{"entity-type":"item","numeric-id":2851885,"id":"Q2851885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d85a49ab000c7d04617d85374253658bf94353","datavalue":{"value":{"amount":"+0.83170766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$6362703E-945D-4C45-85AB-26FA57DD609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1999a726654358971e9803234a1e814aae194a53","datavalue":{"value":{"entity-type":"item","numeric-id":5179062,"id":"Q5179062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2742a3396b95aa69f31cd06b4102b261c61bbed8","datavalue":{"value":{"amount":"+0.8131715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$A38C083A-4763-4BCB-AFFA-DCFD0E96B5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2e2b8f80a58b80ab2dfdf08654c948fc93daa5","datavalue":{"value":{"entity-type":"item","numeric-id":1685784,"id":"Q1685784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62597dc78a6049166a8f3e93d8ef3accddf31f24","datavalue":{"value":{"amount":"+0.80593354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$89E64C7A-D975-4409-BBEA-31C2A7FA1350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f078e5671c54261f174124922a77889ae72225","datavalue":{"value":{"entity-type":"item","numeric-id":3012926,"id":"Q3012926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012f670faa44b79ea6688e8601fe67385fe6aa4a","datavalue":{"value":{"amount":"+0.8045514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$509929AE-C119-41C6-AB6C-06E036F4C6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea11dc349f819bac9481c7dec755ee9415b7ed5c","datavalue":{"value":{"entity-type":"item","numeric-id":2752466,"id":"Q2752466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c2fded29b475f59ad28ffa1e12f46c370ce04","datavalue":{"value":{"amount":"+0.8000997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$86BE943F-7D13-47D3-B4AB-BC27C05A0D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c414ed70b57aaf69cebe5f8cd1571d0a351935cd","datavalue":{"value":{"entity-type":"item","numeric-id":4938648,"id":"Q4938648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c2fded29b475f59ad28ffa1e12f46c370ce04","datavalue":{"value":{"amount":"+0.8000997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$63C2EAFD-1BAF-48C6-95EF-5FACC3AF10ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29ff405ace1f502f2e1b235dcf97c7008a8d71b","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ecf46f03df14d9bc4e5f35ba97222f5cfcbecc","datavalue":{"value":{"amount":"+0.79782426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$664BD0FD-95D3-43F2-911F-29C09ECDE801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb695c5cc0c11c55ddc4099f7b8a328518f8515d","datavalue":{"value":{"entity-type":"item","numeric-id":404012,"id":"Q404012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aeaf79371fb1080b99f1f92f65f2f3b02be4b9d","datavalue":{"value":{"amount":"+0.79713845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$52D54B81-ABA4-4F18-8DBB-CEA04DDEC04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfe1fad7c6add4f1fc98af51639e1cb593a0ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4777207,"id":"Q4777207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e157d142e144cf04e6f3acd06459f13595b97e8","datavalue":{"value":{"amount":"+0.7970131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145288$FAB9AB40-89F1-4128-AB67-4C42A5995127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145288"}}}}}