{"entities":{"Q3746872":{"pageid":5776778,"ns":120,"title":"Item:Q3746872","lastrevid":50990306,"modified":"2026-01-16T02:50:15Z","type":"item","id":"Q3746872","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3982501"}},"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":"Q3746872$341F2977-937F-4D7A-91B9-9507816018A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3475106919d39f86bd26a4d42091e17c8a036d37","datavalue":{"value":"0607.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746872$662B480C-E5C4-4193-94B3-55105AE21936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eed22da812fbdeb05282fc9ee76cf9a2fffc71d","datavalue":{"value":{"entity-type":"item","numeric-id":3746871,"id":"Q3746871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3746872$15205BD9-5C80-4434-B45E-738B8D6BA046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3746872$BC2B05EC-772D-49DA-8A70-59D5D177A073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746872$03F7E932-6B61-4247-B1B6-97D35008F648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746872$0ED8D264-115C-4F33-BF0B-DE76BCA9D7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746872$2C788657-7A10-48C4-9851-ABCB5B47C502","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e673ac58e7fb644c650d1554440220c5ab75f9","datavalue":{"value":"3982501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746872$902C1A11-EEDE-4A1D-A83D-8953313B6103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$49C84D46-92FF-4F10-9B2C-07CBF000DA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9400c2fa8abe2bfe4b302109f6744627a62a336e","datavalue":{"value":"abstract interpreter for ADA concurrency constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$476B7A3C-EA8D-46F8-84D9-B0BBDAEC450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38382cc17461b4c0a0e15c8a501d6aa33af8b46c","datavalue":{"value":"program graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$57222C4C-E3AB-4457-9E2D-0BD00D050CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99b1e01954f36b2bc8e00e08ffdc2eacfdc6f6b","datavalue":{"value":"graph grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$64946CBE-F955-4C3A-BA15-A0D35760CED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$084D8DC9-707F-4DAB-B8A5-22925DBF1E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303fb539aa43c291c2e37a12b3b99f924c53708e","datavalue":{"value":"operational semantics specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$E7FFDED3-3749-4B1B-A1A8-5103A805AFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746872$EF4E4489-BD2F-4A09-9F6D-5B58D6D2D7FB","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":"Q3746872$6F869EA2-CF07-429C-9A9D-9A4D88F4F3D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704731fb2a9c63862fd8732a231c624316729372","datavalue":{"value":{"entity-type":"item","numeric-id":3785911,"id":"Q3785911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3827e38608826d8721e936677a8e3a11e8dcfd8e","datavalue":{"value":{"amount":"+0.7440762519836426","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":"Q3746872$4240B8D5-942E-4B99-841E-0371A444A009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc3b21aa179960a1164f70a4d9eb76e6ea3e4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4645280,"id":"Q4645280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c312cde39c86db0ae101d5e647cf794480356e8","datavalue":{"value":{"amount":"+0.7337794899940491","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":"Q3746872$F7FB3E85-87EE-4114-B92F-44A3B83515B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1be9c450f4089bd4056700ae81dc4b3fc94a5","datavalue":{"value":{"entity-type":"item","numeric-id":4763987,"id":"Q4763987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b050794c8ac3b3b881f61ea68e335bcbedcb4b25","datavalue":{"value":{"amount":"+0.7272723913192749","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":"Q3746872$B7D41E8E-BDDA-4EA7-A3A5-092A2460D1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9bbdb0d7daf08669b7a6336d7021490ab5e0b1","datavalue":{"value":{"entity-type":"item","numeric-id":1971977,"id":"Q1971977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b050794c8ac3b3b881f61ea68e335bcbedcb4b25","datavalue":{"value":{"amount":"+0.7272723913192749","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":"Q3746872$8204A85B-48E0-430C-BB7B-A44BC661F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b703065031e6c4c385323d8f403555f106ecf9b","datavalue":{"value":{"entity-type":"item","numeric-id":4222788,"id":"Q4222788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d362613c4f412005f5f0acdbaf2ffbf3e4b6c3e","datavalue":{"value":{"amount":"+0.7271981239318848","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":"Q3746872$D8EC8174-5558-4D8F-A398-634F84CF4852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3746872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3746872"}}}}}