{"entities":{"Q2870161":{"pageid":2880881,"ns":120,"title":"Item:Q2870161","lastrevid":51906059,"modified":"2026-01-20T12:40:17Z","type":"item","id":"Q2870161","labels":{"en":{"language":"en","value":"Three SCC-based emptiness checks for generalized B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247466"}},"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":"Q2870161$268F9192-E0F9-44D3-B8F0-D0D8E92ADB21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d390b523f72d4e57e07a83c398b6c00b171aacda","datavalue":{"value":{"text":"Three SCC-Based Emptiness Checks for Generalized B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870161$74CF7736-E5CE-4317-8706-9C3D0409C772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e47ac0148f2eb9db4237021a935747c2982763ed","datavalue":{"value":"1407.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870161$4B608B2E-3469-48A3-8ABE-F94F955300E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd739017c469746d4fa20abf846f8d831706d06a","datavalue":{"value":"10.1007/978-3-642-45221-5_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870161$D158DE15-DA27-4FA1-846B-DC693D574983","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dcbbb57143b26c8a142236312cf5a6c3d49681b","datavalue":{"value":{"entity-type":"item","numeric-id":2165223,"id":"Q2165223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870161$0A160F20-CAEC-4644-B19F-72741D67BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870161$D07F78EB-B021-4683-B183-E483DEC0E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36f874171f87759c33ecad32bf45bad085bb06e","datavalue":{"value":{"entity-type":"item","numeric-id":1006893,"id":"Q1006893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870161$6804A0DE-137B-4A20-AF93-CA80AD28A001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870161$A3B98FAF-5311-49EF-A641-09E0AA1E05A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870161$A8140A23-70AF-427E-B9AA-DC09EC454820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870161$1704B97A-ED81-4285-8101-F14CAC56D0A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870161$4024084A-F74C-4F2D-8C97-6E9F24B9AE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870161$D6898CC9-07CE-4EA4-9809-A9BD25996352","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf67175160d72ea4a6679d96ddfa68330277ac4","datavalue":{"value":"6247466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870161$4C633F6A-FCF3-47BC-AA78-DDAE1C77259D","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":"Q2870161$8884B047-4E49-418F-9114-9F4992C0CE13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8f1737fe90d2de87a689d5642f13d40bf515a61","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870161$90884374-17B7-45BE-AC06-FC0FB55B84DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb316fc668d527873a49d1c15f59950e12f27469","datavalue":{"value":"W9742571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870161$3E908294-A6CA-4413-97EC-B18FB915800A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8e4e22b403f90fa551d0019acc3f7ef7fdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af6bea8a5fdc1e96eee7177329dcb6a1ee950c9","datavalue":{"value":{"amount":"+0.8758333325386047","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":"Q2870161$17CB4C54-A34D-4D5C-9E9C-30308BFF6678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1816f7a351bf1c2c54debe974dee35e20c2f49aa","datavalue":{"value":{"entity-type":"item","numeric-id":5480170,"id":"Q5480170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1d2758655347553e2c2a4f11e7c31587a9d48c","datavalue":{"value":{"amount":"+0.8347288966178894","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":"Q2870161$619CED76-927C-4ED7-95F8-EB7A5234C792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9954ea1d28805b9738b939356c11793297b41ca4","datavalue":{"value":{"entity-type":"item","numeric-id":5194963,"id":"Q5194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70f38e193ac0166a253a4aeff8bbe75e2dfa99b","datavalue":{"value":{"amount":"+0.821142315864563","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":"Q2870161$1E27F133-8062-4762-8C2B-54AC891E5FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa6e05bdbaddde00cfd98b5e2e7a17813330fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2917302,"id":"Q2917302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7777ec54d5ab8a66cec5c803a0e05529c9121403","datavalue":{"value":{"amount":"+0.8072863221168518","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":"Q2870161$3630F185-02C8-4B70-9D17-42E32D17E118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28331feb75315a3e26ec891cf9b5f8e0908b3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3297604,"id":"Q3297604"},"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":"Q2870161$E9A846BD-BCC7-4471-8DD1-B11E4457C51D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870161"}}}}}