{"entities":{"Q4508400":{"pageid":6537993,"ns":120,"title":"Item:Q4508400","lastrevid":41751493,"modified":"2025-05-07T22:56:29Z","type":"item","id":"Q4508400","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512710"}},"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":"Q4508400$E4310E62-56A5-4146-939A-1E6F3CC3EFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cae7e741b64068e891151da0108878825e8bcb60","datavalue":{"value":"0957.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508400$C59C6904-501C-4FC4-9296-823E73C9CAA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508400$18E55A30-6B84-4348-8408-450471170EEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508400$CB84AE37-99B7-441D-9A8E-2AAE23E0F09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508400$EB8E8579-3698-498D-ABA3-6BC33C87DC7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2489f55a6006eaa8514a78f18feea2ca1f0698f","datavalue":{"value":"1512710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508400$70804C50-800D-49C3-9E18-81EE735E7B46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a1c7c62e77990f0a26e65e4b27c6a22964c7ae","datavalue":{"value":"quantitative temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508400$B246AD66-65FD-464D-8601-4C4A637FA94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba60cbba34c7d92d3bb37e0eafb547c2580bc6d6","datavalue":{"value":"extensions of CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508400$FA8FD391-5D3D-4EF0-8680-6C278310B74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508400$28F90B2C-A520-43F6-8144-7A6FD00BD343","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508400$0988A96A-A9F3-43FD-A5B7-6E23860C2D12","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":"Q4508400$0545C798-D029-4DD4-8591-647C2A37E52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1990d77e9c082ed3b93eb00c37d8f154a5bc967","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q4508400$A52DA73F-B4F5-44F3-88EA-10A77D3DA831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0ccd74dc486ec15bdfd3a4b31fcf416acb8ee9","datavalue":{"value":{"amount":"+0.9403802","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":"Q4508400$711F6215-199C-4FA3-A910-7F3B19EF4031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb6d3e335afef7e29666b87fc24acf61ddf3128","datavalue":{"value":{"entity-type":"item","numeric-id":1623150,"id":"Q1623150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a5a2ad57abe50d34263d8a039f72bd549288c5","datavalue":{"value":{"amount":"+0.93786305","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":"Q4508400$1A62BC79-5C33-4834-BBB4-77305CE8FA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107df4364085b50c32e4791b4f906c725ee5ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":3644771,"id":"Q3644771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa49ec38dd3fb9864d2a892b518a216165ce9d0","datavalue":{"value":{"amount":"+0.92956764","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":"Q4508400$B0C2ADE8-9105-405E-A435-0478C4A1A7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b60cc2292f3f6897bcdcf481e097734ffa100a6","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa519ed9ef6b96cf7836c06621a06d94dd546d37","datavalue":{"value":{"amount":"+0.92759347","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":"Q4508400$36A83887-A8A4-4475-BE1C-68A2B4D932C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a4e5769e0a881559434dd83eb4aa33d59f1623","datavalue":{"value":{"entity-type":"item","numeric-id":3637242,"id":"Q3637242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e46b555dbb661874fdf70fc9a670f8814b23cb","datavalue":{"value":{"amount":"+0.92706674","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":"Q4508400$DF4496A1-093D-4E55-A820-027B4F3E63B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edba888f3e7d29b99efc3e3f7f1bfffb12715525","datavalue":{"value":{"entity-type":"item","numeric-id":3457242,"id":"Q3457242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ed45197807067cdf5a22d005b082cb8d53ba01","datavalue":{"value":{"amount":"+0.9213919","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":"Q4508400$10C27A22-E8B2-4DE0-86E6-4E7352E6609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ddd2881c2a42428a15fcf5b041fbbd7df76ff6","datavalue":{"value":{"entity-type":"item","numeric-id":5079784,"id":"Q5079784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed22c9285d23c3ac746676570d54ce167b3a0bc1","datavalue":{"value":{"amount":"+0.92027295","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":"Q4508400$B63F883D-8D77-4B63-9681-CFEDE73666D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06cf1e0ada4876199a5eddba42debaccdff17160","datavalue":{"value":{"entity-type":"item","numeric-id":1989342,"id":"Q1989342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed22c9285d23c3ac746676570d54ce167b3a0bc1","datavalue":{"value":{"amount":"+0.92027295","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":"Q4508400$FE7D2480-4774-4D3E-ACB2-2E0227787F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7d529a712b39064343919d6c6ca74ddbe97392","datavalue":{"value":{"amount":"+0.91922927","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":"Q4508400$B095F884-6708-4DB1-85BB-C8668DF73D1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4508400"}}}}}