{"entities":{"Q6134248":{"pageid":13268555,"ns":120,"title":"Item:Q6134248","lastrevid":39719752,"modified":"2024-12-30T17:45:34Z","type":"item","id":"Q6134248","labels":{"en":{"language":"en","value":"Reducing (To) the Ranks: Efficient Rank-Based B\u00fcchi Automata Complementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730604"}},"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":"Q6134248$D0D71BAF-E9A2-4FCA-B55E-D55F397C5A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27fd7f8ac9d02e546743864814989ba04fcab120","datavalue":{"value":{"entity-type":"item","numeric-id":2038089,"id":"Q2038089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134248$0F51BD83-99DE-4380-9529-FE3BB9B1E305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6134248$EC79324B-69AE-4B46-BC1C-3327BE6DEB09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6134248$D8085B2A-4A43-4D4B-BA26-357E60601C72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134248$A57B5568-0065-4AF3-AAE0-8AA844541F36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"686d7d3c858240622ad6d29f28ba88ef64eb7b69","datavalue":{"value":"7730604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134248$3AC0AD3C-3DAE-4203-8B35-6B978DF9B087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134248$8B18EE7E-AE14-4510-AA8D-C229181982FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7285ab1f24ad660893a6affeea3e02c7317bfc87","datavalue":{"value":"rank-based complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134248$7137F004-8E6E-4AF5-BF59-82490814DC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3801bac4613359e64a0a135c86ac9fc1d140cacd","datavalue":{"value":"super-tight runs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134248$897CDA2E-A93A-4934-A9EB-0F95848AED9B","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":"Q6134248$41818369-1984-40E0-AC00-490DAB747A5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4bbad2457837c73258434126116055210273cef","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2021.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6134248$BB094FF0-3959-452B-A74E-B1312E29CD04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91f6c5652f466d12dd7ef2c7144eb8a67b368b21","datavalue":{"value":"W3193588428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134248$4A36EBE2-685D-4FD4-AC70-DB682BFBF767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78a62756a0f57581d0d5982cc34db192aa9c2a5a","datavalue":{"value":{"text":"Reducing (To) the Ranks: Efficient Rank-Based B\u00fcchi Automata Complementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6134248$53F14556-1F70-4D27-9721-E416AFA20387","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ee2c67e28ab9732092e17ba543dc0fdf95c67a0","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134248$57A1C32B-FDF9-4F9F-8888-9E1666C5DF83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6134248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6134248"}}}}}