{"entities":{"Q5946210":{"pageid":8123012,"ns":120,"title":"Item:Q5946210","lastrevid":97693016,"modified":"2026-06-05T15:14:35Z","type":"item","id":"Q5946210","labels":{"en":{"language":"en","value":"Application of partial-order methods to reactive programs with event memorization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658500"}},"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":"Q5946210$8396D147-50D3-4714-8E3D-3E2E15558C7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"732d88a5a4d146391eab116da55cb90c2a26a5e9","datavalue":{"value":{"text":"Application of partial-order methods to reactive programs with event memorization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946210$FB5CCDA9-18AF-48DD-AA8D-30D0ECDDA597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f747084509ac17cbbe080836fb29464d3dfc97a1","datavalue":{"value":"0978.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946210$A2F4722B-E873-41AE-A9B5-025866C07DF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b41de45e8054d69a9e3b908661c1076a5d5a9b4","datavalue":{"value":"10.1023/A:1008129319165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946210$F64A54BF-3422-46D3-B2A3-321E424EF833","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946210$F8E7C607-0CF7-40CD-8257-EB94115DBFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946210$66E6A784-0383-449B-9A66-3285F0C0209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946210$D7C8C972-1719-46A5-9F47-2A54DEAD3864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946210$4ADC748A-B545-4E5A-9382-8C2C64FC63CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64c1f5c2d2acc8630c4745adbe761e7f69f976b3","datavalue":{"value":{"time":"+2001-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946210$2AF8D673-B42F-4A74-8D20-D9F471B2F454","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946210$8FD3BD52-EF35-4DC6-BA1E-96341449A943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36e3dadd4137e418b6129dcbe48386ac83234c6b","datavalue":{"value":"1658500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946210$4323B254-7F8D-4137-969A-DD4647B2E944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946210$3C48B064-5F57-4B36-8821-76766B7D4314","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":"Q5946210$29A839E8-EDD0-4669-813E-A83E85D100E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60fd0cff095fd55fedd94d2ec1ca6a3a401d7130","datavalue":{"value":"https://doi.org/10.1023/a:1008129319165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946210$CB3C0BCF-87EF-4900-84C3-444700872127","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0638f833f51473944d035aa68c1dabd47f5a06b2","datavalue":{"value":"W1593729123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946210$6E91F9A2-7C65-4738-95D8-219F2484C905","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3907d712db5c2cd29f611b4295a8afbfc1be166","datavalue":{"value":{"amount":"+0.7321590185165405","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":"Q5946210$525B0EA1-6414-4596-94ED-B5756636B7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0d5db590ea969e7aa01848f74c705bbeb162d","datavalue":{"value":{"entity-type":"item","numeric-id":4353640,"id":"Q4353640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84853bf9179f8462843de9bebf384b7708107cb6","datavalue":{"value":{"amount":"+0.7317593693733215","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":"Q5946210$D537B757-251C-477D-85D0-137361BF016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aee0f87c37757ebf208a511a6c817e3e0be7699","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44460d83d96a4586b91d403fcfd6258fbb10286","datavalue":{"value":{"amount":"+0.7312233448028564","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":"Q5946210$EEAE5C42-CE38-4337-8338-9752E01B1BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7f4990ff43248727e596f651071f07121fd0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3605476,"id":"Q3605476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44460d83d96a4586b91d403fcfd6258fbb10286","datavalue":{"value":{"amount":"+0.7312233448028564","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":"Q5946210$60A048CB-700C-48BB-8593-CBE9F6035BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d41f89afb4ef85cf38e5a0f13236881b477136d","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f191b8440abc5a46b241c0d1bf154490229cdc50","datavalue":{"value":{"amount":"+0.7307538390159607","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":"Q5946210$8AB82D80-CCC3-4C96-85FB-B20B653B4512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Application of partial-order methods to reactive programs with event memorization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Application_of_partial-order_methods_to_reactive_programs_with_event_memorization"}}}}}