{"entities":{"Q2870123":{"pageid":2880843,"ns":120,"title":"Item:Q2870123","lastrevid":47907055,"modified":"2026-01-03T01:27:49Z","type":"item","id":"Q2870123","labels":{"en":{"language":"en","value":"Comparison of LTL to Deterministic Rabin Automata Translators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247434"}},"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":"Q2870123$CE7B6A9A-9378-4114-8342-6671323B8FFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b739afdcd7e50954feef9fabe5e2cd431280b7c2","datavalue":{"value":{"text":"Comparison of LTL to Deterministic Rabin Automata Translators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870123$87A25FED-679D-4CF3-9F41-41B934808E38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cef8c1e36df4a4484d3099f4e671627a677cd51","datavalue":{"value":"1406.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$390A9A4C-DBE0-4449-AF8C-7EE5A7F4906D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dba16f45ac14717072afb7b6a0141fe80ff60a7","datavalue":{"value":"10.1007/978-3-642-45221-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$AD89D63E-33ED-444C-B6F3-81D3F6A8E33A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4f64a12bc86ce8cf7eaa1f7ae2622731f942a1","datavalue":{"value":{"entity-type":"item","numeric-id":2202001,"id":"Q2202001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870123$935C8254-A643-41A1-B1EC-3329271B679A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870123$2E2B766B-211E-4E44-A4EC-31777BF07DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86fa9d0b9effd06fb644383c19d6a5b9829621e","datavalue":{"value":{"entity-type":"item","numeric-id":1006888,"id":"Q1006888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870123$E0364ED1-B1A8-4FF8-AD12-8E579F9AC246","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":"Q2870123$2AD4CE10-6387-43D7-9774-F90DFD7196A7","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":"Q2870123$376A6151-3274-4E71-9B5D-96949C1D46DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$A452100C-C2E4-4943-B8E5-FF6FCE472F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$12CA3B19-1DD3-4AE1-843F-F894CB459BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$C4AF360C-E306-4978-8322-8535AD62DB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$062EAA31-FDA8-495E-8658-DC8EBBB9D7C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34f03171aeafbf03a9096155ea785f10dfe19604","datavalue":{"value":"6247434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$4B019483-BD50-4AFF-AC87-EE4E45D578C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870123$2B2E094D-D69A-4467-837E-7AB0A75F9DDE","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":"Q2870123$8E305274-6FB0-4CBE-BE83-67E3ED403967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46ca4ceeb636afb3ba0032a59662ad43719093f8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870123$B3E503C1-812A-48F0-8A42-13EE6A38A2D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aed14950d1972f5ecef36202871f18bd215930a2","datavalue":{"value":"W24632170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870123$545C8B2A-85B1-493C-93D9-A25D1EC258AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc91c0e0cc113d9b1bafebc4785714ae7c4ff671","datavalue":{"value":{"entity-type":"item","numeric-id":888763,"id":"Q888763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a09bb2701384b07674a45c756e95f5349a2f37f","datavalue":{"value":{"amount":"+0.7851544618606567","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":"Q2870123$82FB2F23-CD4F-4D05-8C24-D519F7045787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39375d781a30c79b858dc87815735a0894bb373","datavalue":{"value":{"entity-type":"item","numeric-id":6158381,"id":"Q6158381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c70d55ede64d2238b75fc3fe5a1fdd62d8a914","datavalue":{"value":{"amount":"+0.7561579942703247","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":"Q2870123$B8F9B3A7-C2C7-43BB-8E0C-B395B2DA4ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2e77d058eb52dfcadb209d914ac3a287ae766c","datavalue":{"value":{"entity-type":"item","numeric-id":3318475,"id":"Q3318475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e6d56a094f5fefe3444c2d0e1f2cb5ceb67a9d","datavalue":{"value":{"amount":"+0.727530300617218","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":"Q2870123$42A87AA6-DF71-4672-BEFE-450B4F06F086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6670e688760236ffecf98c244a3a55cc3892668f","datavalue":{"value":{"entity-type":"item","numeric-id":2847835,"id":"Q2847835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2647d8e235638b6503f70d26fc92119e55eaabd","datavalue":{"value":{"amount":"+0.724216878414154","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":"Q2870123$FDDC4F93-A952-4FDF-9EF5-2DDF4F6D47B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033b479f9465447d841a77b5a554797e0dae1b00","datavalue":{"value":{"entity-type":"item","numeric-id":2854347,"id":"Q2854347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb69263fa6b7ddb2b7482b6befcc510e89530ba","datavalue":{"value":{"amount":"+0.7221348881721497","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":"Q2870123$C579C26D-6431-4014-9187-DEE68F93BDC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870123"}}}}}