{"entities":{"Q1019031":{"pageid":1020879,"ns":120,"title":"Item:Q1019031","lastrevid":69431160,"modified":"2026-04-13T06:57:11Z","type":"item","id":"Q1019031","labels":{"en":{"language":"en","value":"Tool support for learning B\u00fcchi automata and linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558123"}},"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":"Q1019031$BDCD44B8-ABA1-4F7D-A1DF-FB1D5B3A8F9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef34b6cd8086670b6101ce6ebd99f147c3c2e33d","datavalue":{"value":{"text":"Tool support for learning B\u00fcchi automata and linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019031$77A57E6E-24EE-4DDD-8568-3A82CE3C446C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7372cf2632b43c99cf0baca51fb74584570de56a","datavalue":{"value":"1165.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$E785C866-4C3D-4CBD-B135-AE30753DB2D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$7ACA115E-51DA-4B1A-A08C-30934FD25F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$8C0E3AA6-3371-471A-8AEC-57C288FBC477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9764996bae6bd9b17d23d85978b18dacf299f6","datavalue":{"value":{"entity-type":"item","numeric-id":832258,"id":"Q832258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$FF322DC1-B8AF-4D46-9C27-F72F74903D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4144d29eda66d4cd86ea6ff221dca3ba2a33798e","datavalue":{"value":{"entity-type":"item","numeric-id":1019027,"id":"Q1019027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$D162EA40-4874-49D9-BCBC-E838E7AEB2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afa370fdae9ed9cc9621434ff62eb6a3e341c59","datavalue":{"value":{"entity-type":"item","numeric-id":1019028,"id":"Q1019028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$D8C0C343-E517-4972-A100-04BDFFF9F1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a85776adda7677c0ade2e66e29d2ad0d8efb9e71","datavalue":{"value":{"entity-type":"item","numeric-id":1019029,"id":"Q1019029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$37FEE9CF-75B6-4200-A986-7F834FAF7BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae947580dd611ab73465ebdcf7febe09bac37046","datavalue":{"value":{"entity-type":"item","numeric-id":1019030,"id":"Q1019030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$B8FC7088-7846-4F9C-80B6-E43E51E92511","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$9B30EB3E-500B-41A9-9E79-07893CA8FA24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019031$EF02E5B8-14DA-4C34-ADFC-3EF95ACEECED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$88555708-61AD-4066-BC79-4719ED2A2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$DA2AB79D-99CE-4E35-9E64-6F9383975364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$C813A1B9-53FA-49AC-90D4-6F2098BCD99C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00b30e96629253b194fe6f32673b81f3b2a83519","datavalue":{"value":"5558123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$75986417-4698-4A77-B8B0-B67C1E95C630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019031$D3DE2AC2-2679-4433-B128-58B55C95FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15797fe35c30a2497c37bb894a4a9eb71d76e05b","datavalue":{"value":"GOAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019031$BB0E1309-D0C5-4309-8682-5E873B5EA8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019031$28FB5122-02B5-4C6A-A356-4E08881F2298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019031$3B8D6176-FD3E-4542-8C8B-F0F33CE21060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ccf672c6d766264e5e90759578532f943970b3","datavalue":{"value":"QPTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019031$14785014-C85E-47BE-8DC6-0410A79C60BD","rank":"normal"}],"P1463":[{"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":"Q1019031$89DCF012-6639-4DAF-8A1A-E8054999F20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c26cfc12efc549be0b79b63593554943aa146d16","datavalue":{"value":{"entity-type":"item","numeric-id":33040,"id":"Q33040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$156FCBCD-EC13-4CBE-AA46-9C2797E7A3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$696FADD7-CF8E-4467-881C-93741A1EDFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e82df5050a1d9c24241dbbda99d790d8be863d","datavalue":{"value":{"entity-type":"item","numeric-id":22295,"id":"Q22295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$6D1EEFD6-C4D4-418B-BE65-8A595FC42E96","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":"Q1019031$1DD92550-44FB-43C1-9B0C-A7E56429E3F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9421d3ec409c4bbc79022d69919943a33e8190d","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0091-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019031$73D5D28D-1526-4744-9048-BAB82431A52B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2583b4db975034b851b169f557fb25334d52b26","datavalue":{"value":"W2056956642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$C8663A87-1CFC-45D7-A0B9-B9D2BAFC5EF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$445D0129-5076-49AC-A453-263C25E3567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$7F0BF597-D328-4FC6-ADB7-9C3C9A9E1235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befac40fe1cb8125522cebeee5546ac3f483c4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$58B19357-28FA-493A-A101-6256F5DD6EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$8B6A28E7-7D02-4708-AC77-00EBE53E8433","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":"Q1019031$98102FEB-C5C2-4856-B468-C5F7E3C08BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cff247738892f2e8be9f3fad6536e34cc42e30","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$E0FA392E-D022-4F26-8FE9-45EEB0D55B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$67EFDB89-6FF3-4C1B-8F4C-83CF939645CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$2BA10C64-6DF0-47AC-81CA-348300F0FCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b1aaa12cb22baa573e2301380d3949f4de3d95","datavalue":{"value":{"entity-type":"item","numeric-id":4779585,"id":"Q4779585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$ADAB316A-DFBE-404C-B5A6-A4FF19DDC627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4573b227fbba8ffa410ea5afa5ff5132abb7d","datavalue":{"value":{"entity-type":"item","numeric-id":1116702,"id":"Q1116702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$A32AD109-2B87-47FD-8D62-FD195882A43D","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":"Q1019031$A9091E51-E2AD-4059-84EA-7A3F9C0C443F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$C24DA3FB-EFB1-4ADB-9D0D-E3899376641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$502EB338-9C9C-402A-8ACE-45459A9F776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$78B9473A-0F64-4EE9-8913-D691D9C00ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$F7910266-5C4C-42E1-A110-FAA9B90535B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$D1EB51CC-4374-45B1-9BE7-5D2065A6CB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50f615061ac96c9799cb135176c9735a55599c3","datavalue":{"value":{"entity-type":"item","numeric-id":2754080,"id":"Q2754080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$E4D9555A-585A-492E-B111-0A44FE530B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$447F090B-DE44-44F1-844D-20340EAF86E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2b1a1129e52300307f9b1e97a46c54c82f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":4536588,"id":"Q4536588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$176B969E-77AD-417F-A455-2A5AAD40021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$D6B3F233-C8AB-4A86-B124-324BF886253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$CA8CFE29-F684-4D1C-9612-11CABD9443FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8afbdb75391fc82d6e1acfd2d90e1fec07c35405","datavalue":{"value":{"entity-type":"item","numeric-id":5458337,"id":"Q5458337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$8194828D-BEFC-4EAB-A209-31FD1C496C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0547eb9218225ddabe42e553f1425cea5df1434e","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$C78BABA7-D563-4224-B2A2-3D36D5B372DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019031$EB42768C-D16C-4449-A460-AF1CA32846DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b90dacddadd1ce0ff9cc0aa3240791b36b01a387","datavalue":{"value":"Q130892469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$FB285ED5-68A9-41AB-A8DE-B66B5E432BD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7df0c76c7e91d8943d55d3b37c6481bfeff392fa","datavalue":{"value":"10.1007/S00165-008-0091-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019031$A7B8805C-985A-4681-BBFC-47C9238B208A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3ab0db80df592b300954cdae307d8a4b79a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0dbd5fba49983428ee56fcf2adf7952ca856db","datavalue":{"value":{"amount":"+0.8642909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$37FFA5CF-745A-4BB3-B9CA-54F0D39A98B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9bb997a6eebba553b2cf0f33d0315273f3a7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4547769,"id":"Q4547769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6c7c9418a668c989c2feb7103ea8d36863a4db","datavalue":{"value":{"amount":"+0.8564702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$EDDB602A-CB5C-478C-A753-7B6B00841FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035259ecbfa109f4140e19b20b77a851a3b5d10d","datavalue":{"value":{"entity-type":"item","numeric-id":5499149,"id":"Q5499149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac89b14bdfd74de00134f0f95c9839fcbeea5ba0","datavalue":{"value":{"amount":"+0.8549219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$340E6AB5-F88B-47E6-86C9-23D27A04148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0729fbb3dbf864d82ca17079f8bed0cc3705c818","datavalue":{"value":{"entity-type":"item","numeric-id":3559779,"id":"Q3559779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5812fc5483b4d3daba8cdf953f6175913ec80d","datavalue":{"value":{"amount":"+0.8514043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$72AA0855-BDAB-4B91-AB6D-257D7765D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3df0e98b145a01170e3aa106f0133c472c2412","datavalue":{"value":{"entity-type":"item","numeric-id":2996152,"id":"Q2996152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caddb349e2b86c2c99698a4bff720c5f561ef0cc","datavalue":{"value":{"amount":"+0.848466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$3A44CA72-366D-42B4-8FA9-564252AECB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d04a63affb482d58dbae2335bc7591fa544022","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebe1b7fdc0fa7b1a1f573fc4c67bc967342d18f","datavalue":{"value":{"amount":"+0.8459276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$4176F453-DD01-448F-A8EF-54A36C768B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a270ea88b1ecda53433554d31031c4e89278a24a","datavalue":{"value":{"entity-type":"item","numeric-id":6041188,"id":"Q6041188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7536c4021dbdc8db9019399e1ccaf115e302465d","datavalue":{"value":{"amount":"+0.8453297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$68AC03FF-42EE-4866-A634-427D604DC02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3cf3d68caa7c26e48fb26d972717431b856cec","datavalue":{"value":{"entity-type":"item","numeric-id":927470,"id":"Q927470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dedee86011dc04f9f5f612f5e6e2359af29a7d0","datavalue":{"value":{"amount":"+0.84515977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$972EBC84-D0C2-4124-91E1-A474633C4CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ddc2298731a8a016fbbc12e07b891a3c36891","datavalue":{"value":{"entity-type":"item","numeric-id":3628607,"id":"Q3628607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47ba00b6809ad932ce07f2579ab22442bee0093","datavalue":{"value":{"amount":"+0.844364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019031$992C5242-AE25-4944-BDA8-6A02BACA8B1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tool support for learning B\u00fcchi automata and linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tool_support_for_learning_B%C3%BCchi_automata_and_linear_temporal_logic"}}}}}