{"entities":{"Q3086936":{"pageid":3097651,"ns":120,"title":"Item:Q3086936","lastrevid":45419101,"modified":"2025-12-07T17:01:29Z","type":"item","id":"Q3086936","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872401"}},"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":"Q3086936$280D5E13-687C-416C-AC4B-993A85438FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2f95fdad1ad812948ec1483743f04260a0a212","datavalue":{"value":"1234.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086936$A581677F-C587-491E-8CC7-CF6600B443AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086936$5B4C4F25-D31F-4595-AB67-A9E3F4ECB1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086936$75AC8D90-C987-42A2-B0E8-1AE234157B0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086936$E5956D04-BE50-43A4-A40C-E16E230DA4E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086936$8A81857C-9A2B-45EA-BD66-210DCFD9854E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086936$E3AA9A0E-3807-4356-A0AF-8EB3F0091579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086936$C11979D1-96C1-4DD0-A333-727732038E73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e26812f729a5af1c092df1df8ba3cee67968a85e","datavalue":{"value":"5872401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086936$2126BA4A-9EEE-4A38-926B-8CC0C8C54EC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$873373AB-7EDC-4F43-8680-A49E4C0A7A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$EC796158-F8E6-4CA2-AB71-5E3CFB18A131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$CC73F019-2B73-4069-B68C-C3B123C1E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$BAB71381-E582-4C20-A653-6CB1C8A8476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$810A0866-55EE-4591-8B72-6A9EB7C80208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$397C9F57-E6B2-4891-938E-12EB5AD6EA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b16116b684c0c492d8cf9c55c1e671894af89a","datavalue":{"value":"linear-time temporal logic (LTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$936C0AD3-61E6-4DD9-9AFD-89971C2DBC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94730eb06eebf690b70b18984ee8b9759c4c5881","datavalue":{"value":"computation-tree logic (CTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$6995A183-8D4B-4B67-AE75-82D7D23A88CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086936$7CBE40E8-7EB8-46B0-9CF9-BFE55C31E66A","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":"Q3086936$BDA281BB-8B78-4C5A-808E-1D359041F793","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f46f43a32dfdf2238546675e8fc3909f788dff7","datavalue":{"value":{"entity-type":"item","numeric-id":3083622,"id":"Q3083622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72760d4325484a5ef78a1ec53377d7e45969aeb","datavalue":{"value":{"amount":"+0.9375576","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":"Q3086936$92FA8957-4737-4DFA-A669-4B816EFF56F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0ef61b2141d93214c5296bc88f845b39416c52","datavalue":{"value":{"entity-type":"item","numeric-id":4271219,"id":"Q4271219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93303a1e854c05a57d22ab10eae2d16c99fe1385","datavalue":{"value":{"amount":"+0.9370371","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":"Q3086936$5DC79AE7-B18D-4C2F-97AF-26481A03479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d7e79ac4bd2f7b796533249c215c3c8ef80eaa","datavalue":{"value":{"entity-type":"item","numeric-id":6091631,"id":"Q6091631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1beb4574de5a44931809a6173f71640f695c9ce","datavalue":{"value":{"amount":"+0.9272759","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":"Q3086936$68B5B2A0-D824-443E-8648-0352B62F86F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765e5896c2d1cd4d113258b08f80f60ea41365f9","datavalue":{"value":{"entity-type":"item","numeric-id":2388603,"id":"Q2388603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f65412cf80e81c8b960b6530d4df811f3211db","datavalue":{"value":{"amount":"+0.9189764","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":"Q3086936$99311AD7-79E0-4185-B456-CA4A19E757FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4989490ddc35711c8cbe99902773ecfd48495","datavalue":{"value":{"entity-type":"item","numeric-id":1916271,"id":"Q1916271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5f1dd5dece4ccd88eac6970086e799f2a5a7a3","datavalue":{"value":{"amount":"+0.9184453","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":"Q3086936$75EDCF94-CD65-450E-8C88-C16AD715AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c713a4fb3f2bd56a84fd81dd5b53abd61f8505d3","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ebb0b43d3e7e2a8403d2bfd369604692ac22bf","datavalue":{"value":{"amount":"+0.91372406","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":"Q3086936$1022A8E4-D08F-443F-B0FC-0CAF53B969C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33094d5eaf6b5340c493970601efe6ef8d28cec","datavalue":{"value":{"entity-type":"item","numeric-id":5936849,"id":"Q5936849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3387a9bf2bc734f3e79e2d3139510f855434b817","datavalue":{"value":{"amount":"+0.90563816","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":"Q3086936$E41BB33B-E270-4306-9338-B2747DCB9513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d60f98d2f06a116bad9be210bf9a74e5a3dd44","datavalue":{"value":{"entity-type":"item","numeric-id":4260339,"id":"Q4260339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa8637828d62144e35ae46a291fb1c40682aa37","datavalue":{"value":{"amount":"+0.9048286","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":"Q3086936$D33B1A2C-32F3-4541-97B8-3DBB9478830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7a18842d4cd925748396b443a49277db4b92e7","datavalue":{"value":{"entity-type":"item","numeric-id":5891198,"id":"Q5891198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1590ddb828679c731388f1c05621912f976f0bb4","datavalue":{"value":{"amount":"+0.9017639","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":"Q3086936$DF88F1EA-106B-4D5E-A004-1050D78EB4D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086936"}}}}}