{"entities":{"Q5902542":{"pageid":8012198,"ns":120,"title":"Item:Q5902542","lastrevid":50871668,"modified":"2026-01-15T12:44:07Z","type":"item","id":"Q5902542","labels":{"en":{"language":"en","value":"Inheritance of temporal logic properties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655965"}},"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":"Q5902542$3441FC33-0E1B-4603-9DF1-221BC9314283","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":"Q5902542$DE820A6C-5174-46A3-A18A-06302231B336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5877be4d9a1015405d0110dba5444f94bfb48e19","datavalue":{"value":"1253.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$86FFF720-8FC5-4FE9-9C3A-798872660278","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902542$0D05A247-1C49-4238-A642-09C148F03518","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":"Q5902542$E4A385F9-3719-490C-BA76-A9EB23B95D86","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":"Q5902542$A64AF4B8-618E-4C1E-A462-2B19A5DC30A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$4AD45DB7-2B76-4F98-ABF4-0AEFFBFCD381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$486C2430-2909-46B4-8906-FB4C1B89ED58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$50533FEF-DBF0-4DA8-8403-73EF23A5D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$14EE41C0-5B87-41BB-AC19-06E694F06034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd172cb89a4216939e74816d239c7985ddb94f9","datavalue":{"value":"5655965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$414DF1F5-CC4C-4123-ACB1-ADAF78CFEC02","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":"Q5902542$364EA6B2-6811-447C-A63A-B08D83A669AD","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":"Q5902542$E8D0315C-CCD6-4FCA-BC56-B193B01B3D9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$67334FCB-3F08-41A9-B631-BB20B7570D6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902542$D00863A0-EE1F-4ECA-BC2D-E1F3D3281155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2570a90bb198b4560e2365268a09fdf24a6c665","datavalue":{"value":{"entity-type":"item","numeric-id":4332063,"id":"Q4332063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeef4d19a31b32dd888c0da1d5606978e1af5d7d","datavalue":{"value":{"amount":"+0.7836206555366516","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":"Q5902542$6AFAE401-0D65-4A5B-8EEA-0F0A374FA97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb82c5465fee36530fd4cac3c39e3da1800d67f9","datavalue":{"value":{"entity-type":"item","numeric-id":4762656,"id":"Q4762656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7687ccf5fd61b930cf4bd7ad08750941712841e6","datavalue":{"value":{"amount":"+0.7766016721725464","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":"Q5902542$FDA0B479-75DD-4602-ADB4-2AF1C897799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325362c1d06211e43dcf2b54fbf3082dfc09ef6f","datavalue":{"value":{"entity-type":"item","numeric-id":1854386,"id":"Q1854386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7687ccf5fd61b930cf4bd7ad08750941712841e6","datavalue":{"value":{"amount":"+0.7766016721725464","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":"Q5902542$0B994F88-D695-4674-9A29-9F1C29690C0F","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":"7d269f892af1a25f4a2048067f746bc371dbd213","datavalue":{"value":{"amount":"+0.7577952146530151","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":"Q5902542$944AD59F-C7F0-4702-B08F-CE1400D4A1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2571b29adf8f405bf92ace7f08bba2a2e417d608","datavalue":{"value":{"entity-type":"item","numeric-id":4028639,"id":"Q4028639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7382711080a4067c3db12923104f156e4748268","datavalue":{"value":{"amount":"+0.7511796355247498","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":"Q5902542$54555AAF-E51F-44E6-80F2-FC6063DC9DA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902542"}}}}}