{"entities":{"Q3738549":{"pageid":5768455,"ns":120,"title":"Item:Q3738549","lastrevid":50934659,"modified":"2026-01-15T19:59:10Z","type":"item","id":"Q3738549","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972172"}},"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":"Q3738549$D3D26B93-A8A0-4A2B-A1FF-2A80C0D5AAFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d928367d55edc31e04950af7477e5c14cd4cac31","datavalue":{"value":"0602.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738549$6BA09077-C759-4D4C-A6E1-BF48B93FADF0","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":"Q3738549$4FE44A3B-3B8E-45F2-B3F2-0706063FC3B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738549$F5D61BD4-1629-4D72-A108-3E814E0AF9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738549$1889C96E-DC8A-4CAF-B9DA-196EB6797CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd98bd22328e678ca721e3b6e444b6bd3f4521c2","datavalue":{"value":"3972172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738549$E837CB0E-7713-4105-8D47-8011AC7C0505","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$7A984307-653C-4535-B33F-895F65022F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7b80a0ed0b07b9e13c7721c64f53c893b8a5062","datavalue":{"value":"equational algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$3EF15435-F6E8-4F1F-B17A-D2C34384DCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c166c77611aa2e2f400f589410ff7ac39e5564b0","datavalue":{"value":"Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$B31F2BE2-7F4E-43F6-AFC0-A700B8099E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$A152AECA-5C44-43D8-9523-E6A4645E59D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$A4896974-DC78-4761-B44D-B1722C6F8516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f46ce2cc6c4e38e6c6e0a9e5015dada57f781cb","datavalue":{"value":"actualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$C034494C-A03D-4380-AD86-CBF54FDBD96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa43ca26aebd8ae0638b42530721325719fa4e11","datavalue":{"value":"union","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$747D3549-FD5A-4D20-9F86-617FBEF4338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15e45320feff3f887329d1aabb77efc1df4006a0","datavalue":{"value":"R-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738549$66C73ADD-5975-41B4-9715-7A191D0FBDB2","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":"Q3738549$6A9AB35C-31DF-4B36-AD5A-234E050F877C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307e6ac7e93efb510efa8f9db70f3ce5d9a4fab6","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0564499353ccc26fc7b88cdf3ac147751500f78d","datavalue":{"value":{"amount":"+0.8922787308692932","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":"Q3738549$92A7D86E-77BF-4B12-B34E-E9F3FD11530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0600d7cec67342dc489859d936dc6b428c0864","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28f1065a5946a0a08659c76daf75d300399a552","datavalue":{"value":{"amount":"+0.891404390335083","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":"Q3738549$ED53D01F-F515-4042-A29E-12EB69DF33B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65313b1c1aa93ee521ceaf0b3227d73908e24c89","datavalue":{"value":{"amount":"+0.8894343376159668","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":"Q3738549$F7E4B9A7-3217-45AA-8CEC-E1A82DB8886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db400f7189d7fc65faa59649a121982c53c6c9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3330488,"id":"Q3330488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfbf5b333c5ed7fe7e558fbf9c34a7137422b7d","datavalue":{"value":{"amount":"+0.8686465620994568","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":"Q3738549$EA40EFAB-63F8-46C4-A58F-E14938E025A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791d1285ee7e06abf2aa58e8ee33cf63d07a7667","datavalue":{"value":{"entity-type":"item","numeric-id":1089795,"id":"Q1089795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8471c2c62b108defaa0a9b40c13a0908435d5e43","datavalue":{"value":{"amount":"+0.8638742566108704","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":"Q3738549$42B960E4-DF3F-431B-99BB-01310FC86E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3738549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3738549"}}}}}