{"entities":{"Q4364538":{"pageid":6394137,"ns":120,"title":"Item:Q4364538","lastrevid":40774957,"modified":"2025-04-04T15:54:43Z","type":"item","id":"Q4364538","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088222"}},"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":"Q4364538$CA57C69E-26E6-487C-9FD5-A958FCE071F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8b1a95f8e77853656b4ca490a9150cba2261255","datavalue":{"value":"0884.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364538$F4DEB65E-BFB8-462C-8BEF-1EF448CF40C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364538$10F678CA-7E40-4573-A889-0C4F3B790427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364538$C36E24A5-9073-47F3-850B-BDDFF264065F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364538$F793E6AB-C0AE-4264-BE32-BBD5E08E371E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1bd41d591921c3934134944f680f55661cbf16e","datavalue":{"value":"1088222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364538$0F40E786-D2FA-4378-A077-19BB29F5B22F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364538$29374314-BEE1-4D9D-9BFD-EF6373901390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364538$8A6084A7-928A-4213-9E61-F1B4FD150AA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364538$5659627A-CD05-465B-9E7D-3760F2DFE277","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":"Q4364538$6E03FEC8-544A-4632-8EBE-DB4175E5AE6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd7d07c61d122bc5c34da15f4c8e415c1cfc529","datavalue":{"value":{"amount":"+0.9120996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$8786BB46-4B39-4B62-A0B4-6B6E41FA7DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8a8437a8e5789388bf00abcdea725f1c3323b6","datavalue":{"value":{"entity-type":"item","numeric-id":4518869,"id":"Q4518869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea615b21df5ece24d86fed53b2c949a039c93f39","datavalue":{"value":{"amount":"+0.9071386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$31B6969E-E66C-4FC9-A452-094C76A5FBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e19b3497768d1132ef9deb8857977e0feba613","datavalue":{"value":{"amount":"+0.906727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$AB1EB1CA-0618-479E-B751-51B45F98A4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b00916467b61d166013e706358ed758af91839","datavalue":{"value":{"amount":"+0.9035191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$E84CF3EC-D7A6-462E-A284-C2E3B629D642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109597f8752d18266e786ca35008cdff59b9bbe4","datavalue":{"value":{"amount":"+0.89528775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$3F813622-B0D1-47D9-B1FF-F93B26B73378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b3c3b51395b1a0ac2c77f8725d764dccf6fe51","datavalue":{"value":{"amount":"+0.8936011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$A64BC4ED-94DA-4D30-BB25-16AEDAAD0C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc8cd8dda4391e5f7ada98bad0b286aa3b01a1c7","datavalue":{"value":{"entity-type":"item","numeric-id":2863854,"id":"Q2863854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4c6aba159c713b47556bb572f5209457a5f209","datavalue":{"value":{"amount":"+0.8935086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$A699144A-A935-4D2D-BAF5-65764CF8C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60341b229f50837b3cf140d3f9eefedf4a83b0d","datavalue":{"value":{"amount":"+0.890811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4364538$9794528B-07F5-4E27-8606-08714A27F5D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364538","badges":[]}}}}}