{"entities":{"Q4938632":{"pageid":6968214,"ns":120,"title":"Item:Q4938632","lastrevid":41262005,"modified":"2025-04-26T02:06:13Z","type":"item","id":"Q4938632","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405651"}},"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":"Q4938632$1E72E6E8-281B-48A2-85E2-B05E5E2356EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"976a7281cecdaacf0139019de67d54d0eef08717","datavalue":{"value":"0939.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938632$CA37D817-7F8C-4953-8C5F-E7A6BD274378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f175bb5897b25b6bb19460b554a3f6940ce832d9","datavalue":{"value":{"entity-type":"item","numeric-id":4938631,"id":"Q4938631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938632$1B17D703-0902-4D76-BFF3-20CDAA803B95","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":"Q4938632$68D733BD-D4D7-46AD-A55A-4F1318C662C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938632$9C17FC5F-241C-437E-B82C-A2BA1EBB84EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938632$495B699F-3FD5-4758-B703-75C0497D0E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938632$84924F5B-F8EE-4DE9-9083-1B24CE1D6838","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14d381c4041375ed945616f764346c18f26deb9f","datavalue":{"value":"1405651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938632$F88B20CB-A430-49DE-92FC-44144C42514B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f2a6baff485b465e3b43f4905ec9dec2ba8655","datavalue":{"value":"timed alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938632$2BF089A6-0D39-45FD-8740-1ABA127F89B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938632$5D376434-4DB8-4B62-A33E-E17BB6E4476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cb1597fb03f86d271e3e9fe94b17a62b1370c28","datavalue":{"value":"timed computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938632$4722604F-E237-4314-8646-2B048D5F5899","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":"Q4938632$EA833911-148A-4349-869E-137CF6B3397B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26c0c588f7836f1a94eaeb07a7f33a96b74bb2b","datavalue":{"value":{"entity-type":"item","numeric-id":1608932,"id":"Q1608932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5922e132301d38294794f0816f3864c465d75a2b","datavalue":{"value":{"amount":"+0.9187274","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":"Q4938632$ECB62ACC-F3E9-4B7C-89C4-F1A5B606E563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68171c710ade39781d7bada23c815009e1a6541","datavalue":{"value":{"entity-type":"item","numeric-id":5111654,"id":"Q5111654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7345b1ba0999408ebd6d5973434a89d546b95a8b","datavalue":{"value":{"amount":"+0.9149311","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":"Q4938632$9381CCCC-0E46-4AEC-AB5D-EA99B8A10775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb964518eca85651e1892df67715c71b79ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":4608679,"id":"Q4608679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b7a9c29f76c228aff5755341ee39e150a1dca1","datavalue":{"value":{"amount":"+0.90759355","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":"Q4938632$198452F5-1114-4035-A4AD-E521A343E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c944ad73edb31a24cf104cc83fd8566383807af8","datavalue":{"value":{"entity-type":"item","numeric-id":4643961,"id":"Q4643961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b7a9c29f76c228aff5755341ee39e150a1dca1","datavalue":{"value":{"amount":"+0.90759355","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":"Q4938632$FA890E29-1DE3-4D87-B43B-ECF6D1F4FFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cef3b11bc870b5dcb0e036a2620fc39a92db3f","datavalue":{"value":{"amount":"+0.9032482","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":"Q4938632$3026001F-AC04-48AF-9DA3-5DD7574B2206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e55bb5af3c4c87158030d0505f4a3d6ad9a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3117554,"id":"Q3117554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288d19e0ee1ce552d34245163f66ae6dc4236ccb","datavalue":{"value":{"amount":"+0.89856255","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":"Q4938632$D477233B-37C3-4563-9D64-5C4F38F4F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967c5d7880f93b77be4e1b42b7a1a5ab344706ab","datavalue":{"value":{"entity-type":"item","numeric-id":2842659,"id":"Q2842659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d12e7dc05e39f643273e85963e40dde2d7a2c5c","datavalue":{"value":{"amount":"+0.89051706","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":"Q4938632$8FA0A993-8952-4332-80D9-84EAF41ED83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0525d16dc9228ec665be040f84d72f3b09a1ef","datavalue":{"value":{"amount":"+0.888022","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":"Q4938632$F7EF5BEF-3B92-405C-A1AD-C515F5B56D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b323f104ec065ef541d58b453aeb7de6d3485","datavalue":{"value":{"entity-type":"item","numeric-id":5500559,"id":"Q5500559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bc12720735591286f5ccdcb6fe16ada7e72ce8","datavalue":{"value":{"amount":"+0.8876146","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":"Q4938632$41C16FB5-532B-4BFB-A122-9CBED002A993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad38e91a940616d714a9cda6655944baac3915f","datavalue":{"value":{"entity-type":"item","numeric-id":5717499,"id":"Q5717499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af162c0440a109bc0450b5bc0efcca1771dc12ff","datavalue":{"value":{"amount":"+0.88759387","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":"Q4938632$F8D453F5-B64E-4D20-AB26-CC67EADC05D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938632"}}}}}