{"entities":{"Q3534986":{"pageid":5564890,"ns":120,"title":"Item:Q3534986","lastrevid":49286554,"modified":"2026-01-06T22:01:10Z","type":"item","id":"Q3534986","labels":{"en":{"language":"en","value":"Discrete linear temporal logic with current time point clusters, deciding algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5363907"}},"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":"Q3534986$52AA662D-A819-418B-8DF1-4B59104F7C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27269efc3854000760dc2c5d31b83adae7819720","datavalue":{"value":{"text":"Discrete linear temporal logic with current time point clusters, deciding algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3534986$8F93BD58-B07C-47D8-A140-878BBD5BEAFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71d13a7e3afc31a6e305dd9435bdbaa76c4e14fe","datavalue":{"value":"1298.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534986$49C19645-585F-4E20-B6FC-E7BE72BC7A3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c36da5307491db89324bb3a09d1cf19ec23801e3","datavalue":{"value":"10.12775/LLP.2008.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534986$0777F135-1011-430F-BB03-3D9AD144E257","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534986$C477BA54-DE63-49D6-BECD-F32C2C15817A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b95bf91147476ab26723f123a6ad0d60d5ec6214","datavalue":{"value":{"time":"+2008-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3534986$8E9FEAE6-6766-4BF8-B366-188A819F256A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534986$FAD431F1-AA17-40A9-BF7A-5D5B1B19F948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e11f9943a21724636ae5ed4f3e36b98edbd5387","datavalue":{"value":"5363907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534986$7937B6CB-7E38-4E51-98E8-4F089C956EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3534986$C3EF7AB0-4C67-4701-B548-AA1F34468359","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":"Q3534986$2DB16645-27E9-41F8-BEAE-F2740934EA98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97c14f8938ef1ce217f40737a0fe15d151eb50af","datavalue":{"value":"https://doi.org/10.12775/llp.2008.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3534986$1D20D931-38EC-4390-8344-9DE2819F0B4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a61b4eb02c9440a2de938b167dac7f46fe1744d2","datavalue":{"value":"W2027847293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3534986$F513E8E5-9B93-40B6-8275-4B7A75E9A095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3534986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3534986"}}}}}