{"entities":{"Q3095705":{"pageid":3106420,"ns":120,"title":"Item:Q3095705","lastrevid":51359342,"modified":"2026-01-17T22:18:54Z","type":"item","id":"Q3095705","labels":{"en":{"language":"en","value":"An algebraic specification for CTL with time constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5967642"}},"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":"Q3095705$F1BAB534-87D3-4041-9EE6-FF0D91447EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfedc450f356e568175546eb65f40857bac461c9","datavalue":{"value":"1240.65005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095705$F80D656F-F1CB-4F6D-AC35-C6007694BE30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dac068205e85e91d99171316228e511449b34d9","datavalue":{"value":{"entity-type":"item","numeric-id":3095704,"id":"Q3095704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095705$4C022165-1ADA-440F-BE9C-C5944F6EBBE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a96d6bdb946ea07bc8a3c3dc0c12ef4683645ce0","datavalue":{"value":{"time":"+2011-11-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":"Q3095705$E68793E3-7861-4E7B-9616-4AD075AFEEAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a3b56b9370e2a5b7f63132367f814c4ec6f1c3c7","datavalue":{"value":"65C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095705$935A6D8B-019A-432D-B751-DCF36D17A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095705$002C669D-CF7F-431D-A056-5B4A4331B147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095705$E188335E-CA94-4173-89E3-12342BA7FC8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a7b920cac73834e78077ee22f7b94f0ea2fc72","datavalue":{"value":"5967642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095705$FCE6D112-C080-4EA8-A544-7EB451B3A27E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2220f226907b54adc801c99b4e1bc856687c8559","datavalue":{"value":"ANTLRWorks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095705$5579EE34-C198-4FCD-9AA4-9A4B81CAAC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b633e5d87fad5f5ee4ae7a55adfcb230bc00b4","datavalue":{"value":"CTL model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095705$B49044EC-46FC-4E7A-A423-410FF00DDEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3095705$5001B0A3-9943-47BC-AB78-3AF39CF452B0","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":"Q3095705$7D0ADA89-8E83-4349-86CB-0034F0D09295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145ad8e54eeb28c2f310e860dac5ad16d8c98e59","datavalue":{"value":{"entity-type":"item","numeric-id":1600653,"id":"Q1600653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3484d45733269c83c9cf0075534487d86a6a1c17","datavalue":{"value":{"amount":"+0.8702136874198914","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":"Q3095705$EFE6831B-257B-4E60-8A9B-8531116E2FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edf120a3531e23ee31563694eada91679c5b270","datavalue":{"value":{"entity-type":"item","numeric-id":3164837,"id":"Q3164837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eac342ef598f8ca5982d1cd2ec51c9b1375f9b4","datavalue":{"value":{"amount":"+0.7646653056144714","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":"Q3095705$B43250D0-19C7-43BC-8A4E-F2D113D55088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8dbfb6fa20f9b2a91876183c04890b69b0227b9","datavalue":{"value":{"amount":"+0.7551767230033875","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":"Q3095705$43A8190D-41DD-4E48-BDA2-9DDE457EEC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703098d28f9d515f26515b8f0364c519314d5033","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b146985524558b9e5ac60eb802428ca12e8df5b","datavalue":{"value":{"amount":"+0.7538809180259705","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":"Q3095705$0E1DE7E5-9BBE-4D2E-9699-F67EF0502C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a7ddbe37553b7618f45e9c502ddbc403ce0d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2771065,"id":"Q2771065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b8b5f28e97df8949eb7d26dfc4eaa1d7058fb4","datavalue":{"value":{"amount":"+0.7487145662307739","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":"Q3095705$DC9FE67C-1C25-4A28-B3E7-62F8A954271B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3095705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3095705"}}}}}