{"entities":{"Q4417948":{"pageid":6447547,"ns":120,"title":"Item:Q4417948","lastrevid":41864719,"modified":"2025-05-09T04:51:53Z","type":"item","id":"Q4417948","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956600"}},"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":"Q4417948$5A0DCCCF-5B9A-4C9B-8DD8-AD0EA0FC4A8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc0e2add7d612e52a7ed865edcb593b364c27850","datavalue":{"value":"1031.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417948$5029BA36-85C4-4BC9-B98E-A11BF7B35958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdedec70f2cb7d9472908a9952597b5373f871f","datavalue":{"value":{"entity-type":"item","numeric-id":645043,"id":"Q645043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417948$12DFE74B-B623-4E58-9014-894D99345665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ce8993a2ba9b46fa3b3cc6eac3dbff128f14d7","datavalue":{"value":{"entity-type":"item","numeric-id":645044,"id":"Q645044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417948$70DF681C-13B7-4944-ACFB-2ADA2CE4D4C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-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":"Q4417948$9084C430-3664-46BB-8769-C1C06C16B6EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a97b74bfc05991993c502d7c0b11a6e1376dd75","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2619/26190442.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4417948$B39662B3-8534-430E-96F0-36251DF7BD0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417948$26289C30-2D7F-407F-A4D3-64A6CC549DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417948$88485ACB-AA69-4B8C-9ADC-B12B33FBF70E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f09ee1e16c37623d3e535ff57189bd827beac80d","datavalue":{"value":"1956600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417948$5C4F3418-9F6B-4CAD-9644-45B355CABD8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf4b08125757b22ef19a65f23e3cc9de4e44badb","datavalue":{"value":"Time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417948$C5327B1A-C636-4288-B8FD-5436E2CA37DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67423872311a068703a52290dbbd9d6d44f90e79","datavalue":{"value":"state classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417948$93B49EB4-990D-4860-A19C-86360314DBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e691ef9174973b2cea0d171831621625cd5e1af1","datavalue":{"value":"branching time temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417948$A77A2A89-7687-4169-9F6C-64B00634DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417948$18704303-8681-4D74-B324-67CE1E605B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417948$11842B70-6E6B-4CB1-9228-F9488000C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be90cbdd050a4596a66652886727760d003c5d4","datavalue":{"value":"real-time systems modeling and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417948$918552B3-73C4-4994-88D9-9FE8B221E04F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417948$0156A0BC-989D-4BD0-A45F-9E0D8F50BD32","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":"Q4417948$5C9C735A-523F-4674-B4E0-E88C45770061","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dddca2eaac5048b95179c3eaec41230793f60c0","datavalue":{"value":{"entity-type":"item","numeric-id":2176699,"id":"Q2176699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c6c936532df0f3d1550acf8e8492cc3183c762","datavalue":{"value":{"amount":"+0.92135465","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":"Q4417948$0C1F0DBA-A4BC-441F-A500-A7B03E4EE147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7bff2532189e1e6b8dc74a1bcb71f69372ad55","datavalue":{"value":{"amount":"+0.9116417","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":"Q4417948$2426E12F-25FC-4D53-981A-661755036700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbf7a3ae6535a76410119d6c4003b5bd5839080","datavalue":{"value":{"amount":"+0.89324915","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":"Q4417948$0005763F-E8C8-4DD3-A903-D9E3321B8649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600638996d3ccc76770da2e64521415884fded2d","datavalue":{"value":{"entity-type":"item","numeric-id":6535204,"id":"Q6535204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f63978bef9191a1ae6a08261a27fa84a98db4c","datavalue":{"value":{"amount":"+0.8868266","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":"Q4417948$83ECD93B-BBC0-444C-B1BA-418A0D4060F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4b96d19e8e976874d5e1893b6fa6973eb2c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4535175,"id":"Q4535175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de9f02405629e571cb81f83aebf8796e937b41d","datavalue":{"value":{"amount":"+0.8810786","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":"Q4417948$E76A8726-D55F-4DFE-B984-3D3E115CBE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadaa54421067fbc5dae0cdb8856a5e0bac2d405","datavalue":{"value":{"entity-type":"item","numeric-id":3179184,"id":"Q3179184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03bcdd24f9aa11cb0ae2ebb0d86abecbaa1f4de","datavalue":{"value":{"amount":"+0.8808295","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":"Q4417948$DF6D4C44-BE1F-42ED-9F56-CBCB7A6F760B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7795160281c8907b19a733c54d4aea46675df3","datavalue":{"value":{"entity-type":"item","numeric-id":2518607,"id":"Q2518607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fefab233239ba12bb4fcd2fc4c235137c6f442d","datavalue":{"value":{"amount":"+0.8695824","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":"Q4417948$1D0E192E-900E-4F8C-BF7B-067C6599D199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ca4c669a393e66941aca199d2f73936e04f73e","datavalue":{"value":{"entity-type":"item","numeric-id":1280882,"id":"Q1280882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6213a3cb9c6604ecde282bc098bd772dae7673","datavalue":{"value":{"amount":"+0.8684932","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":"Q4417948$37A20706-148D-40F3-AEF8-8CA3F1FD93C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4417948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4417948"}}}}}