{"entities":{"Q3522914":{"pageid":5552818,"ns":120,"title":"Item:Q3522914","lastrevid":50446031,"modified":"2026-01-14T01:59:42Z","type":"item","id":"Q3522914","labels":{"en":{"language":"en","value":"Branching-Time Property Preservation Between Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321066"}},"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":"Q3522914$E19BDC0F-B02C-497B-A01B-DA277C26FC47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b853c3c370d6e6c055cf92f95e845358a8fc342","datavalue":{"value":{"text":"Branching-Time Property Preservation Between Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522914$2EAEBB9A-A325-4DA3-AA48-7B441BDFBB45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3716a6a154a5898b90a4f70cab18abffd12b0716","datavalue":{"value":"1161.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522914$BC6BF04D-6AFA-4E71-9F03-886C160BA09E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5979d6f811b1327827f914f54fb83992dfe8c9","datavalue":{"value":"10.1007/11901914_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522914$E711D181-2FBF-4C10-971A-0AA6691C9118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30dd9e84eb69befeac0e37758afdc412e66f5cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2189770,"id":"Q2189770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522914$FC98EA6A-C3B0-461F-B800-EB18B70D22CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ff561bdeae8e94948cf506c4e9c9526a00ca65","datavalue":{"value":{"entity-type":"item","numeric-id":2766660,"id":"Q2766660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522914$17D59E4C-E58C-4606-A0F1-6D8718F37124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d97751b7b5759f9ed4d08a94a43504384a913ee","datavalue":{"value":{"entity-type":"item","numeric-id":1400385,"id":"Q1400385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522914$614E91E3-A77B-460D-8A20-142D260375D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3b2668e3ad14865f08f842f8e14222831dd9fc","datavalue":{"value":{"entity-type":"item","numeric-id":836398,"id":"Q836398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522914$99C9F554-2702-4FBE-9797-DB815C393A51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522914$0D5CC1C2-81B1-40EE-82D2-F209AF59EB3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-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":"Q3522914$4BB3ACCD-9E46-418E-A8D2-64EC48717774","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522914$4F96FCF3-A29C-4D7B-B5DB-AACECDFC09F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c31c2ef45a3a13881825ecde0347c6e80cb04020","datavalue":{"value":"5321066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522914$94A1B73F-0FA7-40FF-9881-BF2E78D5BF70","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":"Q3522914$A21BAC18-1D1E-43B3-8B78-A9E616057CF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8338274858a1f38b1abbcea2f6bf823e515c1212","datavalue":{"value":"https://doi.org/10.1007/11901914_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522914$3073EC7A-069D-4476-A624-046B01B7509F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a223eba6e290b629a5838a759c9c1f2dfdf1d532","datavalue":{"value":"W1595849386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522914$011D3648-119A-4756-AED2-38FDE914C554","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af286792870d8aa1aec99402699fdee8187572d","datavalue":{"value":{"amount":"+0.7681599855422974","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":"Q3522914$EECBC46F-5139-4EB4-AEDC-BB63DED8630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65c8fffdba38bdabc49fcdd9e28a660d4f7c043","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4560df4171095a8c0194034227b2706ef8482d7e","datavalue":{"value":{"amount":"+0.7666400671005249","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":"Q3522914$AD6A0928-B319-4403-BA05-A2906C84A5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52090ff2a02da2d3996f1a5f1ce9855a64790cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2642542,"id":"Q2642542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5e2a9bd5c531ce5907f2f60628c0e57a4b328b","datavalue":{"value":{"amount":"+0.7628749012947083","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":"Q3522914$E8DEBD88-78F0-433B-8370-480767761AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141e855fc1ef777fe5f07df9e22776215ec6b678","datavalue":{"value":{"amount":"+0.7425556182861328","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":"Q3522914$6B76C780-B134-451A-A634-2A8DD06DDA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b23ad518fd12deb7a505834cf7eae5600cd4a7","datavalue":{"value":{"amount":"+0.7399901151657104","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":"Q3522914$8FD667FD-EF3C-41FC-89B2-46D6965E4B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522914"}}}}}