{"entities":{"Q5158653":{"pageid":7188224,"ns":120,"title":"Item:Q5158653","lastrevid":54120665,"modified":"2026-01-26T07:08:19Z","type":"item","id":"Q5158653","labels":{"en":{"language":"en","value":"Coinductive algorithms for B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7413807"}},"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":"Q5158653$C3F3C1A0-B844-4F75-A571-D34AC70865A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3add78561f9fc319c3d51eb6b4ea2974d66c8c7a","datavalue":{"value":{"text":"Coinductive Algorithms for B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158653$1E43F458-A9A4-457D-9108-73059A48AB8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"135c61c472ceedf6bcdb5871f1a48f4cd942fdc5","datavalue":{"value":"1497.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158653$40CD05DA-B234-498D-8344-3A73FE091DE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7ad71897acb0158dccb71b1286dd5dd2c998c46","datavalue":{"value":"10.3233/FI-2021-2046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158653$F1DB9CE3-166B-4FEA-8EC8-3477642BAEA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$67497557-2844-496F-8EF7-5B6B1D34AA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8854b67fa04e84096e8632d803255a248a9d7af","datavalue":{"value":{"entity-type":"item","numeric-id":2327556,"id":"Q2327556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$8A535F35-90F3-4FED-A9E1-75C9DE5D5E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$BDD5116B-3D10-41BC-A013-BDB331045A89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$DAF12693-3221-48DE-8118-4F2A7F427ECE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ce2f5c3131b8fb956dfb7c648fa88886ee86209","datavalue":{"value":{"time":"+2021-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5158653$7BC01398-C80F-4A08-9A98-2DEEEAE72E30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158653$3FF25D72-C24D-4804-BD5C-982D07CD7619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cf59e2a7cfa35e285af35f8cc445f8ae40debd1","datavalue":{"value":"7413807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158653$55F133B6-4F44-43F9-8162-DF4C98B25462","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158653$4853EADE-2065-4AA1-B669-DCDC4F19E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158653$62BFC8FF-91F4-4939-B616-94B85D7CFBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158653$56586ECF-C8BE-41B1-BB7C-79308D97D745","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$F5F653D8-2993-4347-8C7C-66B745CD38F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$2FCFD0F2-1F29-4AFE-BC87-91A4EB98D97D","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":"Q5158653$40FF4F65-8716-4C4B-9E9D-B84B4F70C90D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$D8176373-0262-45DA-BAC9-71FD452222BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$CE64EBCC-E7BF-4047-98BA-30631117B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9e409e52b45711b71923ec79d5ed3e4d06b759","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$69CB7214-3097-4F39-A6B3-E79CF6BED8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1fd3825546df3c1ad7f3c5a3ddc15850056b45","datavalue":{"value":{"entity-type":"item","numeric-id":4910474,"id":"Q4910474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$21232523-4493-4547-B3B8-89A7AD3F017A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$ACEB5F01-F9FE-4A2E-93E0-71CB48D1C13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bab2d5ef22f22d0f4f2c57ef8626ead1ebd98","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$8CE945F6-E234-4568-B20E-D6FC9C5AFD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f085b238ed338f810dadaf339888144af184bb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$BBBABAAE-4017-476F-9652-F1D78C22A78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$4B36A448-5DEC-4F04-B81B-F6D05C7CD195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$895CCA43-3F89-4B94-9E00-6B8E13F148E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75cfb2ab625e62feb4087fd15200cab4e676b83","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$36192335-6B68-4C5A-9D95-09AE8D68B6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d81dfdda8dbc31e15b5299845514d0933f0719","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$5ED8AFCF-B503-40A8-8C90-C8387E08C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a1d2953e29e353acc85e75297d9fc4987bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5890066,"id":"Q5890066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$431866E7-D39D-44BB-BF76-2255F8A0DCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042993de97aced771ee16d98a587e63da5dcfc06","datavalue":{"value":{"entity-type":"item","numeric-id":3123633,"id":"Q3123633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$A9801ABB-6FEF-4FB2-B61A-47AADC4DC4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$B29E46CB-2FB4-40D4-AABC-7517902CD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$BE495997-D0DF-4095-A246-BAE0AC853ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$859563EC-A93B-4EDC-BE19-A6DBD937B353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$4041BF74-1AF0-4C06-A70A-74FA7E568855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$E4380CBB-F022-42D1-962E-0109298AAF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed3bc478993852311ce77786a6a2b106b505f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2931784,"id":"Q2931784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$8C89933D-E05A-4260-8904-DAF5638339D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$C225A38C-8FEE-4CDB-9372-9BD910903FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e41e590ac256592516927020d2f60958d61dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158653$2C0F1ED3-37E9-4454-95F7-F9C4057C9896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05d8ba7e5e8b25c2ffcb4fad7d2c99090d02cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2327557,"id":"Q2327557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6661ffb357366d729945da558ebc586f84fb7dd5","datavalue":{"value":{"amount":"+0.9998224973678588","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":"Q5158653$B86D17B2-85A0-4170-9891-A1798B5E1086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626271143460df64cf77181d39f19c5a6ed89bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2848937,"id":"Q2848937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce527f2d8d8af549d08b99c0ddd38b336bff6f7f","datavalue":{"value":{"amount":"+0.7892171144485474","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":"Q5158653$1C691A25-1CF8-44B8-8B49-6891A451F539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8f0a7846eefd683c1b477943a2cb8a17a0b29e","datavalue":{"value":{"entity-type":"item","numeric-id":1060562,"id":"Q1060562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2df3aa491bd73711aff1db59d8968f4e15b259","datavalue":{"value":{"amount":"+0.7869797348976135","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":"Q5158653$39E3C39D-000B-46C9-92B2-BE986E771FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b1caf5829e722c95788c8cb112cbe6f47d831","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b2819143d603a9c9d56ab3ffdefd39cfa98f6e","datavalue":{"value":{"amount":"+0.7821681499481201","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":"Q5158653$6C3C6A41-7E84-4B86-A65C-DE214D40D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d09ccafe9cb2c07f692b4b94d53be95ab3eb7b5","datavalue":{"value":{"entity-type":"item","numeric-id":4910486,"id":"Q4910486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2d10f991add8bdd5251885f417bd302bec308d","datavalue":{"value":{"amount":"+0.7792562246322632","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":"Q5158653$6E741630-EDFD-459C-BCCF-39E906C853E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5158653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5158653"}}}}}