{"entities":{"Q3790630":{"pageid":5820536,"ns":120,"title":"Item:Q3790630","lastrevid":52810478,"modified":"2026-01-23T13:33:49Z","type":"item","id":"Q3790630","labels":{"en":{"language":"en","value":"An interpreter for LOTOS, a specification language for distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055014"}},"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":"Q3790630$B17F58EC-AFC1-491D-8DA8-D90FF180E481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19261ac53b364e04896f4393a780d9c68f2a055e","datavalue":{"value":{"text":"An interpreter for LOTOS, a specification language for distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3790630$D7CFDFC8-3DB4-443D-8FC0-2C143DC52691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e3adfae1238cb1e6cd02be715ce838160566cb","datavalue":{"value":"0646.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790630$EDE05EE9-FF7F-4EA2-97FF-A3B52D24014C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab4b4eef608674c6502241901b1b476b7f6a7ad","datavalue":{"value":{"entity-type":"item","numeric-id":856928,"id":"Q856928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$D9A21793-89A7-49E5-8D85-20939A8F8D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2f1a4bd0b532ef7945165ffc7d6421c9a4b0f3e","datavalue":{"value":{"entity-type":"item","numeric-id":3790627,"id":"Q3790627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$26CBAD41-B31A-4792-B2B5-56A6C3158435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f957a3c66a5941ae59e1d9919ead15513f7fee","datavalue":{"value":{"entity-type":"item","numeric-id":3790628,"id":"Q3790628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$F4362B07-93C3-4161-B9C5-A4B8C56D041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"557e5567964bc736ca7742d5069cfb1f6504d255","datavalue":{"value":{"entity-type":"item","numeric-id":3790629,"id":"Q3790629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$8CA800A4-E272-4B01-9B17-CFC11BF871A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$DADEA152-2AB2-4B0A-B561-DFDE9B59B31A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3790630$4B10F289-4570-42C2-9CA0-268639DD9B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790630$98477305-2F8C-459B-AA51-A30B4F17BEB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b3c3195bdc95bf7d07ed5befcc1ec8111559614","datavalue":{"value":"4055014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790630$4851F963-FDBD-46A5-9782-5EC75C9DD102","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272e372bf62fcee6a81fa6a30b7d99b28e34bc45","datavalue":{"value":"communications protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$BB4ACE8E-95E1-4ACE-8E72-0DB17F27AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34acac5e43166785d6ab1b2c0843eca0935956f","datavalue":{"value":"LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$1754319B-9A0F-4347-A039-47148CE8F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$6BA99C2D-1387-4ACB-8C4E-6C23E417DB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$E5E03C37-537B-4BAE-A5B9-6062776D5F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$137F3FD6-765E-4530-9B76-7E526A777E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$DF82FAAB-8556-496C-86E3-295A3F3DA7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$657E6D9A-B34A-4E79-AF31-373147CD5996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$0D4FBCA7-576B-41FA-9B80-C621DB9890E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f75c475f47e64366621547454dd16d54565743","datavalue":{"value":"interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3790630$F7B87B73-F205-456B-9CBA-1E3CA352BAF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42b3d7a929da9bd1ade1f833995bf1946134a776","datavalue":{"value":{"entity-type":"item","numeric-id":38653,"id":"Q38653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$D41272AB-6F9D-4AD1-8766-811ACF0EAB60","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":"Q3790630$2AA63077-C227-4DE2-8696-13B3DB7C294D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d6a22c7c65a6a233cf66e0b03dc03dcbbca9281","datavalue":{"value":"https://doi.org/10.1002/spe.4380180406","type":"string"},"datatype":"url"},"type":"statement","id":"Q3790630$0E0A83C9-D184-4281-81DC-BC95CA9D5E41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1099a03de819a974353c82d6d7e63d002743658","datavalue":{"value":"W1966035134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790630$B4094115-E4B1-4CF9-9424-E6E6880222CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$AD538366-CBFE-4464-821D-84A1F6E2D614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3790630$5D8BDB34-1AB8-4E00-87E4-BCBF987072DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd10245d7937cd1eb07dd67947b1e42199d979a","datavalue":{"value":"10.1002/SPE.4380180406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3790630$A762594D-A053-46D7-8804-CFF9F057C450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed463f88c6bb9689aece62679062d8d76627058","datavalue":{"value":{"entity-type":"item","numeric-id":5047037,"id":"Q5047037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7405acd720d856eee8aea103f5a28500bb0b687","datavalue":{"value":{"amount":"+0.7807989120483398","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":"Q3790630$F5F264F5-A4A8-4336-9385-9009473FF71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858840f13296363ec4379bcb9d22361900bf2143","datavalue":{"value":{"entity-type":"item","numeric-id":4716238,"id":"Q4716238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b621020dcc49906591022646807419eb11d5c0d","datavalue":{"value":{"amount":"+0.7450088262557983","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":"Q3790630$DA24A197-3A4F-45FB-B77C-CFE7A5F7E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f154247a1d8e232871b1f21fc7be163dcaf400a3","datavalue":{"value":{"entity-type":"item","numeric-id":4035486,"id":"Q4035486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e48677034205dd23e0d0635dafbe802852935ce","datavalue":{"value":{"amount":"+0.7449391484260559","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":"Q3790630$0819F89A-5B66-4B6E-BAA0-2333E32B160F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c924567546518c66936c7f2dfc72777d8e40938","datavalue":{"value":{"entity-type":"item","numeric-id":4028641,"id":"Q4028641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e48677034205dd23e0d0635dafbe802852935ce","datavalue":{"value":{"amount":"+0.7449391484260559","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":"Q3790630$E94C45DF-A469-4EDA-BEFA-825C1E33A9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfb2b6705bab247a0287b4060ffc89b5b8c4773","datavalue":{"value":{"entity-type":"item","numeric-id":4422086,"id":"Q4422086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0728ce5529e0cd746f8854f77278927c974e174","datavalue":{"value":{"amount":"+0.7448403239250183","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":"Q3790630$7D125842-5DEF-422C-A740-A1C0E6991567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3790630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3790630"}}}}}