{"entities":{"Q5232910":{"pageid":7262478,"ns":120,"title":"Item:Q5232910","lastrevid":100510823,"modified":"2026-06-05T22:19:18Z","type":"item","id":"Q5232910","labels":{"en":{"language":"en","value":"Higher-dimensional automata modeling shared-variable systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104936"}},"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":"Q5232910$D3F0F458-AD6D-4F3B-A9A8-C6641060D276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a50a2c1a501dfdf4172862b71322e8edf043ae97","datavalue":{"value":"1426.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232910$ED10D56E-3D35-4C02-B58E-02075E3C4FD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a83e6e9087f19dc73930a492cb6a00c36550b46","datavalue":{"value":{"entity-type":"item","numeric-id":278748,"id":"Q278748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$B80F1B1C-429E-40AC-A880-F06884309B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5232910$89F32C7D-E526-4330-A38B-AC07050F1F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e68784e396e7ff5f0cd96101119555ad57853a3","datavalue":{"value":"https://arxiv.org/abs/1801.08451","type":"string"},"datatype":"url"},"type":"statement","id":"Q5232910$508DCF86-09EB-4598-B0A0-75098550260B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232910$C0A62D3D-17CB-4940-9F9E-0DF98817AABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232910$43D92AA4-2868-40C0-9742-58213120C317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a5388ce57c1385ac349236e04ca0b38d506db2","datavalue":{"value":"7104936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5232910$285EF97E-83BD-487F-9126-482F419FB5FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232910$913178E3-D01D-4FCE-8CB9-44C1F8AF9B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232910$BF1F5503-685D-450C-82A6-3469933EDB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caec40b59398d40132902b3e69c4dbef1a2e4cfc","datavalue":{"value":"shared-variable system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232910$A40ABF25-A203-4EA7-95AF-C7A2C7B7615B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157ab91c419be05cdd3c038eba702556731cfe6a","datavalue":{"value":"tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232910$FFCDE2BC-80B2-44CE-BDE4-495EBA3C98BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6da5ebc8fc8655620f91e101487fe4436f8fa2e","datavalue":{"value":"interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5232910$8C5B9168-A4B5-4A7C-9090-45E4A5DDC604","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":"Q5232910$26AF204F-08D1-444D-ACDB-B36C583CC9C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$F6E53D63-BD2F-46B4-A9D2-C3B6AFEE08AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3920102bd8d75f61071be080d3b2c812c30062da","datavalue":{"value":{"entity-type":"item","numeric-id":2427617,"id":"Q2427617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$7E07E78F-9D6A-46F0-8976-F3DA420D4832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0aaaa0a12c9e5620c2bb63e07945a4655c7a5","datavalue":{"value":{"entity-type":"item","numeric-id":960860,"id":"Q960860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$F7DF2028-D124-4AED-B1D9-99644B714894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$9F60054A-83A2-4C9F-98C3-31E0A04C7C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32a4c6683243679e78d9f6acc874dcedb1da998","datavalue":{"value":{"entity-type":"item","numeric-id":5179022,"id":"Q5179022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$DDFF42DC-B5B7-4E91-9D9E-2A900AD22054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa9d641b42fdc56ca5a4ddf2761c02a9d444316","datavalue":{"value":{"entity-type":"item","numeric-id":2449047,"id":"Q2449047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$1751B0E7-36CC-4289-A100-39D7D20A6784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed94d58374462bb36fd3d2b0964d1f35a55d143c","datavalue":{"value":{"entity-type":"item","numeric-id":278749,"id":"Q278749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$69AF6FE9-A5CB-47A8-9B0A-119D52231148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50fcc90518a182dd6733d1d9d1210c0f8007aec","datavalue":{"value":{"entity-type":"item","numeric-id":2324599,"id":"Q2324599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$2EED492B-1CE5-4041-B91A-77B0A1C6A159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$CE226DF7-C130-4D83-BC04-61B3461D3A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9433b77fd67c96fab7c401e42c7a40799c3264d","datavalue":{"value":{"entity-type":"item","numeric-id":2829627,"id":"Q2829627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$141DEC58-39E7-427B-8B03-9850D67290D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5232910$79D28C96-AB93-4752-A1B3-11FACF8DFEA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1cccebf791801a6ca84da0e655fd70752ea801","datavalue":{"value":{"entity-type":"item","numeric-id":441103,"id":"Q441103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9a54b8a865d5a1416742bbb9456a039def86a8","datavalue":{"value":{"amount":"+0.7789052128791809","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":"Q5232910$F011EDA2-18F0-40D2-ADD1-3F26C3E692CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10465834a842ef7032f431a25b12b4ff397dd79","datavalue":{"value":{"entity-type":"item","numeric-id":2841306,"id":"Q2841306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9187eabacc5d777b97cdf3b60727d146a1167661","datavalue":{"value":{"amount":"+0.7670969367027283","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":"Q5232910$707EA836-DC5F-4497-9EA1-32D37C8021BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4865f43eb3ec10659a2602584b749503db41051","datavalue":{"value":{"entity-type":"item","numeric-id":5705872,"id":"Q5705872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea8f1833ade608d31b7c90cae660a5cdbb8923d","datavalue":{"value":{"amount":"+0.7662590146064758","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":"Q5232910$FE4B8C51-D27E-42F8-87F4-21B37BCFAC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2dd95c16a8340f64d3b0126d5f89cd01330372a","datavalue":{"value":{"entity-type":"item","numeric-id":5275346,"id":"Q5275346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb62fa95ca7d4df0fc470fb0ed5be50eeeed87f6","datavalue":{"value":{"amount":"+0.7655074596405029","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":"Q5232910$9A62E997-2956-4DB3-96EF-672172E4B878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c678161346aed482a79d88f1ff7df588caffd2b","datavalue":{"value":{"entity-type":"item","numeric-id":278749,"id":"Q278749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af0ee963477bd9e415d10e4ad01327e7979082d","datavalue":{"value":{"amount":"+0.7605617642402649","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":"Q5232910$8E84E32E-4756-435E-8182-AC871C76A59D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-dimensional automata modeling shared-variable systems","badges":[]}}}}}