{"entities":{"Q3525092":{"pageid":5554996,"ns":120,"title":"Item:Q3525092","lastrevid":50457017,"modified":"2026-01-14T02:37:37Z","type":"item","id":"Q3525092","labels":{"en":{"language":"en","value":"Regular Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344416"}},"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":"Q3525092$B2C2656A-2B86-4318-AFE3-DB3E9E3ABF3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a84513add300860021d668b14ad7a6d19c9d34","datavalue":{"value":{"text":"Regular Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525092$D91BAB7C-CCE6-4461-A062-887A4DDA0212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2457d76eb8b583e5c612fe49db9776dfd4e6400","datavalue":{"value":"1147.03305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$88A4EF64-9759-40B6-9662-3356BE5307EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de355fcd6da62540a9ee53acd0f1a9b5a665f47e","datavalue":{"value":"10.1007/978-3-540-75292-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$7FA44DF7-B2FA-46E3-9455-6A11EE7CD28A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525092$2B92D411-6E44-4E88-A5F4-D105F2A318EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525092$1CE9BD51-6C2E-4433-8E6F-56034B2F5A27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525092$2612967A-AE99-4489-A90A-CE8DE1965548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525092$8F2AEE5D-8B17-4418-A0EE-C614AD6322D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$87064A44-601E-4A42-BEBB-AFE1003EAD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$A7B9DDBF-1EBC-4846-B233-24FE15A1ABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$6E2D472B-5B11-46E5-8444-3C80A71AF1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bc8b661766f32aa41b3d8a7f538e6fc3aa91620","datavalue":{"value":"5344416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$2A8AB04D-7794-4454-848E-892E25590F82","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":"Q3525092$4EF32C0D-6061-490B-8850-33203B1CF9B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"246998a4ff1c685970e3683d57e58d1b36255085","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525092$6AE9892A-DBDA-4B66-A9E2-805799D6CA5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9485e4bfc66ec178818de6be5d8a5f55c8810d9b","datavalue":{"value":"W1513400763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525092$D25C96AD-7479-4061-A04C-8EF5C2C4C0D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93557b2140ff17446b553cd8c1e7da2661618531","datavalue":{"value":{"entity-type":"item","numeric-id":3656890,"id":"Q3656890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d816339037ac33be495642b77928bb815af6a6","datavalue":{"value":{"amount":"+0.8949331045150757","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":"Q3525092$5EFE7016-4801-4899-B4B4-45FBC920B778","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":"28e77fb07cb1fbf62e31f91c8b72c7dadc62619f","datavalue":{"value":{"amount":"+0.8315855264663696","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":"Q3525092$63D89C68-1BE5-4082-B90D-EBCD90FCAF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9018f40cfa0299e739307b304de38d6bc4fa0527","datavalue":{"value":{"entity-type":"item","numeric-id":3525631,"id":"Q3525631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feccf1b3a4182ebae78b57bdca4298f802109a4b","datavalue":{"value":{"amount":"+0.8287758231163025","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":"Q3525092$2DD3FA4B-E057-4F59-9179-BA6EEA154AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a727728c823d941a76dd62f43e5f0649aab66c","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d478b7e0b6fcf603328d365961fd8c6440a5b7e6","datavalue":{"value":{"amount":"+0.8134818077087402","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":"Q3525092$51212204-7F02-4645-B2E5-297D379D6851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88759a13cb4d23b8ba7dd2545173bdb2c8d36186","datavalue":{"value":{"entity-type":"item","numeric-id":5898456,"id":"Q5898456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc7b719e7fc328c07669fa324a77e5322e213e6","datavalue":{"value":{"amount":"+0.7972677946090698","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":"Q3525092$6599D32D-94A6-4B3C-8F81-E4A1FE6CD89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525092"}}}}}