{"entities":{"Q3523226":{"pageid":5553130,"ns":120,"title":"Item:Q3523226","lastrevid":50441735,"modified":"2026-01-14T01:43:52Z","type":"item","id":"Q3523226","labels":{"en":{"language":"en","value":"Detecting Temporal Logic Predicates on Distributed Computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318990"}},"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":"Q3523226$1F8CE75B-52F4-4F10-8F34-719A05D922DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d8219d5cf981063c0c4e9798eb9b6cb08afb9a3","datavalue":{"value":{"text":"Detecting Temporal Logic Predicates on Distributed Computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523226$846D1251-C8C5-452E-8AC4-D547EB2648FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01c56bf92cd88e866e4a2ed08c035f8f29eeecca","datavalue":{"value":"1145.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$F5936EF7-E6CE-4938-947D-DC695661CD98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"366e599e5bb73b75beefaddcde04ffc3ea12b88e","datavalue":{"value":"10.1007/978-3-540-75142-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$CC49503A-6889-4783-8EBE-F3EF6A67FCB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c628e612f059fa74e4452c8cc9d2f0e4d77752b","datavalue":{"value":{"entity-type":"item","numeric-id":2637313,"id":"Q2637313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523226$BE101294-5256-4E45-AFA1-0A85231C5AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f45f82d5e189cd4082ece2dd91de330307ec2b2","datavalue":{"value":{"entity-type":"item","numeric-id":287189,"id":"Q287189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523226$9868ABD6-08CC-4683-96FF-C63097097C44","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":"Q3523226$D0EA6D47-7A23-42E5-8FE6-F45C2E9C9942","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523226$1AB861C9-AE88-4DB4-9A34-38EF172F72EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$EB8CBFA4-5682-45B3-A640-797BCDEF0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$D28D2E67-B516-4662-B8B5-23A5EAE1D6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$C2CC3F5E-0D82-4FFD-A5D8-0F44793EC915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$1BF1BF19-892C-40D3-AD42-AA4261BDF893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d10ae2e9666f6f70c2feafc41548249d869b819f","datavalue":{"value":"5318990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$D6F5EA23-81A8-4906-A7FC-B1ED0D4FBF83","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":"Q3523226$6F3D7AB2-947C-4EB2-AE92-FE29BFD7C715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acfbe6a86de7c44ac66a559dc731da9c578938c0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75142-7_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523226$DE1B9288-D6BC-4106-8946-AE2B6D6F8C82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66609fd252c41db909629677a0c4605380ce89ef","datavalue":{"value":"W1578211237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523226$BB87C849-9E37-4206-8684-9FB29E7CB467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e356761845d35bbdcd848e94315f9e06e3ab880d","datavalue":{"value":{"entity-type":"item","numeric-id":5466227,"id":"Q5466227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b51d31ec18b9bde5a6d4c2602d87028ea0bf003","datavalue":{"value":{"amount":"+0.8844915628433228","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":"Q3523226$CEDED7A0-9981-4C76-A1E4-9EB1A2950CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10466b3e0e7a4ef6b8ce11bd5b0541d659e658ce","datavalue":{"value":{"entity-type":"item","numeric-id":5137357,"id":"Q5137357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0259641084fc9e881d96b546bd3203d87d73a4","datavalue":{"value":{"amount":"+0.7711418867111206","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":"Q3523226$475A98A2-8F09-4A6A-9834-22FC15E77FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42296bcf346b06ff96a207bb256917d7c320e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2357148,"id":"Q2357148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2146fd11a7a366a9b72af76c786737609c3d1e69","datavalue":{"value":{"amount":"+0.7688148617744446","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":"Q3523226$3A0A3C62-3A06-40D7-98FC-FD2BCDCD3986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d50c35445ea77d0c6a67e5c05becbaef0f0a41f","datavalue":{"value":{"entity-type":"item","numeric-id":5896942,"id":"Q5896942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7f648b4754c2e970558cdf06f9e68057d54727","datavalue":{"value":{"amount":"+0.7609627842903137","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":"Q3523226$4C512C5B-DE6C-4B40-9B92-95EF541B3D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d024a3fc147ecd6bfb3b9e8d316393d2aada5a82","datavalue":{"value":{"entity-type":"item","numeric-id":5137897,"id":"Q5137897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fee9b6eec3549b40b674e7e11b0cb753580408c","datavalue":{"value":{"amount":"+0.7585288286209106","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":"Q3523226$D016FDE9-F7E8-417A-97B0-F4D2BBC82325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523226"}}}}}