{"entities":{"Q3792222":{"pageid":5822128,"ns":120,"title":"Item:Q3792222","lastrevid":52941029,"modified":"2026-01-23T20:55:37Z","type":"item","id":"Q3792222","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4056977"}},"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":"Q3792222$C3552CBA-58CA-42A2-BAAC-B2C3BF61F59D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"447a5dad3c5be789aacd8072fcabf8d7e4f8b3f4","datavalue":{"value":"0647.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792222$080B1E02-A2A8-4452-8EC7-298CDB0BCFFE","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":"Q3792222$334E6F5C-C8E8-45CA-8A57-775BA8BCCAB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792222$B849E447-C59B-4A95-9C53-6485D336A120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"362ad8a343ec3bf93cacb8f5974c14942638b2d1","datavalue":{"value":"4056977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792222$36C971FA-4676-4A18-84D7-B9C00B0985B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cec2f73cebf645e1e1fcd9ccc33b5dd5cf55e6f","datavalue":{"value":"Statcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$5B5EC76C-6619-4745-9308-8075625BF717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af66a840a50e26b1703bba2e0cba413fb5976f17","datavalue":{"value":"specification/programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$DACA843D-4A12-423C-997C-A13952D5F52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$BDEC1D7E-1BAF-4345-9B6C-B6060803A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484d84cb96addbd0eb09e1b5f7f1b33d7f2323b8","datavalue":{"value":"graphical language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$CE4F246B-B445-407F-81E6-31253A911449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920ce8d5e034e3d196c7b9118935227e527a9f79","datavalue":{"value":"simultaneous events","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$6DBCF9E1-9390-42DB-A183-DDA82C741361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$5C36889B-B2A6-43B9-874E-1E51ECAEF263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd68288e2c7408982f9f77dc680d0328b2443b0","datavalue":{"value":"OCCAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$A3BC72C2-3B00-4802-92ED-CDE61D91434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792222$0F0884D2-214F-4FDA-9D73-0603DD171F82","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":"Q3792222$75CA40B1-A228-412B-B2CA-31AB0DCC7DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14769bb0b35d33367daf96f9521194d625b8bb12","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cac36c22a59dafb1c76576e34ae1735eab5f20e","datavalue":{"value":{"amount":"+0.8226369023323059","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":"Q3792222$B26DE03B-45E4-4F53-8A40-73DB0683C6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272e1253d110dd3c12620811a9a4af717e3ff473","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a2b989064b13614affd9bd7fa3825f5280a7dc","datavalue":{"value":{"amount":"+0.8204545378684998","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":"Q3792222$865DA340-9F87-494C-A494-F331CB5BBBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17d7b0be4d79b5d918594390bae6816282f2c31","datavalue":{"value":{"entity-type":"item","numeric-id":2754141,"id":"Q2754141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e9e3cc3fac25ff5847f2da2136352ade6a8437","datavalue":{"value":{"amount":"+0.7989460229873657","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":"Q3792222$A0E90DC7-5ED4-4567-BE35-05DCB961B971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4003202181c0773d22c1d76e1563686f26925423","datavalue":{"value":{"amount":"+0.7984534502029419","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":"Q3792222$080F1ED5-A7BE-4892-8431-30ACEDB7E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73763ed91538edae85e64a6439fd5fb7237f667b","datavalue":{"value":{"entity-type":"item","numeric-id":4028132,"id":"Q4028132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4003202181c0773d22c1d76e1563686f26925423","datavalue":{"value":{"amount":"+0.7984534502029419","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":"Q3792222$3E13AAE1-41AB-46A1-9C18-6BE6E9A54534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3792222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3792222"}}}}}