{"entities":{"Q6567709":{"pageid":14178864,"ns":120,"title":"Item:Q6567709","lastrevid":55703572,"modified":"2026-02-17T21:20:11Z","type":"item","id":"Q6567709","labels":{"en":{"language":"en","value":"Elements of mathematical analysis in PVS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876658"}},"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":"Q6567709$5EE88D22-A6F6-47C5-BAE4-708E8240B899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fec4d05e859de390b8b8482556d718b9d6bbec0b","datavalue":{"value":{"text":"Elements of mathematical analysis in PVS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567709$E3E3DE0D-488F-495B-A4E2-B85DB787DD50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff1ca2585f6fa2fd316a60ca3d5e8c738dafb4f4","datavalue":{"value":"1543.68417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$2D868BBA-C4AE-4498-8FD2-13D42AF62196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567709$72366F6B-A16D-4CEF-8866-83645937F1C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567709$95A78C92-5E07-448B-B8C6-B434C627E0C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$62ECF067-962B-45C6-A4E9-5911F99BECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$D7DF0F1F-722B-4E96-B135-B9B23B9DB839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b822e7a8e3182eac90bd373b5db12c2ae0651c8d","datavalue":{"value":"26A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$DD918EA9-C01F-418B-8F79-FCBCC36F7536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e11be76db0504a20556545d615708c6152734ed","datavalue":{"value":"26A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$C3D6246E-9F9F-4F2D-8434-1AC1C46761BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ab57ee2ab7265471313b2f864b2a8048942e6fd","datavalue":{"value":"7876658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$65F5809B-917E-4454-A59D-332A598BD97B","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":"Q6567709$8958CE99-DE47-49AE-97AA-E91C923B6242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567709$45270081-7583-4AE3-BE45-9EC743AD652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567709$ACFE656F-D91F-4298-B0E2-778FFD6E11C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027661121afc8ca039752afc0a4269a02976c160","datavalue":{"value":{"entity-type":"item","numeric-id":1334896,"id":"Q1334896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567709$0939DFD6-EE6B-43CE-9E58-424B6EC382A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7714191b9ce3c9811ef44b12140b4c3293eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3024872,"id":"Q3024872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567709$52DE3E58-3200-406B-B388-5FBCD8C44613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ccf0d7b76324ef24d4fc54562ab2bd3f541d44","datavalue":{"value":{"entity-type":"item","numeric-id":5542886,"id":"Q5542886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567709$0FA61976-76DE-45C0-8EEA-A27E849E8FEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"809e2fc12fe05e7c2b89d2f8c96634b9542389c4","datavalue":{"value":"10.1007/BFB0105402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567709$B5A7B610-07CF-4B81-BF69-476752590032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b6210008a24d118aa5a6b937c5fb52e318834c","datavalue":{"value":{"entity-type":"item","numeric-id":4433933,"id":"Q4433933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dcfd565af9645363132a70defd3011b0316e5f","datavalue":{"value":{"amount":"+0.8242672681808472","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":"Q6567709$EB241CEA-F8B1-4B32-8441-C4AF16D65098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a642dd509fa39d333ce011f5fc7a90e147616c7e","datavalue":{"value":{"entity-type":"item","numeric-id":3497626,"id":"Q3497626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65bbc471c87b149598d2ec6f816c11afa5e7638","datavalue":{"value":{"amount":"+0.8102877140045166","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":"Q6567709$1F4AAAEA-D466-4986-A13F-7D072FE645BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7be6caaaa2c317c345966210e02cb9b65737f9","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e6247990bebef468ce5c61482d9df3136da355","datavalue":{"value":{"amount":"+0.7789451479911804","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":"Q6567709$68EB03E6-DE75-444B-B9A9-81DF97F72363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2151fcfca1e8ddc80e0fc3dcfa4dad36df3e9905","datavalue":{"value":{"entity-type":"item","numeric-id":2754044,"id":"Q2754044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774656a462364d2f236709cd33008f146efb3bdf","datavalue":{"value":{"amount":"+0.7358022332191467","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":"Q6567709$FE463CCF-B6EB-4876-8DF3-B1882B0F7FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfcf58ea8c1327bf5387c4d15c367eda97cc98f","datavalue":{"value":{"entity-type":"item","numeric-id":469367,"id":"Q469367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4456d786431ad6a7d2c422709220b208ad2eab47","datavalue":{"value":{"amount":"+0.7313331961631775","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":"Q6567709$D5497017-F914-48A3-AA60-9C39E76AC1C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567709"}}}}}