{"entities":{"Q2946678":{"pageid":2957398,"ns":120,"title":"Item:Q2946678","lastrevid":52347359,"modified":"2026-01-22T10:12:11Z","type":"item","id":"Q2946678","labels":{"en":{"language":"en","value":"Translating to co-B\u00fcchi made tight, unified, and useful"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483183"}},"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":"Q2946678$F8A8A939-5BDB-44C5-B593-A48162529DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bb6b5a1721cf4b1cab46e81a584df462d90b504","datavalue":{"value":{"text":"Translating to Co-B\u00fcchi Made Tight, Unified, and Useful","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946678$AF66A639-F9F9-44CE-A538-B5DAD8AB890F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521d294f9665234226aa56055a091e58638a275c","datavalue":{"value":"1351.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946678$2F28A262-AFEF-4F83-800B-2A2C16855A83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"251a56efc43acf8cc12e502a3ab55c990482f47a","datavalue":{"value":"10.1145/2362355.2362357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946678$EAF2B5DC-8D1E-4453-B1EC-5FCF63A9A6AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b462abade17206dfe317c85f5a037406cc4b0a1","datavalue":{"value":{"entity-type":"item","numeric-id":1036524,"id":"Q1036524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946678$75A4FA5D-CA75-4176-A162-9ABE3188CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946678$D8A19234-AD14-42D7-84E8-DD6C60611DAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946678$BB570C5A-05EB-4A29-B6E5-05D3450970BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946678$ECB82886-B29F-4900-BA0C-07221476261B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946678$BD18C1E4-6810-4A00-BF46-629571E1AE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946678$D66F811A-C863-4B13-9289-CDF3BAB685F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e738297a5f41fcf5e5f2a014e94ef84e81c1336a","datavalue":{"value":"6483183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946678$58DC0245-AF7A-4672-9BDC-F4E343181C20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946678$403203B0-A847-44F5-9242-6081FE195A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946678$7846C03B-441E-48DC-878F-4D39B1A72814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc77a7e3111fd5214deabdaa5217186aefbb37cd","datavalue":{"value":"co-B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946678$79D07951-5AD9-404D-A609-3FD13D26374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946678$EEE64469-9549-472A-AD0D-35CE6B3BF97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946678$B7260603-79FA-4447-8365-B245A1A06693","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":"Q2946678$87FE3094-B687-49F0-A553-8C9426BF2F82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c56676e128c38f38be3de7ecaef33b73a2282cb","datavalue":{"value":"https://doi.org/10.1145/2362355.2362357","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946678$FF5A5B60-331D-4311-AF44-34621A38F81A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c15a93daaba8d257b68aee5edb99ec13ba1b8d1a","datavalue":{"value":"W2095489261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946678$F82F3B89-A7C3-41EB-BEDC-25B2F414F2FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631dc899a8d27bb7b71797a7d9e82999f39275a","datavalue":{"value":{"entity-type":"item","numeric-id":3000608,"id":"Q3000608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be9e67d9da126b03145bf40df27e1f2b6419d50","datavalue":{"value":{"amount":"+0.943104922771454","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":"Q2946678$2CEA444B-A501-4488-9ED9-5B35DF25E62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc774b1e2fd1201f471543b61d1424eb1f4f91e","datavalue":{"value":{"entity-type":"item","numeric-id":3586001,"id":"Q3586001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49a4ef3e8ca5022215c23e5562e072d44861cbf","datavalue":{"value":{"amount":"+0.892342746257782","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":"Q2946678$441EC4E2-4CD4-4FEB-B7F7-328B250A1EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a80a200c5b157ef75d8a4190ce725d845d93d83","datavalue":{"value":{"entity-type":"item","numeric-id":5505553,"id":"Q5505553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6113b4ccb3ecc6c28bd079170eedd65606e1b1ed","datavalue":{"value":{"amount":"+0.8922131061553955","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":"Q2946678$D6D345BD-C9F3-4525-8F5F-86CCFA8BE2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec246ef6b0b7a428e2bb9dcb8a42981b3f9b702","datavalue":{"value":{"entity-type":"item","numeric-id":5136307,"id":"Q5136307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c6e6da5d619a7cbfe7daa0a5c63dd68afc91a8","datavalue":{"value":{"amount":"+0.8182684779167175","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":"Q2946678$F365A024-EF00-4621-8E85-6AD4C6B2D8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad387922d1fcefa7ef48414a681d0a4a0a7c8180","datavalue":{"value":{"entity-type":"item","numeric-id":3459475,"id":"Q3459475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d44b194138d7692bf96e10f9a3347dd7832fb0d","datavalue":{"value":{"amount":"+0.8120326399803162","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":"Q2946678$2E025976-8A9B-4B14-9F91-7A68BD869C8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946678"}}}}}