{"entities":{"Q2324220":{"pageid":2334963,"ns":120,"title":"Item:Q2324220","lastrevid":56796291,"modified":"2026-03-23T15:22:32Z","type":"item","id":"Q2324220","labels":{"en":{"language":"en","value":"Generation of minimum tree-like witnesses for existential CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105326"}},"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":"Q2324220$7760BD44-3962-403E-9C17-05281A934EF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f95e226bc8c61e4cb74edc9f7890817b208084a","datavalue":{"value":{"text":"Generation of minimum tree-like witnesses for existential CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324220$46220858-ABA6-4DD0-89E0-19D81C9B0461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ef7f7f90243023273e8fc0a272fe3f8f7cfb2c4","datavalue":{"value":"1423.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324220$70CDA5F7-90CE-4968-9B2F-5F365AA8196B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ad555facc133dcdde09115e9d66519a94503b4f","datavalue":{"value":"10.1007/978-3-319-89960-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324220$44D770E1-DCC8-49D7-A68C-1888022C03DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa2fab7114b715c2524682a9493c3f0a5808f53e","datavalue":{"value":{"entity-type":"item","numeric-id":2324219,"id":"Q2324219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324220$20A4155C-C960-4AC9-A2FC-CD9AF91C4209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324220$C8A4D25D-3CE8-4325-A378-EB4310FFD181","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324220$1247DA5A-B3A2-4CA2-B312-E3FE77E385A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324220$FE954F4E-D43A-49FC-A610-11C87F2A70AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96092042218d35539c771e8692cc51887567bb4","datavalue":{"value":"7105326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324220$2BBCDE52-FAC2-4559-9B92-DCCB5ACA17DE","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":"Q2324220$74F0E7B9-C533-48F4-823A-5179E578362B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc58a52ffb223f85bee8d1a65e878812c2df04cd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89960-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324220$E8B97BEC-F764-4D89-802B-F0A828B72D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab0afeb820d8296b6dfd21b3093ddb9aa435b89d","datavalue":{"value":"W2798252674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324220$4520C938-1673-42B6-84A8-3C6D49C21E8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ac60df6efcdf2ce1d47a22c95fc8e8c2023fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5464474,"id":"Q5464474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3ff06f43fad117d141ee4a600bbe3487ed02e0","datavalue":{"value":{"amount":"+0.8004228472709656","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":"Q2324220$77B9F57F-FD66-4E3A-BA73-B373BDBB196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3a783aee1c99214f2ccffb145084ad2c4cd9da","datavalue":{"value":{"entity-type":"item","numeric-id":5305642,"id":"Q5305642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad32c7687555de509fb5a9926f6e2fe650c98846","datavalue":{"value":{"amount":"+0.7193987965583801","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":"Q2324220$E9FD06D1-8598-49DB-8A34-C2CC35CF9FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ada2c4233c1c1c12e3f6fb91891afb566676489","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5915710e2dcee39bd0b9a52243aef0373152837e","datavalue":{"value":{"amount":"+0.7137518525123596","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":"Q2324220$32535BF8-3CDD-430B-8C91-5BE74CE34D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa2af0c2736b86a0d609e02c2adefc49ade8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6844f3add51b79c2fd82bf4f13f89b1393d244","datavalue":{"value":{"amount":"+0.6970984935760498","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":"Q2324220$C1D0B4F5-1970-4DAA-9537-37E2BA07BD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94de5c99c326ae6d3babe173a21a16455362b3ec","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04daa1d0144dc87530d1719f21cba113d4349b2","datavalue":{"value":{"amount":"+0.6960420608520508","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":"Q2324220$56E84EE0-1995-4A0C-97B9-20DF4008D8DF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324220$83AA4D3B-CAD8-4485-893D-42F3167D6DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2324220"}}}}}