{"entities":{"Q5410696":{"pageid":7440270,"ns":120,"title":"Item:Q5410696","lastrevid":92263748,"modified":"2026-06-05T01:17:02Z","type":"item","id":"Q5410696","labels":{"en":{"language":"en","value":"Verified Compilation for Shared-Memory C"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286382"}},"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":"Q5410696$38C90D24-035F-4B7B-9338-5A6E39456B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41696e14e20f7eed4faa6f42b2fd29de5c8b17c5","datavalue":{"value":{"text":"Verified Compilation for Shared-Memory C","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410696$0AB8261F-28FD-4946-A04A-B0EF12F647AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b123a1c354c12a5bef3c2b280e6250a280d5c4cf","datavalue":{"value":"1346.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$D839E94A-ECA0-4DAA-A109-6FB7219C6FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57017de74c25a2c8a83387730584614c49dff14d","datavalue":{"value":"10.1007/978-3-642-54833-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$F380D274-7724-434D-987F-E609CD163EA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410696$B3807BE3-B2EA-4D4D-B727-70212E03F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db3f3cfd4eb1160cff340fdb86fde1f1f1faa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2323997,"id":"Q2323997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410696$0A23868D-12F3-4C5E-95DE-FA6C0F0452E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d29485605c03adc7bdf0416a1032ee00690e0","datavalue":{"value":{"entity-type":"item","numeric-id":1945920,"id":"Q1945920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410696$AD286632-1212-4E88-A78D-57EEB56D0884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410696$1DBE52AD-CE59-473C-8A9D-84377363E180","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410696$7F78DD0A-A8E3-4186-8CD0-C349002F057E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410696$D4B30671-9ADD-4019-92AF-BE6630BA72E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$927C9DFD-F529-4C1F-ABEA-17F830EB29F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$A6591F1F-F8AB-4E3C-919A-E99009C34026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$4E6761E3-D60F-43FC-B3C9-FDAA0A38F205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5905f93ea6646bfcb5e44b56dc266cf8411554bb","datavalue":{"value":"6286382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$18E03AD5-B496-4119-B2E2-9C740015F89C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410696$64D710F5-D4EB-4C44-A4A0-9257E9090F0B","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":"Q5410696$CD7818DC-F0DE-488F-AE83-5E224F0F916A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b34a87eebf533a9beea52dec8897a54efea368","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54833-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410696$9D9552A2-AF26-42C9-82AF-DEC839F6F1BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aca1aecc02af5af45c3c30b3b8f495781a22553a","datavalue":{"value":"W59640247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410696$F280D2B4-5E08-41CA-B680-EBD1C942A852","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ee203782451895e518275611070c40a1715b7","datavalue":{"value":{"entity-type":"item","numeric-id":5408530,"id":"Q5408530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fa5991e5a8241c7e416905febdb43ab75beb03","datavalue":{"value":{"amount":"+0.88200945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410696$903798B1-8535-43E1-A26F-928D45F13D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7085ee087572c8048eeca907851ca06e65d99102","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bafebf675eb8210743bc2d3211ba5434523477","datavalue":{"value":{"amount":"+0.87345237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410696$A43DFDDA-EC0D-4BD7-A173-E7ED9BB70132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cacaf864635624427a1644c57bab3049add463","datavalue":{"value":{"amount":"+0.8716276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410696$7D822AE7-F689-4D8C-B60B-DD4EBC488755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6bc25eb4a6c0e5d486266c6a9fe373823c4404","datavalue":{"value":{"entity-type":"item","numeric-id":2866324,"id":"Q2866324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff04e97ce571bcadab6b18c003ba147a08745b6","datavalue":{"value":{"amount":"+0.87118596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410696$458D8371-7F6B-4F22-8016-345924E00D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281c50b6df26e0f9abdcd7ccf22bc100939202f9","datavalue":{"value":{"amount":"+0.87021554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410696$EEC31C01-7305-4E2E-A85E-149044949090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e303a6972877d60c23076504eab3a9b6d93ac59","datavalue":{"value":{"amount":"+0.8676635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5410696$021EB53C-0197-478F-AD02-67912F5DD8C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified Compilation for Shared-Memory C","badges":[]}}}}}