{"entities":{"Q4215595":{"pageid":6245196,"ns":120,"title":"Item:Q4215595","lastrevid":41849490,"modified":"2025-05-09T01:01:42Z","type":"item","id":"Q4215595","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215463"}},"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":"Q4215595$7678083E-3DEA-4CFF-B7FE-47C04E313441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deab837c127d419c5f2ba945c323139fe0d74d5d","datavalue":{"value":"0906.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215595$85EBA1CB-32C9-4B57-ABF5-6B4D578C4DA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215595$201EC046-4413-4090-AFA6-BCF4C3FBC277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7890c5b29fe25a1905e7d0e0fe1ea9e08cfdf763","datavalue":{"value":{"entity-type":"item","numeric-id":1288170,"id":"Q1288170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215595$3E302FA1-2B09-4934-99C2-4F11886F654D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51f6e9accdba24089d0af8ad200c252ff2ed2384","datavalue":{"value":{"time":"+1999-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215595$BFDA09E0-7961-4C17-8EBF-DF7A3C916129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215595$48DE7E32-C6BE-4B69-A69B-E5E986A44350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215595$941443A0-DCE4-4EA2-847B-EEFC83E553BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215595$5D64825C-78FA-4F70-B393-22D9A2CC7554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce90a636507a77740be9000df7885e5f0f304a96","datavalue":{"value":"1215463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215595$44E08351-53B4-4ED8-9734-88BC367EE598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215595$D58A36F0-C79C-4A04-B7B8-AC4B980D49EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30bfd89249e6ae576213967c7c19dfb912b94d4","datavalue":{"value":"\\(\\mu\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215595$13050D29-163B-49B9-A8CA-B1624CA081A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215595$AD44E692-3BFD-40FE-958C-1D18C3477540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215595$181BABEA-3954-43F1-BB38-ED16007ECF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13fe3141ed30017042d09d7bb940bc6ac1211a","datavalue":{"value":"bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215595$568CC44E-9381-4385-B384-DACBEACC05CA","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":"Q4215595$F2950402-E6CC-45E6-AF0D-8C17F35F2FF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f0349214dd1deb6994816dde1146ad03b4c23b","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5738b36a05c9c0a9218072bbdb0c6190e7e06bb8","datavalue":{"value":{"amount":"+0.929591","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":"Q4215595$D35134B2-BE40-434C-A0C5-49D3657D1022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617638d35f0c4079e913d6ccc943f1795d69b14b","datavalue":{"value":{"entity-type":"item","numeric-id":2142087,"id":"Q2142087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ba54da7b1715b429762c1a4e82f55f9e692046","datavalue":{"value":{"amount":"+0.92661613","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":"Q4215595$4A2D648C-86B1-454C-AD8B-7244AF8B75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedf073a5c734d8bf55a1ac6fc1c007b7a2fc787","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fd2afd907820e3e377487834925f4c82080b2d","datavalue":{"value":{"amount":"+0.9151828","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":"Q4215595$F8A1639F-B153-4D84-8B21-C3F46FA3914B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8f3b7cb3f53a52573355206789033aa1214a38","datavalue":{"value":{"amount":"+0.911246","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":"Q4215595$D63EB546-85E6-41BF-A783-C3319E81B431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96cf457d3b33a953fc5ad72fe5f3ba1b4c33e82","datavalue":{"value":{"entity-type":"item","numeric-id":3613043,"id":"Q3613043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f1dd0644aff3dcdeee3d1e7944057bfe0fc64c","datavalue":{"value":{"amount":"+0.90860915","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":"Q4215595$AF2938DC-09B6-4E48-8096-C6B48993DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360e23067f6d47764214a5f12daf6448a5281f8","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b0e03fe726c9fb640f21948e7772c1f13d87a9","datavalue":{"value":{"amount":"+0.9077383","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":"Q4215595$2B75FB13-A867-46B8-9CE7-45134CAB7267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346d22aeef6b6090f41bf11f194931393888d675","datavalue":{"value":{"amount":"+0.9057442","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":"Q4215595$FFDA7B42-CB47-4704-8552-79F4AC121C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252959f31a499c4b81f486e58c8ee7566ffe143f","datavalue":{"value":{"entity-type":"item","numeric-id":5224686,"id":"Q5224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd208202aeb9b75dd4cbec1eb401777ba89f4a8","datavalue":{"value":{"amount":"+0.903913","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":"Q4215595$AE7B10DF-590E-480E-A924-421330685F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b59f8349ef7a4e2a4facd52dd0a0af8dbe7b079","datavalue":{"value":{"amount":"+0.9023832","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":"Q4215595$FD95CE60-1EDF-4F10-8E0A-7FE69867F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32687f724bc5415458db288bb9a3420ec88dbd7d","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170592d2e6103f4750be9bdc64353beb16ffa44b","datavalue":{"value":{"amount":"+0.9018152","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":"Q4215595$C010D33E-B90F-4780-9A59-90418E502A75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4215595"}}}}}