{"entities":{"Q4263169":{"pageid":6292770,"ns":120,"title":"Item:Q4263169","lastrevid":46667181,"modified":"2025-12-25T09:03:46Z","type":"item","id":"Q4263169","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341620"}},"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":"Q4263169$0D17CADC-7B6F-4AA8-B78D-99B9BCE579D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdb6298541a5f6098344b16114e1fc7826e14bff","datavalue":{"value":"0941.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263169$9740CC7F-10E4-4CDC-AA58-568487416C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7e6fffbecb83d3a5fffbe11935cdeae83ea4db0","datavalue":{"value":{"entity-type":"item","numeric-id":167071,"id":"Q167071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263169$8BDF6DDC-6D3A-40B1-8934-BC5F25AE1F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4471e2db545347311a5011665672d7ca25252aea","datavalue":{"value":{"entity-type":"item","numeric-id":2726293,"id":"Q2726293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263169$1129DEAC-5C02-4C71-9DEA-88BF006B0AA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263169$44D58CFB-C636-4AFA-A7EE-0C6992F4BD16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263169$889D96CA-4DD1-4A61-881B-AAD014D7CF71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c9470082fc15bb5766a43434e4ddb716b9bf494","datavalue":{"value":"1341620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263169$962FA935-4EC7-44BE-88B6-53BFFB1E8899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e9ef6563cde3aee6dc1dd7aa791fb88368d377","datavalue":{"value":"formal software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263169$195B5394-4FB9-406F-BB50-8A74970FEDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c1eaeb1a96f7a4c473dd642e4a2d65fe00fbbf0","datavalue":{"value":"symbol abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263169$106CF700-9374-457F-8D28-C56836A71946","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263169$2B67C5DF-18B4-40ED-A795-32CEAE72B5B4","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":"Q4263169$4A9DD162-CCF5-4807-85A4-AAD5B098B291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c07fc66ffdf738073b8e11412210ba4d07dec4d","datavalue":{"value":{"entity-type":"item","numeric-id":814429,"id":"Q814429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5f9d5765a37c5c2b585409fe5f752509ff5383","datavalue":{"value":{"amount":"+0.8153886795043945","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":"Q4263169$D4BC9DCC-045C-4A38-B145-87B262745467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5153f4ee260d21542ec2b89d7787fd721bba360e","datavalue":{"value":{"entity-type":"item","numeric-id":3490995,"id":"Q3490995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cf548626921752ef3087d51fea4ce1fea177b8","datavalue":{"value":{"amount":"+0.7881907224655151","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":"Q4263169$7FE5604E-555C-4E3C-AD62-D85DD4C0D165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f02381bb8b67866e9493a12440b01d5c436659e1","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b669afe8897449d9b9bf820dda8b7dde94b3aad","datavalue":{"value":{"amount":"+0.7575032711029053","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":"Q4263169$0CA66A36-3175-4D63-A1C1-90819E38C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4f9cb151687c10bcbc354df916b64bf8c327f3","datavalue":{"value":{"entity-type":"item","numeric-id":5234691,"id":"Q5234691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d550d948015f50fca7819eb9c7c4757088c5d0","datavalue":{"value":{"amount":"+0.755727231502533","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":"Q4263169$E6C2DA07-BEC9-4740-A01C-C8F4A428AA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffdef296cc73ba5e0cebdfdfdef7405153eac18","datavalue":{"value":{"entity-type":"item","numeric-id":809621,"id":"Q809621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddecb5f867e216017d410b418fe0e2b9cafe5d68","datavalue":{"value":{"amount":"+0.7531671524047852","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":"Q4263169$1F55DB16-4197-47AE-980C-C65F805F547A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263169"}}}}}