{"entities":{"Q4982354":{"pageid":7011932,"ns":120,"title":"Item:Q4982354","lastrevid":41175355,"modified":"2025-04-18T17:15:49Z","type":"item","id":"Q4982354","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423748"}},"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":"Q4982354$82EBC939-31A6-4177-841A-53E70F526744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99c60879733eefb808ad8433136d0f80d4764517","datavalue":{"value":"1344.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982354$3541CB19-6510-4A33-B29B-D294DE420DAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982354$8601BDE5-6BC7-44BC-A81A-D56598368176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982354$5F98AF89-7597-4A8A-96B0-12D3425C4300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982354$1FE0EB82-CB7B-48DC-908F-1BDCC604B337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982354$F6459918-0B53-412A-9F43-FD0813081034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"322ea6886b216ec0ec46cd789c49e75925ea8515","datavalue":{"value":"6423748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982354$CA15C7C8-30A9-42FE-9E76-BE9FB0FBDF76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceda7008fe09fdf28806f1d5cdbb9e84182a0456","datavalue":{"value":"propositional linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982354$1ACB1777-3098-456A-BFE6-DC2CEBF7B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982354$A28CB046-18E2-4880-8C9E-348B8722B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0560861a3c02039766428fe87892f85a1d312c","datavalue":{"value":"automata on finite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982354$30ED8896-4CD9-467C-A435-333DF4933B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1677c1cec4841ccd0c49aff71b92a5c9612be2d3","datavalue":{"value":"propositional \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982354$9878A830-F7B8-4941-9D51-F3AF18093581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982354$870B9CCC-CEC6-41A5-BDC2-C7FB4A68992F","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":"Q4982354$A3F8115A-A53F-47DC-B6A3-DECE5DC84A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c867bccd75e20436feb47922f5e0c5394dbe7694","datavalue":{"value":{"amount":"+0.89954805","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":"Q4982354$45A798FB-DB8B-45F6-BA54-43BE0E378707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f7963457775d750c3ed83b5a61144822592b5f","datavalue":{"value":{"amount":"+0.8858719","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":"Q4982354$3F3396E6-E196-4831-8612-2F0A4DF4417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eaa5968a28fc098be6d55f39431c29590817d1","datavalue":{"value":{"entity-type":"item","numeric-id":2880593,"id":"Q2880593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf75cc40d7d970b9c581c2d2ba0fbe2dd34cf5d","datavalue":{"value":{"amount":"+0.88275045","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":"Q4982354$8E49B9DD-A8AB-4EF6-8103-6FB412F156C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65010c6a3bcbd3df2ba95563e36d840ed8079a31","datavalue":{"value":{"entity-type":"item","numeric-id":4032313,"id":"Q4032313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f6a1149eea3daa23420024f88adfd7de6416e5","datavalue":{"value":{"amount":"+0.88143384","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":"Q4982354$BC7FDCA3-29C8-4A9B-AAC2-586E8C035098","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":"a57f3dd81b116bece7469a2e2fd34ec44d5766d1","datavalue":{"value":{"amount":"+0.8682333","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":"Q4982354$E6879EF0-8A67-43BD-8740-9BE3C6C8CB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9dddab88830bb73e5cc345e05c5edcc135ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":3060195,"id":"Q3060195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6027d4408bf2af223e881d93fc70afbf183c667b","datavalue":{"value":{"amount":"+0.8672403","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":"Q4982354$659195CC-1DCE-4CB6-94D7-4557B76B72EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b2a7a612d33dce9abe3e777c04cb3b2813be79","datavalue":{"value":{"entity-type":"item","numeric-id":3022009,"id":"Q3022009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ca3ca4901849772bd5e0b384c1d3e1597b9297","datavalue":{"value":{"amount":"+0.863037","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":"Q4982354$DE456951-41D4-4616-8623-E9C65668C85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc0bfd9f560f57a71a22978bb3165fec329c18","datavalue":{"value":{"entity-type":"item","numeric-id":1322389,"id":"Q1322389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e215fc31fffaebe6fb5a6a7d25ad8ed0132e96ab","datavalue":{"value":{"amount":"+0.86242497","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":"Q4982354$F8054DAD-0685-42FE-B916-273002E88C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25afcc95721b7fe2091e3b03a1a2d95794deed7a","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d665f51e7474fd46472675e0a1a538a30382401f","datavalue":{"value":{"amount":"+0.86232585","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":"Q4982354$C9F375BE-3D35-45AC-A1CD-4C5C5E951720","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":"96f8ef658df17411ac998e6f1327a9e47d1fd078","datavalue":{"value":{"amount":"+0.8620317","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":"Q4982354$0715695E-2B28-4454-96BC-008CFBD86924","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982354"}}}}}