{"entities":{"Q4037378":{"pageid":6067096,"ns":120,"title":"Item:Q4037378","lastrevid":55250044,"modified":"2026-02-05T07:58:21Z","type":"item","id":"Q4037378","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177509"}},"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":"Q4037378$5C63DE5C-0942-49E2-ABBF-7C65EB494E2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4c185c9fcf5b130b3d132b425233f2148430434","datavalue":{"value":"0765.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037378$C70168E8-77E2-4349-8460-622985AAD0DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1525f27e94901b0d1c9770db22589d0b17fda2fd","datavalue":{"value":{"entity-type":"item","numeric-id":438208,"id":"Q438208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037378$41179643-6666-430C-825F-0EEE0B924B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037378$B3F21871-E075-4428-9D98-9A7A8D2B3121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b506fb72d4731e16d211e20c36f0762883416923","datavalue":{"value":{"entity-type":"item","numeric-id":4013254,"id":"Q4013254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037378$4E0CB040-E097-4B29-8512-88539098901D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037378$0262EB78-CAB8-4A45-9811-025CFA1F4F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037378$08B73154-40A0-4C43-9819-0EE1524D5C30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037378$84E850C1-CD5D-4BB6-8DBB-9776F5B2E2D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f851f493bd11a2cc27febcfebc476f0cd1999d68","datavalue":{"value":"177509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037378$765C1F96-6BBD-441B-8258-66C9C3486994","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354c1fd804999f86e0101fe11e7b19e7f70e5f2","datavalue":{"value":"distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$C6EF77D9-760A-4DBA-8BA8-28FC0255E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27f7b1a48e9d072f2e4edd1acf71515e042ad65","datavalue":{"value":"real-time computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$2A74A14C-C9A1-48CB-B90E-33C9F0097F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$7E6B3441-0ED6-48DD-9FDC-82004FEE7CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$F833F400-8085-4447-8248-0ABC5A354C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$BC99EF1D-7BD7-496B-905B-294B4C836E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$CBADC871-AAE0-49A7-A0DD-656072FCE046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8277344960c956cfb9ed39824ea087b33f6b7ff2","datavalue":{"value":"real-time programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037378$78E44807-788F-402D-B778-763D13971A32","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":"Q4037378$C05C09BC-A842-4CA7-9FF1-F7AB1D8E0359","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbc3b8fe620833b1750fa2704014c86753355ae","datavalue":{"value":{"amount":"+0.8451212048530579","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":"Q4037378$7DBBF686-298B-4E3D-B873-95F878292073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab635a9b7a1183ee48e168a960b3c3c002dac23","datavalue":{"value":{"amount":"+0.8413188457489014","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":"Q4037378$2B8656A3-C4CC-4FD2-A465-EACBCE6D99A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3ac5fd43c005a78b68e74a9d052b226b9bad83","datavalue":{"value":{"amount":"+0.8401274681091309","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":"Q4037378$9A6889AE-476D-499E-97E9-0332F5A2EF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c22ec66550fb88d45639a6b3dd51a1a16c0749","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43099563d88f72c402d73281ade78425ffd57a0a","datavalue":{"value":{"amount":"+0.834080159664154","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":"Q4037378$E886C1AA-F971-429B-B69C-99F7B3A474FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b129db993eb589467bf778c6bc09036a11dd14ff","datavalue":{"value":{"amount":"+0.8295860886573792","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":"Q4037378$24C8B8E1-8539-4590-B2B7-D003BB0C95BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037378"}}}}}