{"entities":{"Q4790432":{"pageid":6820012,"ns":120,"title":"Item:Q4790432","lastrevid":74692224,"modified":"2026-04-14T23:55:48Z","type":"item","id":"Q4790432","labels":{"en":{"language":"en","value":"Software integration and computer proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1860704"}},"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":"Q4790432$84EE8FA4-8DFE-4ACC-B46B-3345CB9D7ECC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75babe6c52963144eacf1fab57834b0b3205c601","datavalue":{"value":"1011.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790432$A84379D1-B66E-4CC4-8DF2-027422D92EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6986bb527e83e2bf53668515812c8836a263dc","datavalue":{"value":{"entity-type":"item","numeric-id":161115,"id":"Q161115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790432$674FE8F2-09F5-4104-AEA9-9CF97FBD6BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bccf8836a2901e078bf219757bb114c7a82a7767","datavalue":{"value":{"time":"+2003-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4790432$D44F91E3-86BE-48F6-AFC1-C881CB3FD328","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790432$941BF19F-E714-44EC-9402-87EF970923C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"764d376b207287f1c0e1830b505970d1356e3bd2","datavalue":{"value":"1860704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4790432$F989880F-51F6-4739-8590-A7412638C3ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e211af92ba03ce33a84aaca40cf8bd9204f83d2","datavalue":{"value":"polymake system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4790432$E4441FF9-E383-49B5-8780-786F76AFAFF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01b0e50000fc071d9360745d45c5b4cb36855f9a","datavalue":{"value":{"entity-type":"item","numeric-id":13478,"id":"Q13478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4790432$DDA465BB-8145-4E2D-8743-4237A3D3CB62","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":"Q4790432$A69BDB06-AF08-425E-AD6E-7A2B4C4BF21D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355819f32b4b7c17b118dcf2ca904527462ea48d","datavalue":{"value":{"entity-type":"item","numeric-id":5361580,"id":"Q5361580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b59a85bc75e3978f86736271326bc62d353eee5","datavalue":{"value":{"amount":"+0.7455334067344666","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":"Q4790432$C07646C4-D13F-4BC8-9F3B-8B4272B705DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95879e37b088d3a6f41b86d40ae8b8d0456823cd","datavalue":{"value":{"entity-type":"item","numeric-id":4892490,"id":"Q4892490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0869df0d0d6009f453ac2aefb0f1e665e6fdd","datavalue":{"value":{"amount":"+0.7381263375282288","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":"Q4790432$2DBEAA5B-9BA4-4646-8121-5E02FE100B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03faf5178edbaaf645fbc181e47890a1dc83206a","datavalue":{"value":{"entity-type":"item","numeric-id":4518980,"id":"Q4518980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1af31fda626e7fc7e9ec26eeac086209d52b8c","datavalue":{"value":{"amount":"+0.7153087258338928","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":"Q4790432$6A87DADA-0ABF-49C6-864A-53DA21C564D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c30dcd1e78947da7e962f45b73b931ec1d265a","datavalue":{"value":{"amount":"+0.7136841416358948","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":"Q4790432$BA276898-AE09-4DE6-930B-1C16DE2EE88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e157db28629ef10c9bedc71d22dda03a2adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3602565,"id":"Q3602565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071abebdfdbb6a0a2770993fa45a4609beed42a6","datavalue":{"value":{"amount":"+0.7122886776924133","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":"Q4790432$CA098C07-C2EA-4068-8B51-909432D49D10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software integration and computer proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_integration_and_computer_proofs"}}}}}