{"entities":{"Q2863885":{"pageid":2874605,"ns":120,"title":"Item:Q2863885","lastrevid":51885035,"modified":"2026-01-20T11:39:50Z","type":"item","id":"Q2863885","labels":{"en":{"language":"en","value":"On formal specification of software components and systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235748"}},"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":"Q2863885$DECB16C9-8B60-4B6A-B2CA-283B8CB20234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38c006a44a5ee6c14f909a81bb27ec473ad0f2d","datavalue":{"value":"1276.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863885$2431C1C7-EA85-4174-B934-959DAF00A335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"754cb9286e8c2b813f9808f2c2b34a3b607f9e85","datavalue":{"value":{"entity-type":"item","numeric-id":2863883,"id":"Q2863883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863885$BB03170A-A6B0-4972-B032-26888AB4ED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2f04e711dbea3e4eb307421446424ff388f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":2863884,"id":"Q2863884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863885$C261C721-CAC9-45AF-8047-5A33BC147D03","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":"Q2863885$3E652C48-A99F-4ED3-910A-28A6AED9B38A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7caac9ab9912d9ee70bba317925546c1a5250704","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004026?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863885$B29E1037-45AD-4819-9B74-0396066BA2EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863885$1DE14C82-79DC-4C6C-BB15-5866E697C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863885$6582D4C6-0C25-4630-A90D-9AE3796498FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec947dd2bafc72639f6e7919eeb2f12302e79d1","datavalue":{"value":"6235748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863885$01173DC7-F1F9-49FA-B112-69F3ECF44933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863885$AF270293-A5CF-4B75-B73D-5A52FB50BEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee47306f9aff27d174feb73d2068e72a1b32101","datavalue":{"value":"software component","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863885$2D93A531-DFA1-48EF-9ECF-53780209954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863885$9FB97132-92B0-4FC9-94EA-8D28C5E27ABA","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":"Q2863885$B7C14E9D-B8B9-447F-BA45-5E83A2658F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"468588a9253eb929c7fd7c16ca11d5b0b3dc089d","datavalue":{"value":{"text":"On formal specification of software components and systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863885$1B25043B-48D5-417E-9093-4A85985EA39B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d90308609ab8962062a65ccdfaf39513a2c7f5","datavalue":{"value":{"amount":"+0.7600992918014526","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":"Q2863885$C5E9E7A8-4B2A-4941-A934-25CBF30E4AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ffbb064c5240d2d56543646374df500aac0281","datavalue":{"value":{"entity-type":"item","numeric-id":5309375,"id":"Q5309375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bac3605fbc7cd2bd1a2998235698327aa81722f","datavalue":{"value":{"amount":"+0.7575463056564331","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":"Q2863885$656197CC-80DF-492C-9A73-AD97486147EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f692bc7920b65fe415afacaf74783b6af00c86d7","datavalue":{"value":{"entity-type":"item","numeric-id":5447362,"id":"Q5447362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e3f552380dd2c899f7afc67535e632a2c67914","datavalue":{"value":{"amount":"+0.7528027296066284","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":"Q2863885$77891062-C4E9-4C2A-9CE1-7E786F47BB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915f037b8c480f91d32a184b6a2c0e9f5f28cd39","datavalue":{"value":{"entity-type":"item","numeric-id":4673418,"id":"Q4673418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464f79827483bf210bece6fc7161891760900895","datavalue":{"value":{"amount":"+0.752561628818512","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":"Q2863885$F4C5D1AD-6C48-4CD1-9462-5663703C831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761e71fff764b06be92edfbbdd535efbb81b70eb","datavalue":{"value":{"entity-type":"item","numeric-id":5897507,"id":"Q5897507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0799d468b94dd0b9f67ea1ea2e63a1f4a17faeee","datavalue":{"value":{"amount":"+0.7467820048332214","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":"Q2863885$FEFB07BA-1120-424E-82FB-C9749B04C15C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863885"}}}}}