{"entities":{"Q4494396":{"pageid":6523989,"ns":120,"title":"Item:Q4494396","lastrevid":47018688,"modified":"2025-12-26T01:39:04Z","type":"item","id":"Q4494396","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1487867"}},"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":"Q4494396$F3DEE74E-691C-4C6F-A2DB-AAB807917E30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e1a87b7403b6e702d930d1c871e6d8cb4c41648","datavalue":{"value":"0957.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494396$59A071E5-CD5D-485F-B402-0B9FD632CCD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30e3ca18efa4210c384611aee8625b3331179188","datavalue":{"value":{"entity-type":"item","numeric-id":4494395,"id":"Q4494395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494396$BDE0B7C5-8C4F-42E0-A1D4-24FFCAD86B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4494396$59C43691-DE95-405B-A7E6-98E55C81A2F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5011c400ff39c5228080e8c105c8dfa3b1b63ac3","datavalue":{"value":{"time":"+2000-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4494396$825133BC-A336-42CA-92CA-975DF62D1F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494396$CC52457A-42EA-4ED3-917B-A5D80D5D92B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494396$5C3ED623-3255-4652-B2A5-CC74320025B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf16cd9fc18171e04190082c7090b3a7577b7689","datavalue":{"value":"1487867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4494396$422A2BC7-A779-44A4-A3F3-6D8E442F7CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494396$2E222896-B77F-45AC-A8FA-696794107B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4494396$26BE3DF9-38E0-4587-89CC-9417175924D2","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":"Q4494396$24CDFF18-1FF3-463C-894F-FC47CC2B8CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359b8b426a2d37a30f73261ef0fb0390ad2b63a5","datavalue":{"value":{"amount":"+0.769595205783844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4494396$4FAD9E19-E2A4-45C3-9E88-1BD37CE4475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72ed8afe3b85c11f8623d374af5b9fec4a874f0","datavalue":{"value":{"amount":"+0.7679139971733093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4494396$6E29A216-5407-4BC8-86E8-817F348FDC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec361d9983620409f2c9224734ce84fd5b9897ee","datavalue":{"value":{"entity-type":"item","numeric-id":2281650,"id":"Q2281650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb6ebc38e2f7ae321d9a5bd3c2e72f19668fcc7","datavalue":{"value":{"amount":"+0.7483530044555664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4494396$BEA70C86-A3DD-4B5D-835B-D3ACE2A5C21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5700bdcb839c4a3831a564183835f04b6bd4a14","datavalue":{"value":{"amount":"+0.7443918585777283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4494396$030329CD-7113-40DD-B5B6-5BA041F46945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4494396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4494396"}}}}}