{"entities":{"Q3074367":{"pageid":3085083,"ns":120,"title":"Item:Q3074367","lastrevid":86141681,"modified":"2026-06-03T15:09:27Z","type":"item","id":"Q3074367","labels":{"en":{"language":"en","value":"Testing equivalences for real-time event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5848449"}},"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":"Q3074367$48569411-0DCF-494D-85D1-0B4F684F4EE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"646fc59b64e520ad5718e09a5cae722419d2cf66","datavalue":{"value":"1216.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3074367$18E7197D-0C6A-402C-A37B-0017FDAF994B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1424344bf88951e4185a3d5db5899ae2d0d48fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1592079,"id":"Q1592079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3074367$B481CA05-D6A2-46B8-BEE0-8E66E82DBFCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6eaae4692013104271d67069d101cd2b1385740","datavalue":{"value":{"time":"+2011-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3074367$7BBDDD88-D481-42D1-BA1A-9C01AA296482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3074367$C9B1A002-688B-4A87-B35A-DD956BF4F48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3074367$089F430E-362A-4AB1-83B5-0024C5F4D174","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b6174da5154d02e62db2c5bf14acaada472fa5c","datavalue":{"value":"5848449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3074367$9423B65D-EA75-416A-B346-6DD8DAA2FFE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc994af5cfd586a8ba34210668b76bb95dd62d4","datavalue":{"value":"timed event structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3074367$17952661-00CC-45FA-8A30-16F8CE4A3EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c2df63089c44ddfde3f68de7ad38c837b83632","datavalue":{"value":"testing equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3074367$151F088A-7673-4353-A0BA-F5BE0CE33F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3074367$E7CA3172-DC20-477D-AF78-9D590FB7AB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"540e5eea8c6c658ecf64fef69c59c10666173144","datavalue":{"value":"logic characterizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3074367$3904F4E5-9BF8-480A-994B-664CD26383F1","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":"Q3074367$17F6DB45-A9BB-417F-B99F-0639A40FFF86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3796ec3036968017e4467bfa362294254b00fc","datavalue":{"value":{"entity-type":"item","numeric-id":1938922,"id":"Q1938922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601cc3f8fc4f7d9472e63c3bbd5d5ebb985ca351","datavalue":{"value":{"amount":"+0.8332011103630066","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":"Q3074367$58654CAC-B5F9-49FF-910D-C69AA4AE1827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73fe69bea6185e1dbf63957ec0a84ea0f9653e97","datavalue":{"value":{"entity-type":"item","numeric-id":1592080,"id":"Q1592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cec152fe702b80aeb9f9ef844e5ad3d127a7419","datavalue":{"value":{"amount":"+0.8319783210754395","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":"Q3074367$126F32C3-D399-4ECC-8741-A7C8386DE1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfa3138e2a31cb9abb694e089b124e9f406502b","datavalue":{"value":{"entity-type":"item","numeric-id":3023538,"id":"Q3023538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c003066ac240596ee0c88f6a1c6936164ab0f5fe","datavalue":{"value":{"amount":"+0.797786295413971","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":"Q3074367$DF20A979-4E6E-4896-AEF5-454C0A90B8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6dd6379b7552e2dd17eb2e5e5caae815e5f4e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4507811,"id":"Q4507811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef33ace414d0fba3f2a9d9e9d8a559afe9f41ee","datavalue":{"value":{"amount":"+0.7699651122093201","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":"Q3074367$C813A8FC-D7D4-4BC0-A672-A47C0611DE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027ae47ebda09c9f37fb1cc9d3b5abdd0b4d0b65","datavalue":{"value":{"entity-type":"item","numeric-id":5054889,"id":"Q5054889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cdd0d7880ed5f678b1bf9d30325b0d569b3b50","datavalue":{"value":{"amount":"+0.7573433518409729","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":"Q3074367$52042E50-E659-4297-9F1E-67159AF37B9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing equivalences for real-time event structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_equivalences_for_real-time_event_structures"}}}}}