{"entities":{"Q3623944":{"pageid":5653850,"ns":120,"title":"Item:Q3623944","lastrevid":50640866,"modified":"2026-01-14T16:06:48Z","type":"item","id":"Q3623944","labels":{"en":{"language":"en","value":"Accelerated Modal Abstractions of Labelled Transition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547663"}},"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":"Q3623944$D332F8C1-DE30-4246-AB11-B08B90C7C3A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1bcb00c92812942b12a159ae3403c11af379cf2","datavalue":{"value":{"text":"Accelerated Modal Abstractions of Labelled Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623944$3AB300AC-A1A1-49BF-83C9-0D17DF1CD18B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8697ce28d151e874148939349b7cb319dd619eb","datavalue":{"value":"1236.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623944$3E39A615-A5A5-4912-AA52-E47995862A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915868a56a1d277fff9fbc656660ed4825b01480","datavalue":{"value":"10.1007/11784180_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623944$F6F296DA-661D-4834-A0D4-6B947A094B0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e294a88736c94f19513e5548eeafd88b875b5f8","datavalue":{"value":{"entity-type":"item","numeric-id":883138,"id":"Q883138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623944$CB084D43-C5D4-41D4-9398-F0C28B05CCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623944$9C94BAEE-D378-4C01-BDBF-2F91449CC967","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623944$F6A7038D-8E91-4025-8EA7-920BBFABA44A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623944$1A1D73FF-54AF-40E3-85F2-C6FF151D08CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623944$CF60560A-A2EA-480D-8C01-E72B95142E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623944$5F091FDE-65C7-4271-B4B3-ED7BC4DF4E8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf26875b52094511482ea75a7bb17768f2d7bf8","datavalue":{"value":"5547663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623944$B90A495B-F689-4023-A005-D1877CE39943","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623944$381FBADF-31E5-42B2-960F-133C450A7EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6aa9fd56093cfb020406fbde474e52d3eaa56029","datavalue":{"value":{"entity-type":"item","numeric-id":22088,"id":"Q22088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623944$C1157AA0-9A10-4021-A4C1-93DB6A60E035","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":"Q3623944$1651663E-9141-420C-8F0C-DDDB411A5146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87a4b2c41bfd3f931c52bbaac188e2b0161511b7","datavalue":{"value":"https://doi.org/10.1007/11784180_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623944$A1253C4F-8211-4A60-B6F1-D6698E9AE170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f87c719026f6848360e378bdf6b13fc797dd8eed","datavalue":{"value":"W1490223771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623944$8BB5FA00-66AA-4FD1-BEBE-FB8267B55FE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5a2734d06b7fce815b9ad42a494e3cb25021c3","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73925fd8c9b14200c63abaaa8345e6a2e5d4a637","datavalue":{"value":{"amount":"+0.7940370440483093","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":"Q3623944$32B6E219-4E07-4979-9A90-F6990534DB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a99cf25d737fad764ccaba7dd45bc4d5654ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3941c066c3a06266b19214b404cd4ca468f7cf9","datavalue":{"value":{"amount":"+0.7735285758972168","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":"Q3623944$5315BDF2-6440-40EF-AF92-25AA563A1937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edcaba40c26ba6d8ab33d9c18f107e4f8d976f2","datavalue":{"value":{"entity-type":"item","numeric-id":2909731,"id":"Q2909731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5896841c15ebc3c6df3191f88388678acef56420","datavalue":{"value":{"amount":"+0.7705938220024109","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":"Q3623944$FB8B3019-7836-42D3-AAA1-E7B559AB5A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad03ff6333c3ed180eebe7337a643a70d2c0de2","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3671a1a28b855664c01bd5767413a5a0f749c6dd","datavalue":{"value":{"amount":"+0.7658265233039856","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":"Q3623944$44A3BBBE-C142-4B87-9D52-A97E0714B135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82f0bbe6fe4ac21a2c7d247b4e38d51f22ba51c","datavalue":{"value":{"entity-type":"item","numeric-id":2946636,"id":"Q2946636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924b543200af363d678b76d3c76fd162d3906a0e","datavalue":{"value":{"amount":"+0.7580682039260864","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":"Q3623944$991E68FC-0337-4A5B-8C3A-E69C8593687A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623944"}}}}}