{"entities":{"Q6580665":{"pageid":14191820,"ns":120,"title":"Item:Q6580665","lastrevid":55719028,"modified":"2026-02-17T21:38:15Z","type":"item","id":"Q6580665","labels":{"en":{"language":"en","value":"Simulations and bisimulations for max-plus automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7888863"}},"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":"Q6580665$ED5C8968-EE7F-46B7-AA99-32B69F5F3DFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6ffc83b32901029088fa074276a81f5beaadcbc","datavalue":{"value":{"text":"Simulations and bisimulations for max-plus automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6580665$D891EE60-54C3-4BCF-8A5B-FEAF8E66C140","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"803d5cd2f433fc1c7d56d3092e196ab2889fe1ae","datavalue":{"value":"1544.93476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580665$28A4DB57-F1E6-40B6-A142-037F6B1C25D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c60bd938898689adab68c7f7e96b549b46942","datavalue":{"value":{"entity-type":"item","numeric-id":202019,"id":"Q202019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$3D797037-7700-433B-A51D-5D5695DEB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f28a2d1a4704a5b0409cec1601c0cb4b9f46602","datavalue":{"value":{"entity-type":"item","numeric-id":679809,"id":"Q679809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$931C16B6-241B-4D75-A6BA-1A03F631EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e061e55efc8f34f5bf2fca17a211400e07c99c5","datavalue":{"value":{"entity-type":"item","numeric-id":6580664,"id":"Q6580664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$148508F3-7A14-4F43-8227-E62E6FAC3C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfa02006cc851a10ef4446f00bf4955b850af668","datavalue":{"value":{"entity-type":"item","numeric-id":726555,"id":"Q726555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$8E4D29EC-7F74-4668-B470-F0675B320319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$82E24E84-75E8-4F43-AE0B-F30BC4783410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"581d0568ac17ca43ed5d0aedd4efb6193b09597e","datavalue":{"value":{"time":"+2024-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6580665$CC16B555-C383-449F-A14C-8AE33DEFA748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580665$3E912287-E4DB-47E0-8860-B4747B910B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580665$9FEB8492-DA21-4B0F-8D16-DE1C738C4351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5bc850efb57718f8497af55f559776989de771f","datavalue":{"value":"15A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580665$723774A9-A4A0-4F74-8198-BA712FD4D03C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77c2233b3429bcd78aa890111e91e65003cd92d","datavalue":{"value":"7888863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580665$2AFA829B-0A7B-47C2-8A9E-0211506EDEEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc565b2b171769481917bebaaeb5a628e6680bdb","datavalue":{"value":"max-plus semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$9062B6E0-9F2E-4493-BB4B-3526E993C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c8a526f2b4577e10aea96a23fef8767bcebd3d","datavalue":{"value":"complete max-plus semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$4AF2CC68-8D5E-4AA4-83E8-49E7D82BFCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25413ff63f70b85bdb7248ccf22ab98529b16578","datavalue":{"value":"max-plus automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$122C2EF2-F36C-4347-B45F-2CBE9B21FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$9FD78B2A-861F-47E8-AD2E-D39FA6CFBE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$C8A59F26-2E63-4058-9465-8039B0CDD6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9786932a1198ea8e1a40c9a4aafed7f72c717b11","datavalue":{"value":"containment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$87987989-8253-420C-A168-D9DC76F1DC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580665$EF3967D9-02D5-4C44-A243-9AC52B81CC1A","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":"Q6580665$1E5FE63D-61F5-4D87-A579-EE6B05ECE443","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$1E1CFB70-0236-4AC9-9B3D-2C277CB52C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580b9e9289a21150d99fe7c07a83afb1d6159d7","datavalue":{"value":{"entity-type":"item","numeric-id":1003740,"id":"Q1003740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$FBA4C081-276F-42D2-95F8-1AF156C460D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c6d739105af42b6acc02e0e9c7785735b22bae","datavalue":{"value":{"entity-type":"item","numeric-id":2489939,"id":"Q2489939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$1213F14B-1B2C-45F0-9892-6040BCF044CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c320676ff7c8523622205382f81dcba257d033d","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$9969674F-FBF3-4BA1-A25E-F3938C463993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a09165dd7f9afd347e879ee619c80d9e25db3d","datavalue":{"value":{"entity-type":"item","numeric-id":690916,"id":"Q690916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$E6AE7344-1854-454F-8BF1-29280B5CE70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169f76fb0c125d2a3bd25a406e08ce7e58387666","datavalue":{"value":{"entity-type":"item","numeric-id":2922015,"id":"Q2922015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$2786E341-CF13-4837-9923-A9F85A0F46DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58c86e2a38bac49dd83cb1cff615314b7f6324b","datavalue":{"value":{"entity-type":"item","numeric-id":2447758,"id":"Q2447758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$9D277256-B5E7-42EE-9167-CE170B28D5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9163959ba63681a656f6562bb53e329cdd51c5ea","datavalue":{"value":{"entity-type":"item","numeric-id":5111233,"id":"Q5111233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$94888484-230B-4B26-AA89-6030E8AF0D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$86A6A966-780B-4163-B03E-7766D9415253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2839c1b09b89d3dab4edc740e274b7fcb6bae27","datavalue":{"value":{"entity-type":"item","numeric-id":4875977,"id":"Q4875977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$25616430-C58D-467E-A2A2-E5B71D2DECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99475709ee4f1ffa75f1adb92d7c49c09dee59b4","datavalue":{"value":{"entity-type":"item","numeric-id":4506745,"id":"Q4506745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$E5380D4F-53C5-43AC-B18C-E3600E6AD27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$B0E3E976-0D46-4D3D-B846-2D9F43A24BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3421056fcaa1a73c4defbe0d385cba62ebc04c73","datavalue":{"value":{"entity-type":"item","numeric-id":843993,"id":"Q843993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$8722DA6D-4220-4C8E-BD32-42A2B0C15CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395ffd984d2e8b65fa4daffb4986c7702d6f8ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2348374,"id":"Q2348374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$F70C8D47-3B33-49F1-A15D-C26125C19CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd23d045283c3d7296790cefac1adba24e2cb397","datavalue":{"value":{"entity-type":"item","numeric-id":2177784,"id":"Q2177784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$CCE5BA1E-67C4-4865-9139-47C273D81A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daee460f8da048e07d8db5af1a1d205303e830ad","datavalue":{"value":{"entity-type":"item","numeric-id":2128082,"id":"Q2128082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$034A5D9A-45F6-4659-897E-5BE2EEF7886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d6afc7802f8749389510d8c8a56f518cfbbfa","datavalue":{"value":{"entity-type":"item","numeric-id":729815,"id":"Q729815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580665$4C8D14D0-3BF0-456C-AF35-CA829D1835E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69ae23ab0cbca267b5be17b9211fb77a38a537dc","datavalue":{"value":"10.1007/S10626-024-00395-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580665$B5C2D2B6-1896-4D6D-8F65-26B56B4844D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d863c03349388a2bfc4349b007e661f7193be91","datavalue":{"value":{"entity-type":"item","numeric-id":2447758,"id":"Q2447758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2b5615277dcce36d448701d7d44b851286cf97","datavalue":{"value":{"amount":"+0.8395270109176636","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":"Q6580665$5EE425EF-C891-48AC-A5D2-5BA25C35D702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f4df0a08558ede48cbb57a054c6f31a4e59552","datavalue":{"value":{"entity-type":"item","numeric-id":4449536,"id":"Q4449536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93c4d3bc82e3f145dec9fe7015e1a1128b6549b","datavalue":{"value":{"amount":"+0.8318741917610168","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":"Q6580665$88A8CD58-526D-48B8-B19D-6C2851BB8305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f6e3b3c548a33ac8af22cbce549eb76ab945ec","datavalue":{"value":{"entity-type":"item","numeric-id":729815,"id":"Q729815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e125b1d24af04929ad44b96a92d818e6a52ec6","datavalue":{"value":{"amount":"+0.8072397708892822","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":"Q6580665$9456D3A8-8C31-4C55-8925-0B117637FF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621c590077942a7cc13fbf89dec784a48c06d125","datavalue":{"value":{"entity-type":"item","numeric-id":3190135,"id":"Q3190135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7ec485ae8f257b3deedbb8a908b5197128d371","datavalue":{"value":{"amount":"+0.8058052062988281","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":"Q6580665$FCE56C36-67C2-4996-9BAD-150BB0D50B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3719a9239357f5aa7a341f0ddffc98d0f16976","datavalue":{"value":{"entity-type":"item","numeric-id":2074207,"id":"Q2074207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bffe9b6020f948530675052ccae45ba463c1892","datavalue":{"value":{"amount":"+0.8007177710533142","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":"Q6580665$76049E61-475B-4B8D-AE4F-F4EE24A99BBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6580665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6580665"}}}}}