{"entities":{"Q2563761":{"pageid":2574504,"ns":120,"title":"Item:Q2563761","lastrevid":72790053,"modified":"2026-04-14T07:51:25Z","type":"item","id":"Q2563761","labels":{"en":{"language":"en","value":"Matrices, machines and behaviors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958520"}},"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":"Q2563761$1532F487-A3D6-4F1D-A60B-354B9BE394E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee6df9929e12e49bf90ed831c88cbcc9fe2160c5","datavalue":{"value":{"text":"Matrices, machines and behaviors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563761$DF3E5407-053C-439A-B326-F18900CEBF06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7150687ff8b34b7be1c50a8aab5c8ee38097e32","datavalue":{"value":"0859.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$850AFF9D-06B5-41BA-8547-B92AD148A18C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0a949d244a5e0a3f0425533d3c60cb83f55df94","datavalue":{"value":"10.1007/BF00122683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$A1F6AFD4-9B40-4A7D-AFB8-0A7698D51196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$349B98F1-6CE5-4C45-9C94-03860F5689E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2847574c30343fdecd36c344bf1a822e45de0efc","datavalue":{"value":{"entity-type":"item","numeric-id":633809,"id":"Q633809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$345EB53F-0ACD-4AA2-B4D7-F8E2753F93BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7dc5d37687b308b97ba7a94b1562368be84edb","datavalue":{"value":{"entity-type":"item","numeric-id":633810,"id":"Q633810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$A0BDA692-09DD-4D1A-8BCF-6AE85A8D0C79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$7B1D1F7E-9BEE-433E-852A-1D63C06B9033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2046b1f74286b4103e7d6313b9d0df4856d8a60a","datavalue":{"value":{"time":"+1997-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563761$1E22C489-E096-4200-AF6C-90E4465DDEAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe341404d5ff077451b9ac24589503d75435d515","datavalue":{"value":"The paper presents an interesting relation between Elgot's iteration theories [see \\textit{S. Bloom} and \\textit{Z. \u00c9sik}, ``Iteration theories: The equational logic of iterative processes'', Berlin: Springer (1993; Zbl 0773.03033)] and the categorical machine-based theory of concurrency [cf. \\textit{R. F. C. Walters}, ``Categories and computer science'', Cambridge: University Press (1991; Zbl 0789.18001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563761$46475A68-886D-428D-A4AD-C8273423DF27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$DA7FC1CF-292E-40C1-BB9D-5FBA77C1B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$475A9776-5CD5-46C3-8E9E-4A53DF86E5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$C8022CF7-9973-4FE6-A95A-4597DE9A44F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$02CBABE7-41FE-45F9-92B0-0CFD478EC74A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74be885abd2a4d1c6047bf1a93635cbaeeaa3eed","datavalue":{"value":"958520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$A68BF965-666A-41F2-8FA8-B155BEA7E69D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0922c7a514406e947ac6372536134787f605c82","datavalue":{"value":"semantic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563761$3BC487A3-851A-4CDB-8AB9-DD0FD21F61A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c18026a8fd9f97122c51872f63da594ba6f1f9","datavalue":{"value":"bicategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563761$ADE46727-5410-47CE-A315-BC303CA23CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cdcccdfcc6b313ffd420e82d594cc27db4468d","datavalue":{"value":"finite state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563761$32BCE52E-D2F8-4656-B051-2822A28D4208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7656e9fd025828a6267e725707cc84232244e881","datavalue":{"value":"iteration theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563761$CB81203C-F648-4FD9-9C73-4BABBA4B71FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563761$DCD08001-FFCF-470D-B5B8-02FF499A9B24","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":"Q2563761$9CB6E7FE-2267-4C44-810E-19C2BD17315E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$597F085A-B344-4EEC-BF94-6235CC5968ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$FDC062E0-5C3B-4AC2-A20C-76AEC2174306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$9BBE50A1-C4CE-4AD6-BD48-555C3109FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$2B0CBF6F-8414-4A5C-B8BD-094980F3D4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6e3e059f5af4dacfd8b0e4764c786b840df6f2","datavalue":{"value":{"entity-type":"item","numeric-id":4304553,"id":"Q4304553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$BDE8BEAD-57B0-4181-8BE8-0F785AA48519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5352653fc1bbeda0848a74db0b3efde2878f496a","datavalue":{"value":{"entity-type":"item","numeric-id":4003856,"id":"Q4003856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563761$1E802354-E2BB-4FB3-9A91-E33E6DFA611F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86121c3a54d0d6156d0a9816151af9601443e963","datavalue":{"value":"https://doi.org/10.1007/bf00122683","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563761$D77460D5-E9E5-45EE-B462-124CEEDBF7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf13f306cfe58bc0bf16618e82f50f2004658929","datavalue":{"value":"W2079677011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563761$ED945556-9958-40EA-8A31-F43274E6B2EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c039adb34e9b5800312193aafbec7db2d641809","datavalue":{"value":{"entity-type":"item","numeric-id":2366692,"id":"Q2366692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97611b9c1d2a599694c8b9ff86c09568ae0a6ec","datavalue":{"value":{"amount":"+0.7606619596481323","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":"Q2563761$5534574B-5759-4F84-B7B9-6685439A13D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a953863e9a9e62fa3cb2afedd633c99f64af31a","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e562f20864e7b8ab750e54e7171b12fb001538e6","datavalue":{"value":{"amount":"+0.7439383864402771","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":"Q2563761$0BE48826-047E-47FB-81D8-ED9C5A9BD7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28daf98177955b70818ae09d5730887e46ca0e89","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db43c5e68d19ff40f93ce85d4141383984b2fcc","datavalue":{"value":{"amount":"+0.7350634336471558","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":"Q2563761$66644ED6-E47D-4A40-964E-703B589EF0C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrices, machines and behaviors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrices,_machines_and_behaviors"}}}}}