{"entities":{"Q4649387":{"pageid":6678968,"ns":120,"title":"Item:Q4649387","lastrevid":58321317,"modified":"2026-04-04T17:24:52Z","type":"item","id":"Q4649387","labels":{"en":{"language":"en","value":"Revisiting timed specification theories: a linear-time perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109495"}},"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":"Q4649387$CA6E47B2-4B13-400E-9724-2F53B54CB549","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d6dbd6118c40db6fbce1cdbbae7cbaaa7d6bc3f","datavalue":{"value":{"text":"Revisiting Timed Specification Theories: A Linear-Time Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649387$9165CF20-411D-466C-8E0E-B597271C9CD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b768f834eb9317e4598e431f6c37f3c7c4b17a","datavalue":{"value":"1374.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649387$C2CF771D-2538-483F-92D4-975038D6AE4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9e712a0313c0d4e4192d5643939d036f353c2af","datavalue":{"value":"10.1007/978-3-642-33365-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649387$044DA0E7-164C-40E7-8158-72C6CDAFA40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"535e5f91cc2ad05071b5c14b7adc902e93de34a5","datavalue":{"value":{"entity-type":"item","numeric-id":402130,"id":"Q402130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649387$5AC09257-2353-4737-A113-309853B2D79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649387$08C06DE7-D4D6-4BD9-A730-FD3BF21D289C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ba413d292f7b6fa375ce4205d55ab082f005f","datavalue":{"value":{"entity-type":"item","numeric-id":1708706,"id":"Q1708706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649387$6668160D-0A38-4CB4-93FC-42B373FD36DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649387$E8F72D74-9D6C-41CF-9AF8-AB0AE772B755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649387$7DA134C9-498D-41D4-A1D0-5CBDE013DF02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b76de21c8e23dd0c819b33ddfd82228d011292c0","datavalue":{"value":"https://arxiv.org/abs/1206.4504","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649387$6708AFF2-3B99-411E-9936-CB327FA52FB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649387$0D78AEF3-C0C0-4B4A-AF09-0E0A2423F7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649387$E13937EB-8B9E-4CF2-AC68-C2A44CBFFE24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47719165c6382e3e6ad9705295b038326c9ad1f7","datavalue":{"value":"6109495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649387$0F106F09-53F1-437D-912C-6BC724EEE0ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99023ec58cb8edf3b77b69e31813e135dc52e564","datavalue":{"value":{"entity-type":"item","numeric-id":15363,"id":"Q15363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649387$73862B14-9C04-45B5-9CBC-11B5D45D7E52","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":"Q4649387$7B86F743-1F8A-40CF-B341-6AF61E015EF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"696e127ec095e5454002499406b1881a17eb7455","datavalue":{"value":"W1786563508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649387$117904E6-566E-4D2C-B0B8-9D2CAE8DCF26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c939df2f448c9f51b11ae42bd42c1c7054d1c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d381ba305d49d652330dc623b07ad6a8434cdb6","datavalue":{"value":{"amount":"+0.8653475642204285","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":"Q4649387$3AA71768-9FE0-486B-8E20-C7906785DD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b05de137f3b926136982958b1ca99722a1ca7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84b4aa0c1037288f140d9c275baa1c589e8af6e","datavalue":{"value":{"amount":"+0.8294147253036499","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":"Q4649387$52A6DD61-04BB-4268-9D93-6496C046F9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8827663ee04c1c28074b207f1ec06223ba0cbdd","datavalue":{"value":{"entity-type":"item","numeric-id":1708707,"id":"Q1708707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42486fcd0a615cf59549c39841cbbd91d3c5f8e","datavalue":{"value":{"amount":"+0.810501217842102","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":"Q4649387$07582B71-3E4C-4708-94B8-8214126EB4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b80c8fa301c38650fe3e6cd3bea0ec4c2c25e9","datavalue":{"value":{"entity-type":"item","numeric-id":3172848,"id":"Q3172848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c80fc29b11aa2a986ce4b39189a76bb4a2814b","datavalue":{"value":{"amount":"+0.8071597218513489","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":"Q4649387$81D83437-ECDB-4FDC-AF37-B79EB7964F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40272158df95c099dd128a35de385457baac593","datavalue":{"value":{"amount":"+0.7946771383285522","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":"Q4649387$6420FE95-44D2-4461-ADF7-16513F355BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649387"}}}}}