{"entities":{"Q4782023":{"pageid":6811603,"ns":120,"title":"Item:Q4782023","lastrevid":74611989,"modified":"2026-04-14T23:35:43Z","type":"item","id":"Q4782023","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836354"}},"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":"Q4782023$D73F3ABC-A77C-4366-8A96-49B2F3A1DA8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb08c196ffcd454dbe91673258b5420391e5b3bb","datavalue":{"value":"1036.93044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$A22E595C-6DEE-4C81-B116-B5A7C43B6E99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a10f8ca607a66cb57d88af99fb30af04ba9e14","datavalue":{"value":{"entity-type":"item","numeric-id":243731,"id":"Q243731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4782023$B8981AEA-5BF7-4AF0-8059-5DCAF95C68B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc554af82aeace6ef028cd07372e98335f8e16fa","datavalue":{"value":{"entity-type":"item","numeric-id":243732,"id":"Q243732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4782023$BD5785A8-27C9-498D-8061-98F05AB850D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4782023$223CC31A-FF22-479D-A3E2-34A416AA6BF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$C52419FD-4AE0-413D-AFDE-786AD4FCDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$3B2B1CCE-2E6F-4590-9DAC-92926E40E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$DCB3B121-3E3B-4E23-8B7B-CCFE58CA7A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$454FCE87-D7C1-48F3-ADFF-3DB3CD10FF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$A0C0B4C6-C8D6-4822-B954-B740EE9E6592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0764ba668ce62895a4f764c0712b7a90d07475f2","datavalue":{"value":"1836354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4782023$F0006BAE-A171-4D2D-B558-4A28B16E60EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba79c10361efaa33da8fede14b536749a48e85f2","datavalue":{"value":"automata networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$A2399765-3978-4595-8BCA-C5ECE695540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e0b99825f902a099e63efb192661c954884375","datavalue":{"value":"Kronecker representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$3BA5CC6E-8CC5-4A89-AFE2-9E22A18AFAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$16CDE407-325E-4B7B-93A8-FA7458369AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$4AA545DB-37A8-4804-80AC-61CDCC1AEE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6071bfb348638892c69a130869ef38ca763397dd","datavalue":{"value":"ordered natural decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$1D512341-07F7-4BE1-BE8D-CADF22B4CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eccccb3750a1a7e70b20102603de7f60dc0a3df","datavalue":{"value":"composed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$A79307F3-3E86-4A86-8B8A-09B29ED590E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4782023$06A89DB4-20FA-41AF-B680-406BD8787A79","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":"Q4782023$F933FA8C-226E-45FA-B37F-29401AA3868B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d023e198c3f2daa7a7d9054db653eaf171bcee","datavalue":{"value":{"entity-type":"item","numeric-id":1610340,"id":"Q1610340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be0d6bbe23e5eed150dd901d733337635d16946","datavalue":{"value":{"amount":"+0.99055445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$E6D45790-DC96-4C2C-BA2E-62E6EA63AFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0228e7a15b8a5ea013445d298bc3e68254f9145","datavalue":{"value":{"entity-type":"item","numeric-id":4418863,"id":"Q4418863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931696e74654f2b5f4f3e8fbf89d6a851cce4c52","datavalue":{"value":{"amount":"+0.87456876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$DFCC1AD1-A2DE-4F6F-BB52-1E9ED09DCC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24fe72ad33e08c4f24db14848436cf6245bc4c3","datavalue":{"value":{"entity-type":"item","numeric-id":3172871,"id":"Q3172871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3accdd25a530cd21534ba3313f7633af024348f","datavalue":{"value":{"amount":"+0.87123334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$F89358DE-4BCE-42CB-B3A2-F1462F76681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2a03568b8c297235cc5fbdc06fff5569f5218b","datavalue":{"value":{"amount":"+0.86975425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$06AB9145-44DD-4C2B-9296-742D45DCA9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7cb73091b234f96fdde16326995d5dac1a6ad8","datavalue":{"value":{"entity-type":"item","numeric-id":1622980,"id":"Q1622980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39e27d6d43b6b3d9f22fcc48f92a2d25da95599","datavalue":{"value":{"amount":"+0.8678715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$D16DFBB9-FBDE-4EDC-BFAA-60CE2C9B34A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f2a2ba8ef5350655d97fd947cb8f1393b11c01","datavalue":{"value":{"entity-type":"item","numeric-id":515687,"id":"Q515687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ccecd5dd7a18c1c4b8d8cebd25988e314bf3f6","datavalue":{"value":{"amount":"+0.85806215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$A22D073E-45F1-4B02-BFAA-51A835508790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f207c87aad0cf4a4112a60900ec1b914c99ca36","datavalue":{"value":{"entity-type":"item","numeric-id":2986719,"id":"Q2986719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbef2ecbb3d12d9271653340e12f92a87b34f10","datavalue":{"value":{"amount":"+0.85749024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$FCFA3F8A-2846-4F55-A798-0C20E80239A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0ed69e7284ae457c83b03811ab78422ffda85e","datavalue":{"value":{"entity-type":"item","numeric-id":6072405,"id":"Q6072405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebbd34fc72e8ba48495d725c3bb692006b8d7f3","datavalue":{"value":{"amount":"+0.8567048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$B4E1CCA2-D019-4B07-8CB8-FDE0F1537F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d28157797ae1b2a786032bfe85ea08c5fd0ed5","datavalue":{"value":{"entity-type":"item","numeric-id":1622956,"id":"Q1622956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037820d4db45275d22695352d9f40bf281325c0c","datavalue":{"value":{"amount":"+0.85533583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4782023$99BF4328-4C1A-4DEA-8AC8-7072795D6780","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1836354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1836354"}}}}}