{"entities":{"Q4261312":{"pageid":6290913,"ns":120,"title":"Item:Q4261312","lastrevid":40781145,"modified":"2025-04-04T16:19:06Z","type":"item","id":"Q4261312","labels":{"en":{"language":"en","value":"Proof-theoretic foundations for the design of actor systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330876"}},"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":"Q4261312$81DEA28E-DAF3-46E9-9512-74046BCE9FD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d99bb4bd640a633886fda60b2105d86cb1b3463","datavalue":{"value":{"text":"Proof-theoretic foundations for the design of actor systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4261312$4BBFDD19-887F-4A70-8F00-B2AB789CFE1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f22c6dbf963e9b02c8c2563a2c52831391d05e90","datavalue":{"value":"0931.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$FCD9DA57-368B-4C2E-B099-DFBAE60FF2BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4adf033f703caf63fea3e98922a6271dde8982ff","datavalue":{"value":"10.1017/S0960129599002765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$D7849ABD-DA08-4858-A9A2-E97A1BF01A67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d4294ed0ff76d34a0b460e5e7d3db3fc8e9553","datavalue":{"value":{"entity-type":"item","numeric-id":4261311,"id":"Q4261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4261312$6AEE3CA5-2F8C-4166-90CD-CEA3DDBF692A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4261312$D04F7D75-F112-4757-9830-4896106978D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bca4e9476396a4364c22059cf4188025487618c4","datavalue":{"value":{"time":"+2000-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4261312$D34E942C-8EB7-4C5C-9DA6-AAEE30F28A6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$8156CBE9-6AE2-4BAA-9CCB-721F2F050835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$CCB7AF7E-8B83-4AB8-B1F6-DC14BBE2DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$53132EEA-D7D4-415F-966D-9CE3DE55224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$24BCDD4E-9B00-4201-B20A-8D8F39DA7EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3752ab3b15addc4d347ae43c36c28771f2ad7a57","datavalue":{"value":"1330876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$8B8CF032-209F-45EC-B8E9-F0175E477C2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4261312$6208DC30-99E3-4670-B6DF-B6F383758877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc1e2a5cb96b7cff5c5bc79191f2cb7dd76db66","datavalue":{"value":"open distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4261312$6FF919BF-E7E3-4534-9CD9-310818AB29A1","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":"Q4261312$33FCBA15-2B43-4F71-B645-97F0C2E82E8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"239096cb8f937defb91bf7502a28f92fb7cc4674","datavalue":{"value":"https://doi.org/10.1017/s0960129599002765","type":"string"},"datatype":"url"},"type":"statement","id":"Q4261312$8B92D0BC-C867-4137-8806-17C817AB861C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbdd793bc454c0415038b3b69a2fdb8aa6279e07","datavalue":{"value":"W1987036270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4261312$C7A2C18E-F97F-4F59-9026-F1FF49729A88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdf5b283ffd339c2de17c1940cc2b7ed0c36f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4496266,"id":"Q4496266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ec603f94decc37de43dc47a5c005c3c9b00f60","datavalue":{"value":{"amount":"+0.9554946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$34674170-9BB3-4497-9DF4-3BD343F6A4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bbc714db7da0d2cc680391f7d83e5c17dd2783","datavalue":{"value":{"entity-type":"item","numeric-id":5891762,"id":"Q5891762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf9690ea9054ed34ccfcd70114952cc876ea93c","datavalue":{"value":{"amount":"+0.90192294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$E7DA26F5-33CF-4FE9-A8CC-FE6D005077FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4beafbb33e388f35efa0cd3aee10ae07e94039a","datavalue":{"value":{"entity-type":"item","numeric-id":5892063,"id":"Q5892063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf9690ea9054ed34ccfcd70114952cc876ea93c","datavalue":{"value":{"amount":"+0.90192294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$8830F4A0-33B4-40CF-811B-2174308475C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ced7d283ea80b7bebd8d57dc87362530a98c18","datavalue":{"value":{"entity-type":"item","numeric-id":2863849,"id":"Q2863849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e53641627dfb2d5e6d13d56726209161b21a3b9","datavalue":{"value":{"amount":"+0.8835705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$EEDE9A62-8234-4548-BFE6-EDCB6777A64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77099894e6a2a274fa50a6addbdb019b2607c432","datavalue":{"value":{"entity-type":"item","numeric-id":2761739,"id":"Q2761739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ce2bbdba3c890b740e568d917782c952a22ebc","datavalue":{"value":{"amount":"+0.88133633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$708343EE-A0D9-41D3-A37D-5CBF8D4EA2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ec0be74b43cd42500e3d2a6d7abc1db0941edf","datavalue":{"value":{"entity-type":"item","numeric-id":2767188,"id":"Q2767188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9bcf8fac40be1df3b40c61c7694043c3aec2a3","datavalue":{"value":{"amount":"+0.8751565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$E528AF11-0CFB-4E20-ACEF-D5332E3E7F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba7f74f5d8863cc0a328cfecb36808f88fab6d9","datavalue":{"value":{"entity-type":"item","numeric-id":2761737,"id":"Q2761737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e011c0784e9080e8f21090a84ba554e7ae925dc5","datavalue":{"value":{"amount":"+0.86984587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$FCEC6092-6550-4EF5-B8D2-5C6B3BE55D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850a7331703938eb908d4df7e128267eace34ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2277ef167046bf7c98edbe0351aebe6fc1fff0ab","datavalue":{"value":{"amount":"+0.8668767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$BF95785C-69A2-4DC6-8C70-7321C058226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b17f3f6fbb8e113bd5f15922e516faf694adc87","datavalue":{"value":{"entity-type":"item","numeric-id":2906942,"id":"Q2906942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de7f6d3876aa7057733d01c6208c2f4a1410fa1","datavalue":{"value":{"amount":"+0.8667348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4261312$8972D5CE-1968-4DC6-8799-0D972C1886EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4261312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4261312"}}}}}