{"entities":{"Q3741026":{"pageid":5770932,"ns":120,"title":"Item:Q3741026","lastrevid":81050363,"modified":"2026-05-06T17:36:07Z","type":"item","id":"Q3741026","labels":{"en":{"language":"en","value":"Algorithm to find invariant linear inequality constraints in programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976305"}},"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":"Q3741026$A1248E43-83C9-483A-81DC-9D9770A0D4FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f755de3ec0ad15b5c835b4ed4b05c38e4168c103","datavalue":{"value":{"text":"Algorithm to find invariant linear inequality constraints in programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3741026$C46A7776-354E-4DFA-9EE9-2272BB55F560","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"665c966861a3426473be4149fbd50ecc332d32ee","datavalue":{"value":"0604.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741026$E16B9F15-3A5A-4F78-9139-D56802B2F22B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4c36f2cfd62967ad7b95ffbdf0c01e866daee3b","datavalue":{"value":"10.1007/BF01069418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741026$2CD60051-3A18-475C-8028-5EDBDBCC1B7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a3bfd025f84e8b35ddbeba70b7da0da26861209","datavalue":{"value":{"entity-type":"item","numeric-id":3698286,"id":"Q3698286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741026$2D449C4F-63C0-4B05-8758-252DC391DA24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741026$899A56CE-0F63-40D4-A3E4-3B0C91D6BA0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3741026$379DD271-4C4F-421E-8CAE-304CFD115FF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741026$DF46BAAC-A479-41D7-B14F-F90F990D79FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5db4b5acfbe4bb45c837a9e1da3560525265f9fa","datavalue":{"value":"3976305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741026$73A41C8F-70A7-44DA-8795-25246174D4B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b86ab8cc72842ddc14d66a454f8292d56eccceeb","datavalue":{"value":"program analysis and optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741026$692F0EF5-03F8-4A9A-8236-80F8C22D17F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a434f71eff49c935ec3dc4390f7da0a0a94521c9","datavalue":{"value":"program invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741026$38F13402-554D-4A69-A1CA-112E80839D42","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":"Q3741026$DFE2758F-AB32-4F6A-A842-7D770A963E8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca2d85f8b8f504da15aa20120b4921fb7110150a","datavalue":{"value":{"entity-type":"item","numeric-id":3894358,"id":"Q3894358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741026$A94C88B4-DF98-41B6-BF82-709B1571089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741026$26A806DD-A305-47B9-9B28-D2B235ABE6D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ac48785266b934049e115a22c29640cef3fafe","datavalue":{"value":{"entity-type":"item","numeric-id":3698287,"id":"Q3698287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c5dc3568ae29605b0af32fea59ac6c6640556f","datavalue":{"value":{"amount":"+0.8918388","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":"Q3741026$20A3B255-68A1-4620-A6D8-2D30ABCCAD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49914d79734bffc2afc12cd9ce389db5022f2838","datavalue":{"value":{"entity-type":"item","numeric-id":4015412,"id":"Q4015412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24c372bc783ffda890fc8e973f32f308f049224","datavalue":{"value":{"amount":"+0.87875915","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":"Q3741026$C5A460B6-E873-4CB6-AB80-42A563DFD363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eded54996d7afac6cbdbb61036a171ea21d9a75","datavalue":{"value":{"entity-type":"item","numeric-id":3812053,"id":"Q3812053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dd537e8e67fa76ba4da0aaf65a7465d6b2d10f","datavalue":{"value":{"amount":"+0.870484","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":"Q3741026$D4FE8869-A8EB-4360-8F0B-147129B279C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52acfdff6bc40e82ccf4c7f9f17c58237a9f545","datavalue":{"value":{"entity-type":"item","numeric-id":2317089,"id":"Q2317089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9952f4d06fbaa74ef013c8067569ea574f168d02","datavalue":{"value":{"amount":"+0.86894727","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":"Q3741026$69D3E551-8C6E-4776-8FA9-DBCDC5FE2F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d832abd46f53472b79d0cdc578d25de6a78eba2","datavalue":{"value":{"entity-type":"item","numeric-id":1364103,"id":"Q1364103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd2a604f0217dc5be5c604f97029eec6d6d0629","datavalue":{"value":{"amount":"+0.8600809","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":"Q3741026$A13DDDA8-3A66-4194-B73A-91FE2BBB34C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc47d371be75bc56a3d19a2e60b717b0a46b1228","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbbad38114549d9eb5fe63cb040527e5c325b65","datavalue":{"value":{"amount":"+0.85658395","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":"Q3741026$A31C9C8F-8701-4F88-A6AA-CD0BA5A47A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96e21c91f53242c4f35eea328c507de68e90a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3033332,"id":"Q3033332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb805bb3f2db3dffed54c1c553989f7525179c2","datavalue":{"value":{"amount":"+0.8539327","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":"Q3741026$6AE95A9E-6346-41E1-973D-C83CA2E4FF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50d4ab0782595ff55c60136c5b090395f8b8444","datavalue":{"value":{"entity-type":"item","numeric-id":3750517,"id":"Q3750517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc46b0a17551167149853ac9487345bc62337770","datavalue":{"value":{"amount":"+0.8530164","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":"Q3741026$D0549CB5-44DF-410E-9E9A-EAF9F7BEF9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee4e493219cc37897fafa3a59caae91d217d725","datavalue":{"value":{"entity-type":"item","numeric-id":2346993,"id":"Q2346993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02194082e0a652116113dc9f0b61034c1213d69","datavalue":{"value":{"amount":"+0.8525982","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":"Q3741026$D27AC25F-A630-4604-9FD0-3CFC17D0E3F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm to find invariant linear inequality constraints in programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithm_to_find_invariant_linear_inequality_constraints_in_programs"}}}}}