{"entities":{"Q3829081":{"pageid":5858987,"ns":120,"title":"Item:Q3829081","lastrevid":54466406,"modified":"2026-01-26T23:46:26Z","type":"item","id":"Q3829081","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104403"}},"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":"Q3829081$429B01DF-7CAD-4031-8F60-9212BB6DAF9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b621a20c1e1de04eeba57e3647c02e2d5adcd8","datavalue":{"value":"0674.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829081$EC83D6B1-256D-4EC8-8F7B-88AAE39A1161","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"130f40f06629d612a1e70f8e6989e582a3d0d8cc","datavalue":{"value":{"entity-type":"item","numeric-id":1190492,"id":"Q1190492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829081$94DE7AF3-E09C-4D12-9C12-25B0E4F77581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829081$9F2337C3-474B-4C4D-B597-3793A7835A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23362f3a3ca32cef709a9de5af2d16f5a00994cf","datavalue":{"value":{"entity-type":"item","numeric-id":1190493,"id":"Q1190493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829081$E42FA346-863B-4D9F-BDF9-59E09A17991D","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":"Q3829081$9504734E-1A5A-4297-A801-D1DC709191D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829081$5D1FF415-DDD5-47E0-B200-F742BD5C85D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829081$229D8D95-8333-4840-85B3-C6B78EC50A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829081$71F3D6D8-84F1-4541-AE23-A50851632692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829081$0EDEA3C2-C6E8-4C71-8DB0-B67F66A33268","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b2442a75f5e33ca839f953482368522fb2af809","datavalue":{"value":"4104403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829081$33F1A23B-0962-4894-93D5-5F95086B0089","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829081$EEF544F1-E7E4-4297-887D-02CCF87DB08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829081$DD248FC0-048B-4FEB-B74A-9B2892725EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829081$0E10D2C6-AC3F-4536-9E70-44985D6A5CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829081$2EE5C885-2F15-422D-8CA5-CEA35078CA77","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":"Q3829081$BBAD6905-1BF1-42C6-B382-89DF8EA66E84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f2834b9f2a36a20303d8572648e1b8d210ebc8","datavalue":{"value":{"amount":"+0.7821259498596191","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":"Q3829081$607FC8FE-19A3-43A8-89AB-BED127DF22DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285894d822d0e36fbabe390b3119663b436ba88f","datavalue":{"value":{"amount":"+0.7812068462371826","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":"Q3829081$9B9B1493-18C8-4BCF-823F-736D7735F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4151e5b09a3308f31b01f85aafc896f2d34f71d","datavalue":{"value":{"amount":"+0.7766795754432678","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":"Q3829081$49722593-7E6D-4BE6-AC1D-15BDFE7C04E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b2fdcfeb21b5b638d3d2822eee2bc84a7df040","datavalue":{"value":{"amount":"+0.7756627798080444","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":"Q3829081$1B8DA42D-A521-483B-812A-006E830E01D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e49658f90bcd788a57706f6c808ccd47bb9ec03","datavalue":{"value":{"amount":"+0.767993152141571","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":"Q3829081$4E3C18FF-D0B1-4677-AFA1-C7F0360216E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3829081","badges":[]}}}}}