{"entities":{"Q3509051":{"pageid":5538955,"ns":120,"title":"Item:Q3509051","lastrevid":48826159,"modified":"2026-01-05T22:56:53Z","type":"item","id":"Q3509051","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295708"}},"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":"Q3509051$CE4F22DB-A8B7-450A-8503-27B1C584EAF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6610875ed0592b300666c3fad4bc4ae993ee6b4c","datavalue":{"value":"1146.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509051$B175748A-5BB3-4D87-A940-5363AD241C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3509051$3CE4AF88-6041-4AB2-BABF-3DFFF0194FE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509051$DE57807D-2DFC-4A1C-A846-BFD403D19727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509051$E4EBE450-123B-483B-BC79-37BF75C4B33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509051$2E517570-D0BE-4AC8-BD73-48C0E7297526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9505da697dd85bf0eb01372b98fdab60d20d05b5","datavalue":{"value":"5295708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509051$31D64746-FCF5-47EA-B4F6-290BFC1412A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3adf050170c3446ce13baec7e7a017078b2219ff","datavalue":{"value":"extension by bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509051$85709AED-0E7A-46D0-8682-E016926FF033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509051$F1BCFD6E-217D-47AF-B131-765E682FED18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509051$D27C5AA9-F871-450B-B409-E9AD2BFC952A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509051$6D2278F9-B674-4508-A7BF-43BBA0058772","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":"Q3509051$07BE03DB-8785-431A-81D9-8B22F1BDD6A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea8d3823b75837441bc90c7c911f782e8b72c26","datavalue":{"value":{"entity-type":"item","numeric-id":5897786,"id":"Q5897786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ec8f8468f65b44201e3ef150d359a70fd0794d","datavalue":{"value":{"amount":"+0.93846697","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":"Q3509051$816D6773-A590-4311-98F1-7EB5BFD847A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d143d790f7dd3291ac91c4e9bb512dc438aa70","datavalue":{"value":{"entity-type":"item","numeric-id":3384064,"id":"Q3384064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686bd4a3b9d115b4cabd4f40fa316d4bd42ff01f","datavalue":{"value":{"amount":"+0.9344698","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":"Q3509051$43541910-E733-44E4-8AEE-745273BFD419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300cd58018395db07af2068e367ed232488aecd1","datavalue":{"value":{"entity-type":"item","numeric-id":361870,"id":"Q361870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e6657ce84260fe1d62c2f260e772365eb3fe4f","datavalue":{"value":{"amount":"+0.9116037","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":"Q3509051$D7FD999D-96E7-41B3-9597-B201006C5F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87402d23545b8a131f875c032bcc525578873922","datavalue":{"value":{"entity-type":"item","numeric-id":6044128,"id":"Q6044128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa38c608bad2c63d2616c63fcf44bf5012f55dc","datavalue":{"value":{"amount":"+0.9098058","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":"Q3509051$B31CB59B-B599-4DA3-AF06-976A13E4501A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683c66b9894a2dfbccada798c98059c6e513078d","datavalue":{"value":{"entity-type":"item","numeric-id":1194108,"id":"Q1194108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45516c6c2553461e3f1fd7b50ad5b70f84f119fc","datavalue":{"value":{"amount":"+0.90796137","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":"Q3509051$6BF2F67F-A5E2-4E9D-B29B-4CFA3C8E6FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15432f89a9361d534681db843585c301b284627c","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ee045b752e225e5bdd238c6b725554efb1bbdc","datavalue":{"value":{"amount":"+0.90638745","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":"Q3509051$635E998C-AB77-4281-A964-8FC9846F0763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1edb9769746fb42a02708624bdf4fd2c496fcae","datavalue":{"value":{"entity-type":"item","numeric-id":3154151,"id":"Q3154151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22407424f2862036c3d27a1a6bbc49d2e2d25ec","datavalue":{"value":{"amount":"+0.9041962","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":"Q3509051$DD4F4852-E0C5-4B6B-94B6-1E7FD0812A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ee11be2ba732e85ca002813ecc7dd0be23b40","datavalue":{"value":{"entity-type":"item","numeric-id":5014049,"id":"Q5014049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ef657d41f7685e1325ec9ab8cc332c04051e30","datavalue":{"value":{"amount":"+0.90380347","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":"Q3509051$A5E7AF60-5928-4648-9D62-CA59E6188331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33e5d03417cef85b116c18e3b1fcdb4f6370687","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0caa58b931d2e63eb0a68bb085d1170a987504c4","datavalue":{"value":{"amount":"+0.9037157","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":"Q3509051$6E373EAE-7336-4078-BF23-ACABE5B3306A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2a42ce58c3faa94f708657befc328a273e2a4c","datavalue":{"value":{"amount":"+0.90281403","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":"Q3509051$08D8A819-7FB4-465C-B9B4-D6AF3C54415D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3509051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3509051"}}}}}