{"entities":{"Q2969151":{"pageid":2979876,"ns":120,"title":"Item:Q2969151","lastrevid":52763405,"modified":"2026-01-23T11:09:18Z","type":"item","id":"Q2969151","labels":{"en":{"language":"en","value":"Verification of a fieldbus scheduling protocol using timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694503"}},"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":"Q2969151$7005D251-EA2B-4D82-BE9B-79A8334722C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7995462f54c3dd2f2102071a45a61e192b0ab3c0","datavalue":{"value":"1399.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969151$7A6D1C08-AFA1-48C9-BC44-2A0A0E878A27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f578829b203483ba5a6a90034d72537b231a978","datavalue":{"value":{"entity-type":"item","numeric-id":2969150,"id":"Q2969150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969151$62383912-72DB-422B-A81B-6C8877E0AEA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a54c8d448e87b5c993602a9ad5f16d9e6e688422","datavalue":{"value":{"time":"+2017-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2969151$A2F08130-4523-4205-89C2-211E6756D619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969151$9C0519EE-DDA1-4ABC-82E7-1005DE4B9D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969151$C44B87C2-34CA-41E1-8844-01E9F66477C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a56365ce6aa7a80f407c18115451456cf684df8a","datavalue":{"value":"6694503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2969151$65D1DA0C-4C4E-4AB1-95AE-725FE7B52398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f1749358872f81cfc2c963b1797b9570efc021","datavalue":{"value":"fieldbus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969151$3DBB6592-BB11-4560-A85B-30DADF59BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969151$6272400F-8B4E-446E-A889-FC61878F8A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969151$E0A206AF-64CE-4C2E-8AC1-8CEED3BFB2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969151$E0BACFED-B466-49BC-A7AF-345DB6AE2718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8a319e4928213107bdf90311c84fcbfea3e116","datavalue":{"value":"UPPAAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2969151$D8EC6C4D-3088-4633-BA89-FBC4E178A182","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2969151$551A485B-067B-4CB7-A9E6-244E763A013A","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":"Q2969151$12C7ADB2-9BD9-4BAE-A420-E392C8AE65FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99edb253f5ddcee94fb06c4b2b2e038cef42256","datavalue":{"value":{"entity-type":"item","numeric-id":2424721,"id":"Q2424721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51baaeea726639b554a568d3af04b828b383d272","datavalue":{"value":{"amount":"+0.762542188167572","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":"Q2969151$92F38756-56F2-41EB-B6BD-FE5D04CEE10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a393b47c99a4523fc0f24bcfab2a914938e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":2475307,"id":"Q2475307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f4246e655ef7a2e8818434cfb5c97736753410","datavalue":{"value":{"amount":"+0.740526020526886","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":"Q2969151$79B41D46-1D7E-4FF7-A9FB-0DEC3F64A75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc452a87a25e174253c7287851cab47516a32457","datavalue":{"value":{"entity-type":"item","numeric-id":1395689,"id":"Q1395689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178bbe293150c263969ce7c5f0bd20165e1acc54","datavalue":{"value":{"amount":"+0.7343988418579102","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":"Q2969151$E9D3155B-BE4A-47C8-856D-366CC99275E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7719c31606a20de6395199f89b8d5475820e2be7","datavalue":{"value":{"amount":"+0.7338966131210327","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":"Q2969151$19E9E3EC-CDB9-4D75-9854-3BBBA6E99D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b15c7393520bd56c16f181ec6c71f3b21b9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2956677,"id":"Q2956677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5cf357cbbf6bd985fdd553e7ef382bfc21292a","datavalue":{"value":{"amount":"+0.7332437038421631","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":"Q2969151$21ED7578-A86F-41CA-BC42-4BCEE305219F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2969151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2969151"}}}}}