{"entities":{"Q5895230":{"pageid":7934688,"ns":120,"title":"Item:Q5895230","lastrevid":40886996,"modified":"2025-04-13T19:08:27Z","type":"item","id":"Q5895230","labels":{"en":{"language":"en","value":"Logic and Branching Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501874"}},"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":"Q5895230$DAA4FD23-8811-4784-B924-9C9823F5D62C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1975de8680b53af891bee7d6ed70d91a8ed02e09","datavalue":{"value":{"text":"Logic and Branching Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895230$5DAF6449-F362-4159-9989-8ADD61DF8DF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab879055daead448f891a45c47c79ae8c7e22bfe","datavalue":{"value":"1448.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$CFCB33DC-18C6-44E5-A9D2-147797F0ECB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9f4abb40fb7900b3ef6848e09c06647b07087d7","datavalue":{"value":"10.2168/LMCS-11(4:2)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$295994B4-3B8D-41A0-8A25-8A5BC416FE09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e55d86f14c2239a5db708edd96f311d36adea706","datavalue":{"value":{"entity-type":"item","numeric-id":414911,"id":"Q414911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895230$64B1B602-ED68-4741-A1C1-AEF4C1B7AC62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895230$63CF97E2-0E98-45B5-8805-3A30CE7F2943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-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":"Q5895230$8D707EA3-5C21-405E-B7F2-27171F72661F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$B5F6AFA3-5CE1-4B8C-AE02-60CA2C21B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$FCB61C83-EBDB-489B-B602-59C0473DE90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$0E315101-22D9-4468-B6E0-129607CA4C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$934CCA77-0A6C-4A4F-B90E-285C17A7ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$A71EB18A-7C4C-4B40-B3C5-CF97680090AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ced22f6a576995957672776a4205fed22570deb","datavalue":{"value":"6501874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895230$0E12E53F-9503-42D4-A5BF-51996EA87264","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f2c50852f0cfab9250371174844ea6eed08a95","datavalue":{"value":"N-free posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$6D86509E-7FDF-4987-A0DE-5A3479AE11D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e746a98ea5d971842ba2bbae587ab6b8be1c51","datavalue":{"value":"series-parallel posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$F1D81183-5961-4967-AAB2-707EFEAD395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2730995e52594c7bdcc9e4f6b685db73dfca46b4","datavalue":{"value":"sp-rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$D0B823C0-3EFD-47B5-B3FD-4A3AF1ACDD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$3CDF15B1-8B6B-4832-8510-EFA80F10765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e39b1d3a00eeb3b9138a8fe05a514098d659a6","datavalue":{"value":"commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$D66DC5A2-C03A-4AC0-85BD-B1AE6E96E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$B446D533-19C4-45F1-8B67-0FC3C485D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2d4fa44e756b5d3a3c623c6c359244682fd821","datavalue":{"value":"Presburger logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895230$9C59E75C-BB40-4724-BBCA-047AF3022730","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":"Q5895230$0A95D6D6-AD12-47CF-B8E4-DE5284E1DABC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7a18842d4cd925748396b443a49277db4b92e7","datavalue":{"value":{"entity-type":"item","numeric-id":5891198,"id":"Q5891198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q5895230$99EBD908-15A2-493F-B60E-01E62AD61348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f46f43a32dfdf2238546675e8fc3909f788dff7","datavalue":{"value":{"entity-type":"item","numeric-id":3083622,"id":"Q3083622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2965f5ab0cea981fc0aba5c687dccaba05a9ce","datavalue":{"value":{"amount":"+0.93381226","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":"Q5895230$923009DD-394F-4B4A-AB93-D7FD0C43AEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4989490ddc35711c8cbe99902773ecfd48495","datavalue":{"value":{"entity-type":"item","numeric-id":1916271,"id":"Q1916271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8a42ae61a83f2cf86d61105b1375be46ad5d05","datavalue":{"value":{"amount":"+0.9239782","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":"Q5895230$95832283-0CEF-4882-81A5-069D3E514581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960bb9f4a9976fb21fc31c89847f6a5e7ee39081","datavalue":{"value":{"entity-type":"item","numeric-id":4866989,"id":"Q4866989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e363ee8e8006802b50ad932eba463cd14c79ced4","datavalue":{"value":{"amount":"+0.92274904","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":"Q5895230$FC65862F-85C9-41F5-8DE2-973C3E4D1BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0ef61b2141d93214c5296bc88f845b39416c52","datavalue":{"value":{"entity-type":"item","numeric-id":4271219,"id":"Q4271219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cbb4d52acc34070d54d5e9a9317bf624b4c09b","datavalue":{"value":{"amount":"+0.9210436","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":"Q5895230$AB2DB103-495F-46A4-9584-A83A8888CF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f249d046f809b4dfe387d6bf4b32e4b27214a863","datavalue":{"value":{"entity-type":"item","numeric-id":3741087,"id":"Q3741087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7c2e9505bd63a08ad5eab695f70c33487ddd94","datavalue":{"value":{"amount":"+0.9154414","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":"Q5895230$E476DD81-BFB5-4671-9387-0EB8ED458469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ad26370c2b85d9f32325727550c26d8270b06f","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e9d79da48e7079147896856c00214e946913b5","datavalue":{"value":{"amount":"+0.9101974","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":"Q5895230$1AFE5190-EBA7-408E-B53F-6FE8C419C745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1590ddb828679c731388f1c05621912f976f0bb4","datavalue":{"value":{"amount":"+0.9017639","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":"Q5895230$E139CF80-FF93-41F8-9FF1-975D7AE227F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3163fabc3d3e24ed4b22a2d5a35911f382903aef","datavalue":{"value":{"entity-type":"item","numeric-id":3998008,"id":"Q3998008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45c4d65efc398654e79033628673c45063c6be7","datavalue":{"value":{"amount":"+0.9013632","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":"Q5895230$57C3D631-63A9-4688-B27A-EECCA9A217DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9a6a4801bc8e7bde794abf25f244ed2ed68718","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbeaf2de622e48badedf4516d9225445906da16b","datavalue":{"value":{"amount":"+0.8978411","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":"Q5895230$D96AD50C-176C-47FE-B2C2-824E4DA5D442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5895230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5895230"}}}}}