{"entities":{"Q1856167":{"pageid":1866909,"ns":120,"title":"Item:Q1856167","lastrevid":69121710,"modified":"2026-04-13T04:55:22Z","type":"item","id":"Q1856167","labels":{"en":{"language":"en","value":"Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862278"}},"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":"Q1856167$487728A0-876E-408E-A098-36C2D4684731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d0c83cf04934295e0c511e71b2475e91a45ed4c","datavalue":{"value":{"text":"Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856167$D2C6EA3A-FCE4-4436-85B9-FBA62CCC1237","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03cf86ae4436252517faeb7922d1e7c76d3e2cf","datavalue":{"value":"1059.68587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856167$A2E60A69-F5AC-4786-8CA4-92A3D27EB807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"753c042acda5e58caf67445e3585628e4621fb7c","datavalue":{"value":{"entity-type":"item","numeric-id":1856166,"id":"Q1856166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856167$536A54D4-48AB-44AF-9BE0-05B8BCD9B884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9093835d0b08b4f8c6e225d8367927d561504b81","datavalue":{"value":{"entity-type":"item","numeric-id":420802,"id":"Q420802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856167$09338AA5-74F0-4CB7-B483-CE8FCF449FBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856167$44D57E6B-4D6B-4811-BD8A-F66050805BC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856167$069F40C5-9D7A-4BF5-A0B7-B6A879D7D44A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6def07c86d08abf1f384f0df10c4a33b4c178d65","datavalue":{"value":"http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-62085","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856167$7D3780C7-64E6-4FA5-AD3C-6D911473DCCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856167$9324D6B0-BC20-47EB-BB04-99755FADA11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856167$A564C7AF-7A8A-41FE-AAB4-A7284E8E9D8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"660f9f1b763c98dfc2ffe27ce4d9fd7413b996b2","datavalue":{"value":"1862278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856167$F0DF13D9-5FB4-40ED-AF19-17CF327155C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ecd2540d3573550e23ebcb07b3af0e6a43e8e0","datavalue":{"value":"general inter-ORB protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856167$1571CA27-6AC4-4FAE-B6AE-F7A8112BAE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856167$7F924F4B-2588-489C-8386-9105C6798D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8faac0434f1a329dd2af9bd27e27c135329e71e","datavalue":{"value":"Promela/Spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856167$A07679AB-01A0-4CB8-9E02-676FA2C2929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856167$F8C351F1-863E-437E-B6BC-32C9DEB1B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce86ca9be9046401aaf4fb30ed780121d21cae4","datavalue":{"value":"specification patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856167$6C501BE2-7D17-4A57-B77C-F968D674A88B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856167$5F2591D7-EC73-40DC-9946-95230F5382D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856167$01F54794-B0CC-4457-9B18-B83C2FB8DCFD","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":"Q1856167$835E50AF-BFA9-4995-9CEF-3061C57CD50D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c93c79c0ef50c7c895e4c0746ac83d59b8e111df","datavalue":{"value":"W2067623660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856167$0E9A9F93-015E-4665-83B5-498FD3846540","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48c333df5c266e012dbc0680ef02be5582fa84de","datavalue":{"value":"10.1007/S100090050045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856167$00D89438-3AC7-4C7D-9EF5-E2C95623EEBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9aeff507c5e1f4fee2715c87ffdafbbd1d8d2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4790348,"id":"Q4790348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a5639c2a161f853d540ff3c52d33f94279384d","datavalue":{"value":{"amount":"+0.7446097731590271","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":"Q1856167$7B735812-F972-4480-800C-13E57473ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e3f6da969c6d389bb3faac9d260a100f53f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4356443,"id":"Q4356443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8251839669f1908b01ed8fd464f5d9e05eb9a2e","datavalue":{"value":{"amount":"+0.7405310273170471","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":"Q1856167$CF6EAB13-F0D4-4A0A-ABD3-3066808DFF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf10c628616efe18f3ee1dfaa99b5b764adcd5a","datavalue":{"value":{"entity-type":"item","numeric-id":4472191,"id":"Q4472191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8359849dbedec870fb4008f42b05fa1455f23a8f","datavalue":{"value":{"amount":"+0.7343088984489441","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":"Q1856167$759CBA3A-7BC3-419A-8263-7F85E49AE1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb343c9e26be45728f77a8f16101c549e0ed1a4e","datavalue":{"value":{"entity-type":"item","numeric-id":2847803,"id":"Q2847803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0641b86b26558af241e3c5dbe7f68ca6eec6ba0b","datavalue":{"value":{"amount":"+0.724541187286377","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":"Q1856167$DDCF10AB-0AD9-4A93-A77A-EF7B719C3A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0edf14a92f8de477c76a048fc987e9b604d7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4356442,"id":"Q4356442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5706724af87df96fc9753f0eaa9c462824f4690","datavalue":{"value":{"amount":"+0.7243795990943909","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":"Q1856167$DE00583B-320B-4FEE-9C32-44AB73F1D03B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_and_validation_of_the_general_inter-ORB_protocol_(GIOP)_using_PROMELA_and_SPIN"}}}}}