{"entities":{"Q6488949":{"pageid":14067718,"ns":120,"title":"Item:Q6488949","lastrevid":55604890,"modified":"2026-02-17T19:35:51Z","type":"item","id":"Q6488949","labels":{"en":{"language":"en","value":"Using PVS for Modeling and Verification of Probabilistic Connectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817319"}},"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":"Q6488949$8217D9CE-8AE4-4C83-B2F7-78C2D92E45F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26a046da2ede7c12298b8739f9d3b6566a35326a","datavalue":{"value":{"text":"Using PVS for Modeling and Verification of Probabilistic Connectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488949$E93EEA16-8D07-4047-B4BD-4E9EC3841649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a2a1f83224843afe0d8940d6e4882384f2d4256","datavalue":{"value":"10.1007/978-3-030-31517-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488949$618C3DE9-15BC-464D-A096-78DB5A2EE9F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad934be693c92f388e41f607fa1a7d88dcf09b91","datavalue":{"value":{"entity-type":"item","numeric-id":2688396,"id":"Q2688396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488949$12D74578-A3EE-42F2-8098-8ECE05476941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1580d3ce0312133df8762ee552718ddef708846","datavalue":{"value":{"entity-type":"item","numeric-id":276378,"id":"Q276378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488949$C920A3EB-A3FB-47F6-83A0-CE9C601F9AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-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":"Q6488949$9EED6BAB-53DB-482B-809A-5AF58B3B8882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488949$7D9327AB-2733-4B96-BECD-72B52774D3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488949$BB3BD210-FE1A-447D-BD04-46A8394594B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488949$70CECDDC-A699-4C02-A3E1-E1C5A7B84AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9cfaffdd574b613f57fc3f9ccaa83164e9b02ca","datavalue":{"value":"7817319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488949$38554133-F9CD-40D3-8A40-096A2C857DDF","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":"Q6488949$5BC080E1-9C72-416F-AD76-DFDAE6BCA77E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1bd8f312616c64356e9888d48e264e183548d2","datavalue":{"value":{"entity-type":"item","numeric-id":1631223,"id":"Q1631223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914f923c506e4054d8748ec484f93db8858a0e43","datavalue":{"value":{"amount":"+0.8626562356948853","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":"Q6488949$92E8A105-A24C-4B50-A093-93C70CE2088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eb4745524a47493cc3604068cb662daea97a7","datavalue":{"value":{"entity-type":"item","numeric-id":5045472,"id":"Q5045472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dab12f8303fd79eebfc9060c298d217c2f583a6","datavalue":{"value":{"amount":"+0.7853503227233887","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":"Q6488949$9938E303-6FA4-423A-891F-9664AAFE2B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abac55d9f7895b2e5b029e50155c40a323265791","datavalue":{"value":{"entity-type":"item","numeric-id":4989716,"id":"Q4989716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edf187cfb76a88742095d2d33c68f6719d324d7","datavalue":{"value":{"amount":"+0.7482728362083435","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":"Q6488949$BDE136C5-669E-4815-9DE3-DE2BD2AE40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55515e47ea799ee3961d8a89f1e1f66af1f3676e","datavalue":{"value":{"entity-type":"item","numeric-id":5039192,"id":"Q5039192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d29169837ff675d8de0fdd740094c01d90b1ed","datavalue":{"value":{"amount":"+0.7470608353614807","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":"Q6488949$0830EDD3-D6D1-45E3-9FE0-B0CA37797F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19436db8715a91b0c7b88367e87e6de22d629e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3a3aedc42c98c1813078c3f423acd39217087a","datavalue":{"value":{"amount":"+0.7466954588890076","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":"Q6488949$130BB626-0A6D-468A-889A-AFA31D0F59B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488949"}}}}}