{"entities":{"Q3466634":{"pageid":5246642,"ns":120,"title":"Item:Q3466634","lastrevid":46641207,"modified":"2025-12-25T07:56:01Z","type":"item","id":"Q3466634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6538222"}},"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":"Q3466634$EC91E12A-E933-4D93-9052-07BCC9735FF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5eeb7217318d54d6b1d19edff6a1baac94ddd0d","datavalue":{"value":"1330.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466634$603CF9C9-498D-4195-B948-E8EE9907D9C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3466634$256242E3-4C07-4A35-A6DA-C56CBC667D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e034c4c69fbe47b255b2c4d4cdf43d1c720ffac","datavalue":{"value":{"time":"+2016-02-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":"Q3466634$CD9D1C57-7CB8-415A-AC65-B8C204449380","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6501894c73b8826836df2d94887cb1db59346ba6","datavalue":{"value":"http://ojs.victoria.ac.nz/ajl/article/view/3891/3483","type":"string"},"datatype":"url"},"type":"statement","id":"Q3466634$0F179386-4E8E-4DE3-B047-1BDBB9CC9A46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466634$E14F959B-B18C-4A12-80F4-82729D333496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1ca5af9eba0666c2e999926ba65a355919233ae","datavalue":{"value":"6538222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466634$4E5CFA03-AC86-446F-BE08-8B05A42471E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ff7192769be22de866b049a4f2ce6c48595a1e","datavalue":{"value":"quantified S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466634$C6E5CCE6-95B6-458B-A731-087F2257C2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e92510c6cb0150843ca4d3f5893e68edf8360e","datavalue":{"value":"graded bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466634$52835CDB-09A8-4667-9E84-9DE8372E1BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466634$2E2D5832-091C-489C-8B3D-934A2473C875","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":"Q3466634$BD03E482-F2F3-4A29-9658-1A5C7F2F1C76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f77299bf0c5d51118b25f9c018d1ad97a34712","datavalue":{"value":{"entity-type":"item","numeric-id":1310623,"id":"Q1310623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73f10ceff00059c9b84cca1bd6012ec970116fc","datavalue":{"value":{"amount":"+0.8198591","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":"Q3466634$80C27F1B-CC12-4EE5-AD54-DF013886DF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abeddc3d69f0e1c18cdf3f0e1895fa53ce996749","datavalue":{"value":{"entity-type":"item","numeric-id":3679170,"id":"Q3679170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361d375b1b99d1f7f6b4bd5c594c8fbc8634eafa","datavalue":{"value":{"amount":"+0.80358297","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":"Q3466634$0816C2B4-3669-480D-8809-ECB57504B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d494dd0b2eb3e2074adcc895db779c26dd60282d","datavalue":{"value":{"entity-type":"item","numeric-id":4862876,"id":"Q4862876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0f33812857c6fa63f043b9365ebe70dcdb15be","datavalue":{"value":{"amount":"+0.8021766","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":"Q3466634$D123D5C4-1697-4E91-9A69-7BFF6A326114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754bdec58eca09a998400cfaa6affcaf571f6e89","datavalue":{"value":{"entity-type":"item","numeric-id":5560262,"id":"Q5560262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9aaa0917464788c569a5e7c9a3ce48ac4ffe315","datavalue":{"value":{"amount":"+0.8010415","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":"Q3466634$05284E9E-BCEE-43FF-A457-D0AB3E8FAC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88eb6531c56bd7b6f1a7d6efc66f0a3b0eb45bae","datavalue":{"value":{"entity-type":"item","numeric-id":5148348,"id":"Q5148348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abeabb603279b06275fef36449559848ce68f3e6","datavalue":{"value":{"amount":"+0.7952648","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":"Q3466634$B5AE5B99-53B9-487E-8D98-8001EDC639A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d980af3b86dee800bff2c986d9df00678a90169b","datavalue":{"value":{"entity-type":"item","numeric-id":1948707,"id":"Q1948707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b841e656bc2ce9c231ccea0ab53d0782d50f9457","datavalue":{"value":{"amount":"+0.79395413","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":"Q3466634$A5A06C5A-44A4-450A-BDF0-32A3342298AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439a1c401cea563af8b81d8187365a128d592fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3149986,"id":"Q3149986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bbac9e191b9e6c05e17b63fd479cae19dcc854","datavalue":{"value":{"amount":"+0.7928461","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":"Q3466634$9427CE72-FE00-4B91-9F6A-0BDB0191B455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fcff193aff5e8ea6f81eb531bb25a00c7d146c","datavalue":{"value":{"entity-type":"item","numeric-id":5395095,"id":"Q5395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80416c3f53597e5443ba26b4bd435343f880d064","datavalue":{"value":{"amount":"+0.79178715","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":"Q3466634$9410A780-3FB7-4932-999A-28E4B613D0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b963f770837938292fd7c663a7e83e99a530b7b8","datavalue":{"value":{"entity-type":"item","numeric-id":3789520,"id":"Q3789520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f89e7226cca3fdfa2c064e0933805a58f87cfb","datavalue":{"value":{"amount":"+0.78634757","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":"Q3466634$E88D87D7-78C2-4B7C-B05E-609E8202FFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1e18d5c5084b1abefd2734cc1254b340c629ac","datavalue":{"value":{"entity-type":"item","numeric-id":1972687,"id":"Q1972687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d63a8601715f78064b5f0d177b9cc741f38c8a3","datavalue":{"value":{"amount":"+0.78539807","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":"Q3466634$CA2413A9-5C06-465C-9DA2-6D770F55B477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3466634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3466634"}}}}}