{"entities":{"Q3497626":{"pageid":5527529,"ns":120,"title":"Item:Q3497626","lastrevid":50727128,"modified":"2026-01-14T23:08:37Z","type":"item","id":"Q3497626","labels":{"en":{"language":"en","value":"Formalization of the integral calculus in the PVS theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587011"}},"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":"Q3497626$B8017BF1-6E54-46B1-86E0-6D8797BBE8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbdcb537229c3a15af55787b1aaf0c4da698c55e","datavalue":{"value":"1175.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497626$1C0C550D-05C8-4113-AED8-47C13B5FCF01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16edab7b8cb8b9963febd7cbab92722d6d618d18","datavalue":{"value":{"entity-type":"item","numeric-id":3492831,"id":"Q3492831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497626$63238585-18AC-4612-ABDF-5B568D6EFB94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3497626$59E8856C-5B6C-4CC3-884D-9C4FBCAF4F61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b788e0d18092df8d6c5f2b21cbf5539f60fc9a9a","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1349","type":"string"},"datatype":"url"},"type":"statement","id":"Q3497626$76C05143-2C54-4007-BE65-BE67864531F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497626$0CEB2F99-6F70-4533-B2AD-ED2EBCD419A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497626$4E4AA74D-E470-4E46-B255-2F185CEAD543","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5083617a273e2894ddd7f6bc3c416e52cfa94ad9","datavalue":{"value":"5587011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497626$491A9E65-7137-471B-BBA0-54015484DD3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc7937787c23ce8742a69e161fe1cd93ff885f0","datavalue":{"value":"formal verification tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q3497626$0CD021A9-AAD6-4C9E-B217-D73F64571B37","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":"Q3497626$30572352-3022-4445-A144-1FC4CC3F1B8D","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":"Q3497626$37C13246-C46D-4A6B-A8C0-9E71E4895F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d049bcdf1140147f9305ae425eac6d8662cb503","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d6f1d3d2aaee068de5daba98a1614ae3f38cd3","datavalue":{"value":{"amount":"+0.7350835204124451","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":"Q3497626$52082C1D-D509-4B23-BF3C-AD36AEEFE298","rank":"normal"},{"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":"139fe6fa2386980eb766f29e7ad0afe67d36509a","datavalue":{"value":{"amount":"+0.7274041175842285","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":"Q3497626$20792A66-5293-4C32-8649-B6DB37B5EA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c635c8430e30670a73c64522286746432741bb22","datavalue":{"value":{"entity-type":"item","numeric-id":1823014,"id":"Q1823014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10575e4f4b7800adb32a0f084f2e17d041d5c4c","datavalue":{"value":{"amount":"+0.7267079949378967","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":"Q3497626$DFCF0A6E-771C-4C7F-A9B4-1C98D9A6B139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d131150c2470dfc02e9ee6f1069989fe798ce320","datavalue":{"value":{"entity-type":"item","numeric-id":5041063,"id":"Q5041063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6afc656155c17039f73f147039880b42de8a38","datavalue":{"value":{"amount":"+0.7197291254997253","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":"Q3497626$05BA1AA6-4AF8-432D-B5C2-49DB78565E8F","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":"26bdd0bde3d1792f82df67ea536bcdede3cf0ac6","datavalue":{"value":{"amount":"+0.7156476974487305","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":"Q3497626$8DF8E3FE-B84E-4B1E-9945-052DE9A93987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3497626","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3497626"}}}}}