{"entities":{"Q5949500":{"pageid":8126302,"ns":120,"title":"Item:Q5949500","lastrevid":47706595,"modified":"2026-01-02T11:58:52Z","type":"item","id":"Q5949500","labels":{"en":{"language":"en","value":"Strengthening invariants for efficient computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1675900"}},"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":"Q5949500$FCD306BF-11D2-49D0-9D83-1A28D18198B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701c1f9f7dc337964317c2bd468438a619db9048","datavalue":{"value":{"text":"Strengthening invariants for efficient computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5949500$D96D1208-8E64-42AA-8043-58D52A0FE784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f546d5ae9719e379c003afdca0392b46e063e427","datavalue":{"value":"0988.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949500$EC0B99DE-EA89-4789-A2D4-A86C1C0A5250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b5a3f72f0e7fdb842cc4e73a2c189a7840e4d75","datavalue":{"value":"10.1016/S0167-6423(01)00003-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949500$58877360-3CBA-4CA6-9636-FE8EFF11A2AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949500$5544F538-60B3-4DAD-986F-847C40C1F339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da61283bc619ce05497e026ce692668aa52c393","datavalue":{"value":{"entity-type":"item","numeric-id":216152,"id":"Q216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949500$BAB2F39D-E2A5-497C-9088-A1E691E2A5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4b01e10dff19df6bec010b10d8363625156f94e","datavalue":{"value":{"entity-type":"item","numeric-id":216153,"id":"Q216153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949500$0D5DD496-51F5-4F52-AA8C-C60A553E0860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949500$7E493A7C-E6C1-4538-9C21-A9AD32DE8BBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-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":"Q5949500$6D36A741-5697-4086-A59E-BF1E2C9D9537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949500$A106B647-57ED-4334-B9F4-4FD54817BD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949500$29579442-E83F-41C0-A09D-1C21EDD574EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"439e0e3ff6450cde4e974c49af3fcea978b47028","datavalue":{"value":"1675900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949500$F86F371C-1DD8-415B-8E75-79FC0EB73CD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544dd6cf222dd3d6adc0310d00b2dfe4a91d88c9","datavalue":{"value":"transformational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949500$F5EDF30F-20E6-4472-AA1A-6CABEF6D267D","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":"Q5949500$A2E77266-F203-4BB7-8034-02316D04A6DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3887e18fafd6f4baf81d360a64c7ad38213b1227","datavalue":{"value":{"entity-type":"item","numeric-id":1595470,"id":"Q1595470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9748fa06bfa0faecd7fc03024274ecedac4272e","datavalue":{"value":{"amount":"+0.7642031311988831","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":"Q5949500$1DD40740-578F-49B5-B959-42064A92494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140c580da99ef5cd9368876d4ad1c19298ee0a89","datavalue":{"value":{"entity-type":"item","numeric-id":4495072,"id":"Q4495072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9748fa06bfa0faecd7fc03024274ecedac4272e","datavalue":{"value":{"amount":"+0.7642031311988831","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":"Q5949500$7A7DAA77-1D06-4465-81CF-65C0A4703BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57070d8a35b89191e124935fd8a5291c55599640","datavalue":{"value":{"entity-type":"item","numeric-id":1892179,"id":"Q1892179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69826622486846e3aa54251336c4e044eda595fc","datavalue":{"value":{"amount":"+0.71550452709198","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":"Q5949500$826B381C-76ED-40E1-ABDA-3B3DF8B7DDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3da55bdeb2b6bd2e7b7bf60307d62c867be257d","datavalue":{"value":{"entity-type":"item","numeric-id":1331947,"id":"Q1331947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680943f04a328c93c1d2340748326a3abd5ccf38","datavalue":{"value":{"amount":"+0.6836105585098267","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":"Q5949500$7E253DDA-53DB-4333-83AE-516A655823A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501587f1d5024fdaf6c3718f9d2901ae36121df6","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a138eb7174d750a1bceb53a81a2d4b1a9c64615e","datavalue":{"value":{"amount":"+0.6804821491241455","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":"Q5949500$E88C7FE7-71D3-43CA-8A11-2F123CB06FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5949500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5949500"}}}}}