{"entities":{"Q3163402":{"pageid":3174118,"ns":120,"title":"Item:Q3163402","lastrevid":51111266,"modified":"2026-01-16T17:55:49Z","type":"item","id":"Q3163402","labels":{"en":{"language":"en","value":"The role of auxiliary variables in the formal development of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5805303"}},"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":"Q3163402$7ACE2FD9-8AAC-49FE-A28D-C5B8C2F0611B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83858b142456e5110f45130769da936e59f047d5","datavalue":{"value":{"text":"The Role of Auxiliary Variables in the Formal Development of Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3163402$CC7C8B43-4675-4370-89C3-BAA9C574925A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec10743407b7bbaa2531d6dbed8ef6c7a82b4956","datavalue":{"value":"1215.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163402$AAB47D69-37AA-4AD8-85B8-E525AD5A75AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4208f7a8ddc282fbfbf5d7b8729f5952dc878557","datavalue":{"value":"10.1007/978-1-84882-912-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163402$0A086D47-FC91-4299-87EB-E908F9277215","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2b3d9c13ab9c25b30ede955fbe12277f2f60d53b","datavalue":{"value":{"entity-type":"item","numeric-id":3163394,"id":"Q3163394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3163402$788C85F6-E620-4E77-A9E7-03A3045612C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f828d7c0fe0dc39dd15b1198f729aa8d5f94cf51","datavalue":{"value":{"time":"+2010-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3163402$1C6B3557-19AA-4F53-817F-47E3D394CBA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163402$097C4130-C5A2-4FD8-B286-9B7D4E805B69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b5d16c480f4e0f53ca27cfd8936b57d95e3e5eb","datavalue":{"value":"5805303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163402$6C5A4CD0-8D5F-4C6A-8854-A1B00E301F05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3163402$8F274D8F-8BEA-4F76-AA1A-9E02B47AE55C","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":"Q3163402$41535B12-D234-4856-9BAE-5FB89249BEE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbb322778d8d06219eb4eca288af8c774d8c96ed","datavalue":{"value":"https://doi.org/10.1007/978-1-84882-912-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3163402$A4827E8D-C301-4F51-89F1-CB2183963363","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79507604848bbf7fa636a094de602181180bd091","datavalue":{"value":"W1657920802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3163402$85E1805E-B8AB-4FF3-BC33-F31EEA5B7F20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d67dd5704f4c5967b28e1cf8f74bfb43d32f79","datavalue":{"value":{"entity-type":"item","numeric-id":808725,"id":"Q808725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0060d59e2e0fc7d2805d04fd7ec3ee34f59c168f","datavalue":{"value":{"amount":"+0.8057411909103394","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":"Q3163402$9F6C2D79-77A2-4D15-8F8F-9DCF72202A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf88ffde9ab1ae21b2a984b40ae303d05fece2c","datavalue":{"value":{"entity-type":"item","numeric-id":1114384,"id":"Q1114384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a2ddd9e2cb00f2ebd4e2c9079df580f06871ab","datavalue":{"value":{"amount":"+0.7495164275169373","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":"Q3163402$D7EF0831-44CA-4A02-8367-F05A3C9FA7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88ec505860a7105eca1b116a86a251712ac10d3","datavalue":{"value":{"entity-type":"item","numeric-id":2026798,"id":"Q2026798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f622ffd5b450b55b86a6b647537e018953ed3b9","datavalue":{"value":{"amount":"+0.7436392307281494","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":"Q3163402$0EA18465-8C7A-43AB-8502-420041E11059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492561ccd770ae3fd7a0dee4480709eed873a42b","datavalue":{"value":{"entity-type":"item","numeric-id":5308684,"id":"Q5308684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef5ed7f401d81429d50907d1439b5fb3bca97d4","datavalue":{"value":{"amount":"+0.7343739867210388","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":"Q3163402$5405E76F-FBFB-46C2-B35A-F3E9B226CDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b21805d5bf169c98f037d4abacaa48b0d93306","datavalue":{"value":{"entity-type":"item","numeric-id":1194205,"id":"Q1194205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d871cb52ffcbc790932ffd2a42a3a3fd9e08a1f","datavalue":{"value":{"amount":"+0.7287260890007019","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":"Q3163402$8CCF8C63-6F45-4C54-894C-9C8CD85EF48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3163402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3163402"}}}}}