{"entities":{"Q4463987":{"pageid":6493586,"ns":120,"title":"Item:Q4463987","lastrevid":48273421,"modified":"2026-01-04T04:53:27Z","type":"item","id":"Q4463987","labels":{"en":{"language":"en","value":"A simple process algebra based on atomic actions with resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067084"}},"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":"Q4463987$5A96DA4A-7AE5-4A6B-9506-319804DAE87A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e63eea28760989bfc482418af8427aea684e2052","datavalue":{"value":{"text":"A simple process algebra based on atomic actions with resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4463987$E282205A-1413-46B5-8793-A1C51455A2F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e17ad7088dc25dca5d738835201673eef8a2bac","datavalue":{"value":"1102.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463987$4572B9FF-5318-47CA-AEEE-B4F9CE6F702A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5df1a19d855270734e70adce903a1ad2500362ea","datavalue":{"value":"10.1017/S0960129503003943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463987$567137F8-21D8-4F7B-9ACA-C73DE55128F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4463987$AC9FF989-AB0F-4FF0-942D-334B792D4A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46a3e3c8a24b211e7440a6138147de4bc19693b","datavalue":{"value":{"entity-type":"item","numeric-id":581872,"id":"Q581872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4463987$FEE45701-3545-4A39-AB5E-8721FE4DE5A0","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":"Q4463987$A88F4120-04EB-43C5-B1EF-2A21F6DEEC66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4463987$5FEAD72C-30DF-4318-A3C3-A0BBD57A2617","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463987$0307E057-BD28-4124-BECF-FEB15D1BA7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463987$4F1BED65-C029-4001-A7E5-41FDD15D1EAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2428474111c12bd1c360752246399cf9b286c59","datavalue":{"value":"2067084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4463987$F74FD709-7076-4D29-AA42-935A909A131D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463987$4C900B72-C4A3-4451-89DB-B173B97DDBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379b2fd32e8455e1fc79c80d9f82db02adc43de9","datavalue":{"value":"companion operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4463987$33ADDFFC-11F2-41DE-90E2-2D27F9C03C35","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":"Q4463987$DEEC5672-FF46-43E0-96E2-F42EA6E5FC65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d9810a9fe4c5483c6be37115ab862dfb77317e","datavalue":{"value":{"entity-type":"item","numeric-id":1603698,"id":"Q1603698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf6a74b5e174a8bc556c6e97a5f71e67dceee18","datavalue":{"value":{"amount":"+0.8876252770423889","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":"Q4463987$612393FC-2D37-421B-95FD-567484254FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee46bb6155734f571e6aaffc2c6e7e9c977bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3975160,"id":"Q3975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf6a74b5e174a8bc556c6e97a5f71e67dceee18","datavalue":{"value":{"amount":"+0.8876252770423889","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":"Q4463987$29EBFBE9-EA83-40B9-98C4-51AED664D105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdee97073a5bd4727c97d43cf942306b33c92c26","datavalue":{"value":{"entity-type":"item","numeric-id":1605180,"id":"Q1605180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fab565d371c2546348e810b83a71fd1c7dcbc8","datavalue":{"value":{"amount":"+0.8049191832542419","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":"Q4463987$ADFD39A8-E831-4488-9431-569D4EA03695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d1dc9619f368157a4fdfb527412eb96c3b13d4","datavalue":{"value":{"entity-type":"item","numeric-id":3178291,"id":"Q3178291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c888291ac2531d67c2dc5de6b074d52d51082c18","datavalue":{"value":{"amount":"+0.7991175651550293","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":"Q4463987$8F3FA55A-172E-4488-8201-52E26C08DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d98cf4596128d2eafab1848b3317ed1c834b834","datavalue":{"value":{"entity-type":"item","numeric-id":4945248,"id":"Q4945248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30d64762d23f27cf6a107266e9c740bba097754","datavalue":{"value":{"amount":"+0.7918992638587952","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":"Q4463987$C3710B0B-530B-431E-AD05-9E76BA6AB0E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4463987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4463987"}}}}}