{"entities":{"Q5902543":{"pageid":8012201,"ns":120,"title":"Item:Q5902543","lastrevid":50871671,"modified":"2026-01-15T12:44:07Z","type":"item","id":"Q5902543","labels":{"en":{"language":"en","value":"Temporal logic based static analysis for non-uniform behaviours."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655966"}},"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":"Q5902543$E656674B-4A86-4C12-BC26-98998A90FACF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902543$7F0D452D-54CA-4CF1-81A4-C9608C5C6987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"616861930c6310cf4d06b2304885f25409e890c5","datavalue":{"value":"1253.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$D6E5F03F-BA1C-4CB8-98A9-D88678596853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e72baf1826fcadbca701f3f4b5aac0e20b8ea7e","datavalue":{"value":{"entity-type":"item","numeric-id":3654898,"id":"Q3654898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902543$F497FE17-A446-4826-86A3-73B29C9246CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da0ead3e796cb81313b10acfc741b0e5e1a66bd","datavalue":{"value":{"entity-type":"item","numeric-id":2279136,"id":"Q2279136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902543$C2E82C03-EA57-425F-B7F8-BEDC481136D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947999c367037277243554e8f44908cab3697255","datavalue":{"value":{"entity-type":"item","numeric-id":2147211,"id":"Q2147211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902543$C5AE1759-C658-470E-9043-C272C1496901","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":"Q5902543$5760AE95-151B-482C-8B7E-C80BAEF93A48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902543$734CFA24-047B-4C4A-84D5-30495C7DAD0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$8A57C1CE-3846-451E-9B93-4F693BAED93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$3BFF7CF3-2FD2-4FF4-9AB2-19313D50C07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$8BB77D02-1BA3-475B-B83E-76F8E08F035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$B30EE6B1-4181-42AE-8EAD-61322109C68A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21ef714097924c25384dfd84b4d2ed9e0eff8d55","datavalue":{"value":"5655966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$9F348942-35B7-437B-BF2A-289809FF090F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902543$E8351BF6-AA74-4AF7-9872-724EDA0C0414","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":"Q5902543$EAC72F18-239A-4673-9C6D-5690C66EE496","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902543$778834D5-D829-4F3A-87A7-5CA1A5B7935A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$953B617D-8B81-4070-B123-C2720133657F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902543$BD444252-2240-46A5-A316-219D59FC9029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77099894e6a2a274fa50a6addbdb019b2607c432","datavalue":{"value":{"entity-type":"item","numeric-id":2761739,"id":"Q2761739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa90874b2ad1c16bfa3024052273e94b39c68f5c","datavalue":{"value":{"amount":"+0.77830970287323","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":"Q5902543$06F4797B-A9D6-4819-BE02-667B137E5331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b5c514460f59453bfa2da7c425a032a231f499","datavalue":{"value":{"entity-type":"item","numeric-id":4366597,"id":"Q4366597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88256b9895279c53188783eaa986a28024bb7731","datavalue":{"value":{"amount":"+0.7740829586982727","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":"Q5902543$F17BB648-2172-48F0-8C47-5EB85FA843E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6b85098507e64a1324d0ec2227ea4517e429d2","datavalue":{"value":{"entity-type":"item","numeric-id":4989485,"id":"Q4989485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159868b496aae0c8ea2b4eb5fdaec70860deedc5","datavalue":{"value":{"amount":"+0.756912112236023","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":"Q5902543$77AEBF4B-E8AA-4769-B7AF-ED0C6BC1A790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce774291015f30425e26b8d875073ad7b896e26","datavalue":{"value":{"entity-type":"item","numeric-id":4251118,"id":"Q4251118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb2686ced6f140a7bef71f130affe077b0127c0","datavalue":{"value":{"amount":"+0.7411346435546875","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":"Q5902543$F5DE30BC-FAE5-46B8-92F6-9B6ECE9B3091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df3e68a7e042096e6cb015860fc641a208aadd9","datavalue":{"value":{"entity-type":"item","numeric-id":4536621,"id":"Q4536621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7b59c1dcd3601ff10b322d0190a47a3e6272e3","datavalue":{"value":{"amount":"+0.7270397543907166","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":"Q5902543$1F5AFA2C-B4E6-4839-90D6-8B37DA8F8FC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902543"}}}}}