{"entities":{"Q3030236":{"pageid":3040952,"ns":120,"title":"Item:Q3030236","lastrevid":49095880,"modified":"2026-01-06T14:24:28Z","type":"item","id":"Q3030236","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018366"}},"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":"Q3030236$FA82DA64-F543-4B1A-BB9D-98B8F2515B37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64418bdcf39d2ca1d677a354e804f5cbcde8c1c4","datavalue":{"value":"0626.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030236$88A4D485-BBAD-49FA-8604-4DE91BE173A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dff8f4e618a7aed9d42af4359c46333b7f8eeb5","datavalue":{"value":{"entity-type":"item","numeric-id":2719125,"id":"Q2719125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030236$9F0437F1-FB60-4B0D-9734-E16C92B384C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e13fced503c18d454f290ca28dcba0c1ad9dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1013084,"id":"Q1013084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3030236$D0104699-CE54-4730-9953-1F49CBDAD089","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3030236$1E1E55CB-398E-480E-9FE2-08CDEDD9F32D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030236$D3C944AB-8260-43EE-805B-C4E43606878C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8483057e30ef963cb6f2f3db5748210d32268604","datavalue":{"value":"4018366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3030236$AE34FACD-911B-48D5-9209-494939CF6651","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b3aa171ddbc20187797fb57769b4908a0a2a40d","datavalue":{"value":"semantics of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030236$CA1058D2-EC5E-4ACB-AD0C-11418C1BF2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6447ba19aaf9bbbc672255b3663bdb3857bf0f","datavalue":{"value":"MAX semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030236$84EC7DC8-EEF6-4688-83FB-C394FD84BA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"021dee8d18fda1a79c3a47740925435cc8aad2ec","datavalue":{"value":"ARB semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030236$D03BC24A-000C-4D53-BECE-F0734639B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecf1d35d489ab5342e7f35c5eae6c01d4db20e4","datavalue":{"value":"parallel execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030236$E151F3ED-E7BA-4975-ACA9-0A10EC1A9C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3030236$683E02C7-22AB-4003-877D-01CFF372799A","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":"Q3030236$59D29043-DEA3-44F5-9D22-DC1866A3B40C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1582084e11aae078ec3c87845d8f991567580a","datavalue":{"value":{"entity-type":"item","numeric-id":5176793,"id":"Q5176793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53a34f6f7e261d59e87ae8c3e7c9cb0e553a9b7","datavalue":{"value":{"amount":"+0.7887901663780212","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":"Q3030236$02ABB562-541C-4B70-A551-912D5E085D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f18f9e7a4e913ecac7b2441a24bc9913ce72b74","datavalue":{"value":{"amount":"+0.7835901975631714","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":"Q3030236$0ED1478E-27AF-4800-BAA0-7AD063683753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63c034e524eef142a839ba8d182e3effa1a8c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5926766,"id":"Q5926766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422adf801280437eeb6085ef8b092a9308d52ce4","datavalue":{"value":{"amount":"+0.7810285091400146","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":"Q3030236$6C068D45-0753-4DCB-9DF1-1B6D5463679A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c73973295e62904ce2821e414edb1f3163c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3704884,"id":"Q3704884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f15e2f6a2665dbea34379c55d759c2df2f1262","datavalue":{"value":{"amount":"+0.745756208896637","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":"Q3030236$BCF8C3A2-4145-48BE-8F7A-E0E12A790A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e18b2b01985c0400c519634636a48760886c8b5","datavalue":{"value":{"entity-type":"item","numeric-id":3204035,"id":"Q3204035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5940808ed15b42bee2342c07264804d01461529c","datavalue":{"value":{"amount":"+0.7414155602455139","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":"Q3030236$26BDA4B1-CE18-4F30-8EAF-B422F96BC5F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3030236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3030236"}}}}}