{"entities":{"Q1884965":{"pageid":1895707,"ns":120,"title":"Item:Q1884965","lastrevid":69186936,"modified":"2026-04-13T05:20:49Z","type":"item","id":"Q1884965","labels":{"en":{"language":"en","value":"Vectorial languages and linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2111050"}},"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":"Q1884965$DA51DFA4-14E6-42AA-BEFE-0AF5B67B0D16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12457e8e8aeadfc1375a83c94fdae5809c22a159","datavalue":{"value":{"text":"Vectorial languages and linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884965$CB338224-A312-4508-8FD5-6BF6F3C5AAA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bb69fa3a7b35d2149ff091cab78dd0ac1cb77e9","datavalue":{"value":"1071.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$40BE674B-1DC2-4C1A-A329-2646EEEC9BFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"867fb9c6e454a63ebf5b4e83b887d8df59435cf2","datavalue":{"value":"10.1016/S0304-3975(03)00346-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$7CDEBD5A-FBC7-45ED-8A0E-A0267A866E15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$A4260D0E-40BC-44AE-B98F-BB5DFAD219A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$528D2237-28CE-407A-B0AD-7308579AF35E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7e0e3052327d95a916620b2fc1dace533c4c66d","datavalue":{"value":{"time":"+2004-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884965$E824EE4E-13B5-4FF0-B61F-04CDDA593118","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$3DB8600C-F432-46E1-976A-C72DB6F2E5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$8EC29E8B-8338-465C-8E34-8BCE919E0F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$88C5EE96-7982-4742-A002-2E43129CE2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$7A6600FA-AEE8-4021-B5E3-6EFE88274A20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a76a8c5335240eba45f440b5950765c36ca9e7f","datavalue":{"value":"2111050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$DAE7817E-246C-44EB-93B2-2A7F46B64D42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e84301384c2948a6869f14689de8f08f65fd5cfa","datavalue":{"value":"Parallel automata simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884965$87445416-3D0E-4CF2-8690-9A0B4BAFFCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed9067b8c535f710e4d11278a985d30892a207d","datavalue":{"value":"Linear temporal logic and extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884965$DC04D30C-54DA-4EB7-BA72-73804928953F","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":"Q1884965$C734CAEC-64EE-4367-849E-E90EA5BE2528","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"565a16f8080c18a92391cd66599c784f927f2e0e","datavalue":{"value":{"entity-type":"item","numeric-id":4412565,"id":"Q4412565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$70F9E6BC-872F-47A8-A4A6-8A527C046E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598542d4fca9f46220488fbe191bd61c9549c657","datavalue":{"value":{"entity-type":"item","numeric-id":3021938,"id":"Q3021938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$471C19EF-A35B-4EC3-B747-4D6FCEA582B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$E166B1BA-3227-430D-803A-9E447A8A98EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$90C3307E-9A53-4979-86B2-0195242A361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$0B5FFAA6-BD06-49D6-8174-52F786470FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$85A317AD-73DF-4255-B7CB-0ED68654EB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$2B681C0E-DFCD-46D7-83FC-AB09EF2DEC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9844351f58878ba449a8fd8cf45bb4cc809d46","datavalue":{"value":{"entity-type":"item","numeric-id":599182,"id":"Q599182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$544CC55E-8392-4E0C-BD12-52823E827EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$8F67A4F1-BA06-4DC5-93F3-C38228FC14FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546f4d086c0636fbf1f6ee05616645e1a9d8a89b","datavalue":{"value":{"entity-type":"item","numeric-id":4251040,"id":"Q4251040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884965$77847E9C-4097-489B-96FF-BFE1B550A026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"933c2083684f3885c3410f04692ea71b2fd9baff","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(03)00346-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1884965$0558B480-F25F-45A0-AABA-A7CBDDD9FA3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aac39b568d0f1e5abda45daf93567d2f726d233","datavalue":{"value":"W1991413205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884965$2EFA70E1-6E51-4A5D-B538-1BD7B54856E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d260bf3d60469e39c3cf9f6d3753d90856e93b","datavalue":{"value":{"entity-type":"item","numeric-id":2842793,"id":"Q2842793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ad36dd7b62cf9c1220bb2053460ecb2834ed5b","datavalue":{"value":{"amount":"+0.7629088759422302","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":"Q1884965$3859553C-1F6E-4E27-B1D0-314AD5C0C9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201368f841e9caa2439fb2243297c25608abb933","datavalue":{"value":{"amount":"+0.7399462461471558","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":"Q1884965$5FEAAE4F-8244-4A41-9AC1-E13DF5D9761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c21ad3414423b1db380ffde80a3c9d4c517a7e5","datavalue":{"value":{"amount":"+0.7399321794509888","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":"Q1884965$F81B2A32-CAEA-47E3-A884-623F94036B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25afcc95721b7fe2091e3b03a1a2d95794deed7a","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8815202be6acfc0e97c91ec05a3a75718ef8549f","datavalue":{"value":{"amount":"+0.7395836114883423","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":"Q1884965$2D5F64F7-1F42-42C4-A14E-69049A091DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5a0b80c8bd7402d05d3a69165877c4c40367f5","datavalue":{"value":{"entity-type":"item","numeric-id":1426154,"id":"Q1426154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2d5327fc66a243c47300088fd3e1aef02c7a99","datavalue":{"value":{"amount":"+0.7321549654006958","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":"Q1884965$C29459DC-4FF9-4438-BCC6-4436FEB1DA77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vectorial languages and linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vectorial_languages_and_linear_temporal_logic"}}}}}