{"entities":{"Q4790927":{"pageid":6820507,"ns":120,"title":"Item:Q4790927","lastrevid":74791947,"modified":"2026-04-15T00:21:43Z","type":"item","id":"Q4790927","labels":{"en":{"language":"en","value":"Modeling and testing object-oriented distributed systems with linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1863575"}},"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":"Q4790927$032023C0-E87E-42ED-8625-0FFA9C80F9C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6057c548ad2775ac83f45665f73807b3ca44dc1e","datavalue":{"value":{"text":"Modeling and testing object-oriented distributed systems with linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4790927$7C773BF2-5A2F-4789-8ACB-40525D6034DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78121b85583f86c3ac937c587cf363470104b601","datavalue":{"value":"1008.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790927$A8C0E852-53D8-4FE9-BB0D-BD711600A1E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e33c246ddda0f045756f52520d48aca3ce4f9040","datavalue":{"value":{"entity-type":"item","numeric-id":2744780,"id":"Q2744780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$C1F65348-D331-49CC-B80D-3B36736B1AFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef222cac3ea6185ed6f2b7072390669e1f36763a","datavalue":{"value":{"time":"+2003-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4790927$83272A1A-4363-422D-8059-F7127E8743FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"324f1803c14bd15763f6ed43d7c9c754b4527d4d","datavalue":{"value":"https://infoscience.epfl.ch/record/379/files/DietrichLH01.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4790927$EA88E3EB-D9C6-4AC6-93FF-E24CA8120D29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790927$5AEEE3DC-D330-4464-B1AF-AFAF8ED90A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790927$E16FA88E-65C2-4DC3-BEDD-34EB85F10902","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b7ef73695c2a4103de5b588c55dc6e9d41397bf","datavalue":{"value":"1863575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790927$97B1FA7C-616B-4486-94DF-772D54D64DA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8eb7d8c3f2086b083c4a6a9925496917122093","datavalue":{"value":"formal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790927$890AD590-C7A4-4556-963D-94180906481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a650e824d62e1acc50444bb73d90ffd42d40c367","datavalue":{"value":"event-based behavioral abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790927$01CBCAEB-BCA7-4535-A6A8-2B3B6F007CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790927$B8D91EBE-DE02-43E0-9294-4BAA36EF2726","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2ca14962b57bc6d6077e1004937020e349067d6","datavalue":{"value":{"entity-type":"item","numeric-id":13989,"id":"Q13989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$721424FE-C2C7-4BD5-B18D-B715475DC386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$214D6070-3C75-4D04-A541-8A84E276EFDA","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":"Q4790927$BC5A8B8E-BB54-4C3C-AD48-A5DC9E130BCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f34e6839a6dd33ffa80d59ad58e050a767ef4a0f","datavalue":{"value":"W2003501727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790927$BB136192-0644-4BCD-85BF-6EE058CA58F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$33D1484F-BABA-4A2B-B3DE-A1B427EA42F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a2454ea55cfee5516cb80e39af7a8d156fa806","datavalue":{"value":{"entity-type":"item","numeric-id":4849647,"id":"Q4849647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$3EC4F325-A922-4D98-A7C3-18D0D9AE4BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d901feef31d22a26c267174c7762d954c5a0e7d5","datavalue":{"value":{"entity-type":"item","numeric-id":4035224,"id":"Q4035224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$2DE50AAC-2F23-4DF8-B88D-862865B09581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$66391DFA-F607-4FE0-93A5-0B9BA130BAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a3f4ca8e3e5917310427504db1925aa32f73f2","datavalue":{"value":{"entity-type":"item","numeric-id":4697195,"id":"Q4697195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790927$6BCD669E-9815-487A-8927-6BAEC709CE27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9295063bcfe54dacdad86c41ec0d252069aed0ae","datavalue":{"value":"10.1002/CPE.571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790927$93C155C1-3C86-4C00-9F0D-1561A43AD579","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636e0f6b9fac92841d161e6efdaff937fb222950","datavalue":{"value":{"entity-type":"item","numeric-id":4223006,"id":"Q4223006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78cad5a8b898013cc3fe7e3d524087bd3b8b82e5","datavalue":{"value":{"amount":"+0.7497131824493408","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":"Q4790927$C7453FBE-ED0F-43A8-B6A2-91EC24D473D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77be3db9d63b6bc13bbc1313f6cab1b8df34248c","datavalue":{"value":{"entity-type":"item","numeric-id":4251123,"id":"Q4251123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3775b9c774a1f031716085504933f2c99f872db5","datavalue":{"value":{"amount":"+0.74848473072052","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":"Q4790927$5AC8300E-7570-4F7A-9A50-DE9BACAB4A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cfe5316668a61004dc55e01e01fdf1a79bee10","datavalue":{"value":{"entity-type":"item","numeric-id":4375195,"id":"Q4375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3775b9c774a1f031716085504933f2c99f872db5","datavalue":{"value":{"amount":"+0.74848473072052","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":"Q4790927$4C118DD3-DEB5-4712-9A90-B9CFEEB2F5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7215f146c06bd245381c2c5131856b53ae73eed","datavalue":{"value":{"entity-type":"item","numeric-id":4762660,"id":"Q4762660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5f44336359e1c967fd01571d88b5d3e590a960","datavalue":{"value":{"amount":"+0.743358314037323","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":"Q4790927$965F1F50-B13D-43BC-9C15-F1C84A854AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f74c66447e71f38267b8dbcff9d38adaf2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4870817,"id":"Q4870817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6fd10782e2ecf82132962df057838c0c02a48f","datavalue":{"value":{"amount":"+0.7153253555297852","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":"Q4790927$A3962B6B-1427-4F09-A6E2-8DE0FD7F7777","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and testing object-oriented distributed systems with linear-time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_testing_object-oriented_distributed_systems_with_linear-time_temporal_logic"}}}}}