{"entities":{"Q3021937":{"pageid":3032653,"ns":120,"title":"Item:Q3021937","lastrevid":48503254,"modified":"2026-01-05T01:04:20Z","type":"item","id":"Q3021937","labels":{"en":{"language":"en","value":"SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177730"}},"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":"Q3021937$5BBB6C72-FEEC-493B-8FE2-99B0FE7718E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"994b2d9ab81c915ff437b9265239e384c5d49eba","datavalue":{"value":{"text":"SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3021937$5645F768-5427-4E6E-BCD2-3601A1E664CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f3586aea5ee7a125733bcd232fefb42f0bea3d","datavalue":{"value":"1066.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021937$C663C10F-35FE-4C99-96C2-3D13BBFF291B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fed171ca7129b4cfcfae0db4190990107c47c14f","datavalue":{"value":"10.1142/S0129054102000935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021937$B08D5BEA-4892-4D46-8466-74C47B4D2A2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$9F439D17-9DC4-4D8A-815E-54BEAFFB5477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba31a0dd52d729abd5e87310a7cf44922fd880","datavalue":{"value":{"entity-type":"item","numeric-id":2234095,"id":"Q2234095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$74DBC87A-45A1-4108-977A-29A4E16FE2C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$36851B61-7AA1-4FE1-8E68-AE3871071C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3021937$B860CF28-E544-4C11-BD58-697302BB2788","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021937$6750749C-F7C3-4D7A-ACF8-7DC79349D342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021937$9C803723-BFD1-4480-8D34-14E7C660D8F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"205fb6389beb8568ddda09ccdc6e19f6ff483dc5","datavalue":{"value":"2177730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021937$55B40933-6AFB-470E-A9C0-E6C28CF355BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021937$4CEECC25-66AF-46A9-9604-61895C024798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98fdf0f64be8f8a2d4894cf314ad55fe9fe63019","datavalue":{"value":"sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021937$B52987F9-373C-404E-A9B5-D03309B6B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ee2ee1f99900c06084df1cd10d6861052e75b6","datavalue":{"value":"statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021937$790A6F0D-6335-4B3A-A82D-DD7BCA5F9392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3edc78ec8291d1a9319b5dd3ed7d575cb2dddfc4","datavalue":{"value":"object-oriented systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021937$1AF46B65-7E34-4175-964A-37E53187873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021937$D7B6BB45-06FF-4F0E-904F-574A31B694BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021937$D0D587DD-979E-4B8C-9FE9-6189C585ED5B","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":"Q3021937$0276F8C9-926E-4189-9414-EE9A89C0CCEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c7c554d960ef3800c970fb8a2f23e4cfafb856","datavalue":{"value":{"entity-type":"item","numeric-id":4122774,"id":"Q4122774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$3B20CA4F-83C2-449A-90EA-C3F22F852E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$06F0B170-EF63-4145-95D1-664EB1893CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$575328DA-3F80-4736-BFB8-7066BF2EF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021937$E4B70146-274E-44D0-9D26-CCBD26625A1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9504b34f5b0c355ba1dc4c9ee5a1efa86a8a550","datavalue":{"value":"https://doi.org/10.1142/s0129054102000935","type":"string"},"datatype":"url"},"type":"statement","id":"Q3021937$6D96FD7D-16BB-4420-ACFF-BA44F4617CBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccc47b681e883a5e8db50fea18ec431c3b9fc2b2","datavalue":{"value":"W2024445190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021937$C945A6F9-11CA-450C-AF0D-9B43D496C156","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57dc1eaf6107bfdf741b85b9243aa169ec6cab7","datavalue":{"value":{"entity-type":"item","numeric-id":4540954,"id":"Q4540954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb07f4c63e1cfb0bc55ffe4c7b5dff1e0224ab9","datavalue":{"value":{"amount":"+0.9999842643737792","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":"Q3021937$60D18094-847C-46B2-8556-CC7E0DE2DD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b765dfc61bb8d43c09eadb0f7decaf03aa1d6a","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e9c8832d24b5ea3d045a25e094cb6b3f592391","datavalue":{"value":{"amount":"+0.8218992352485657","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":"Q3021937$EAC2D0B9-9231-430C-9755-08E9AC374230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7804b317bee31d2ee3d5b9b508f85e776a49fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5716893,"id":"Q5716893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ead78c018f018920c546f143e94922c516c701","datavalue":{"value":{"amount":"+0.8066715002059937","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":"Q3021937$F9F1BA66-F70F-4D4B-A923-89CEF21C6E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"185267be574c1a2d16d9e0f3da78d13eb6ed647b","datavalue":{"value":{"entity-type":"item","numeric-id":5710415,"id":"Q5710415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c34e293a6aa6efdbf713fcc037c5ada21cd32a","datavalue":{"value":{"amount":"+0.8057736754417419","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":"Q3021937$DCD39EDC-3E3B-41D8-9893-B265F3F80461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d594d23cb5d02b6cfd0add61ef49147081787c7c","datavalue":{"value":{"entity-type":"item","numeric-id":439960,"id":"Q439960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b86aebc352a7b1b5ad1246631c61d1a7ef709d","datavalue":{"value":{"amount":"+0.7933175563812256","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":"Q3021937$8BB6EC8A-96CE-4C52-8FE2-FEAF3ED06685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3021937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3021937"}}}}}