{"entities":{"Q2863860":{"pageid":2874580,"ns":120,"title":"Item:Q2863860","lastrevid":51884978,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863860","labels":{"en":{"language":"en","value":"Predicate diagrams for the verification of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235730"}},"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":"Q2863860$429B952B-71C3-441D-B1DD-3241B2748A89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d7ff665bcac9bbb7d91a3a22fa5aab02326308c","datavalue":{"value":"1276.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863860$75FCDD32-9F5C-4AAB-BE96-77A9666EFBDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f8dd6bc32fc8200b5f59f775f7cc170beb54eb","datavalue":{"value":{"entity-type":"item","numeric-id":2642984,"id":"Q2642984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863860$D7A5DE91-565B-434F-B055-80CB30BA043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863860$4BD2B339-8611-47F5-9E87-4B75F9DC86E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-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":"Q2863860$D808CE83-2603-4E49-A6DB-925B0834FB17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f0863b2b5231812e5864b8d579b00b791ebc56","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052552?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863860$8409C6EE-5773-4746-890B-90A766D1CE7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863860$F808C6A7-67D2-4CFA-8619-0DDD193EBECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863860$478FD50E-0CA2-4CF2-A1FC-BC17BB19C57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863860$EA9BC404-4FA0-4BBB-9C3C-16142A0B5D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9984cd1e33540bf464a28174042b9d1b164d952","datavalue":{"value":"6235730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863860$9DD9499F-83B4-4DBE-99FE-827D7ADBBDB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$63525F79-133A-4EB2-A00A-7E32ECDF9B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$7E5DD72F-3EA5-4CFB-BDA0-95AE39CCD37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$5D6FCBAE-44DD-45BA-BEB6-C4ED6B68A3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a4e070432116160c97c04354ff88268460dae8","datavalue":{"value":"XTG","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$9D929F66-798A-4360-B1C2-ACEAEB8C5257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c57c15dd2811cffd4c020838c6d29796540dace","datavalue":{"value":"predicate diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$7A64D376-3A7F-478F-9EEC-5C1392A64C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$24D6A08C-929D-4FCD-B7DB-C6608513CCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863860$26ED1E24-0C6C-4B2D-BBFD-E870195C3B98","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":"Q2863860$17059F47-A47E-4A6C-BC70-384157F9CA7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97b4c5b73774f678fb81089e8069c0d0c21a8f3","datavalue":{"value":{"text":"Predicate diagrams for the verification of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863860$E572FAD8-EBA2-482E-9C4B-8344063E6E77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb5e1acc3f076f7e9da39aca453cac8805ace8b","datavalue":{"value":{"entity-type":"item","numeric-id":2642985,"id":"Q2642985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322b627a1e67be1d5787bfb8ae0b8d0e6e5466d7","datavalue":{"value":{"amount":"+0.979421854019165","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":"Q2863860$077FA155-4F65-4F67-9EB6-392F22F6E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f403ececc066de048ad63f26d850e13b3775f1","datavalue":{"value":{"entity-type":"item","numeric-id":4679533,"id":"Q4679533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65ba98a675193ae0b27ac0ba37a128d30c3acc3","datavalue":{"value":{"amount":"+0.8816356658935547","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":"Q2863860$83E80D04-2322-4D3E-A7DD-4AD450427444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9a4334f6ffae96fa54c7bfd1ac512ef2676620","datavalue":{"value":{"entity-type":"item","numeric-id":4471930,"id":"Q4471930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49453f2c6f3287df80545e15a7c85eb5d0ef199","datavalue":{"value":{"amount":"+0.8605573177337646","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":"Q2863860$87E19CB1-B3C6-4459-9126-6FF1B9655C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191cd7535726b8d0e7a45c0ad3f3baf12cbd31a5","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae48ab3669d0af8ac22a5cdd410c8389b8216e7","datavalue":{"value":{"amount":"+0.8076872229576111","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":"Q2863860$AA8D389F-E565-4B0B-A5F4-A86742B99C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34c659f68d11a8ef4e3784146fcd5f6ead8fe4a","datavalue":{"value":{"entity-type":"item","numeric-id":2709808,"id":"Q2709808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4111ff3b47f45bc4647521b772c7d824c16e5f35","datavalue":{"value":{"amount":"+0.7816644906997681","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":"Q2863860$CD3A3DF5-97B4-446B-8E24-8014666E2D39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863860"}}}}}