{"entities":{"Q2357364":{"pageid":2368107,"ns":120,"title":"Item:Q2357364","lastrevid":78846521,"modified":"2026-05-06T12:34:24Z","type":"item","id":"Q2357364","labels":{"en":{"language":"en","value":"Witness to non-termination of linear programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6730350"}},"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":"Q2357364$A5A0D98C-1B0E-4E6F-90FA-CC085FCBFFAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e44a82086041af00532abef1d5a9c7ec5d4258","datavalue":{"value":{"text":"Witness to non-termination of linear programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2357364$D4180F63-864C-4260-B51E-074B73DB5497","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45b61de23be1b91cb3e5f8d7bc3c8ede0a7792f4","datavalue":{"value":"1371.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357364$B07508EC-F719-471D-8CE5-A4396B46F6B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e543ed9331e4e9f3da7e47e39d3af59d472a0a","datavalue":{"value":{"entity-type":"item","numeric-id":202115,"id":"Q202115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$43F0C45A-256E-4371-91E9-6810A875DAF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$7E5314E6-4C6A-4FEB-B2BC-D12005FAE143","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2357364$D5A539F2-F4BB-4D7C-B129-1BE177540C6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357364$E25F44C1-D561-478E-8C55-EC894480286B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cfe34febfebbec8a24c36fda11d8df872e7ad72","datavalue":{"value":"6730350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357364$5FA6DEC3-7911-4DCB-AA11-D7F899D745B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"852bf2d3de4e8b58b0d6cb84f6da8acb37a136c7","datavalue":{"value":"linear loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357364$A24BE1A7-655C-4623-9748-C898A0394AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357364$41FD0B6A-453B-40C1-8F96-3AF6643F188D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a59ac83c831eff90a06ab9988f15f2a7bb6e16c","datavalue":{"value":"semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357364$94C62ECD-BD8D-4713-A2AA-227D6F8378BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2a67f53818d2da99d5f81a4c0b800be2c96f34","datavalue":{"value":"witness to non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2357364$A8132554-83E1-455A-9DBB-5922EB539846","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfd90e0763a84ca2e3f11697d883ee6fa74ed0e1","datavalue":{"value":{"entity-type":"item","numeric-id":19736,"id":"Q19736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$5AA0F81E-E4C9-4D90-9ECC-D62BA853AE09","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":"Q2357364$771D354A-E586-482B-8E63-5795E39FA336","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22dab9d5fa1049fad0d73c1eff9db8a0ffa40d89","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.03.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2357364$A64A0B6D-3C4A-411A-B615-82AD0CB8C47E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e2af28106289ea3106115a626d267b95815f83f","datavalue":{"value":"W2604925741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357364$F464D8CB-ABE8-48A6-9F7A-FA5DA16AA6CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa8c271ed39474e364a3f217136b9367014ec84","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$2329154A-4D94-442C-93C1-C5927FE6278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$6E1DD4C9-49A2-4C81-8623-54B968D6177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1246483bffaab3e83b9bc6a24128560197e08009","datavalue":{"value":{"entity-type":"item","numeric-id":3525073,"id":"Q3525073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$D61A97B4-E945-4EEF-A9ED-9C31178B43C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$A579F33F-A6A8-408A-8919-224A3096FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf356fbbd80fb73637a4e5873af34dc2733137","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$86A7977B-D2F1-49BB-8573-58F9056BEEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$397AB290-96EF-483E-A946-FB1D4C6A998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$FBB9C7BB-CE82-43E3-8BB8-D1AE68920DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$14A29B00-D1E6-420D-A919-081EA74773EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$1A89733B-E68A-4B14-BBF7-0595370EDF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c13c0a4971591a2cf27700f75a2d4e6dc8512d","datavalue":{"value":{"entity-type":"item","numeric-id":604395,"id":"Q604395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$BC42B93B-C43E-4147-9BE8-A72E1DC99D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42051158bd8db8bb06b1f4287ce9f9ecb76b7324","datavalue":{"value":{"entity-type":"item","numeric-id":539162,"id":"Q539162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$604126DC-529E-4388-B154-BB3A3A65BB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e93caf186186bcbb3ad04559170566cd97e296","datavalue":{"value":{"entity-type":"item","numeric-id":5363097,"id":"Q5363097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$71708811-B57E-4CF4-AC25-1920548398D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee40fd8aebc5e8ab4bda1fa28112d93bbe28d4c","datavalue":{"value":{"entity-type":"item","numeric-id":2819718,"id":"Q2819718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$C7C9B16F-A97C-4B1F-8878-FF9CCBAF0319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad186b0e757499e6820aa44dbc01d1251755732","datavalue":{"value":{"entity-type":"item","numeric-id":4810728,"id":"Q4810728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$D8C7A7F5-CB2B-443C-B791-8D31B537AA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6cf7228f523b812b7b460d41fd7896d80b945ef","datavalue":{"value":{"entity-type":"item","numeric-id":1808669,"id":"Q1808669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357364$D64D42C9-4F36-4ACB-81D9-C456306DB602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c4505d7c449e39b107213bab4045ce25a536553","datavalue":{"value":"10.1016/J.TCS.2017.03.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357364$29874C2F-35F2-4C17-ADE2-EDCF71EC6D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ed17eac8f271d726bd4c1305c40f716341aa96","datavalue":{"value":{"entity-type":"item","numeric-id":2819718,"id":"Q2819718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9959aa863e8844b4fdedfc19e670346027e3460","datavalue":{"value":{"amount":"+0.9031115174293518","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":"Q2357364$E6B65E45-5FDD-4F26-A764-1BCF6A1469B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f87af1fc6255683f52d4d5b3acaf1254bcc6b","datavalue":{"value":{"entity-type":"item","numeric-id":604395,"id":"Q604395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74246cfdfa361c7fd000927330ccf476be2c97a3","datavalue":{"value":{"amount":"+0.8760969042778015","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":"Q2357364$0C46BCDC-0A8E-468F-AB09-333246C80B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b847686912a5cb65f500ed95a425d4dd550e167","datavalue":{"value":{"entity-type":"item","numeric-id":5399489,"id":"Q5399489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92c56292b88fb3b5e53d39152b89ec07767a1ea","datavalue":{"value":{"amount":"+0.8447372317314148","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":"Q2357364$203778CB-B58D-4D1F-AB4D-A75F45AE0984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ce288bed62a9702763d1c334cc4f61a13082dc","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6921921910ded0f6e8017e755c196773162cfda8","datavalue":{"value":{"amount":"+0.840732753276825","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":"Q2357364$683ADD30-AA1A-4CE6-81ED-FF285EA24AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6625ff5eed27ee537d0b42161838710d68079fc8","datavalue":{"value":{"entity-type":"item","numeric-id":539162,"id":"Q539162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff2df1bdaa199985ef0b748195824530c636f2e","datavalue":{"value":{"amount":"+0.8371158242225647","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":"Q2357364$B3CC40F5-4C12-4780-B78B-DADBBE7DBD88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Witness to non-termination of linear programs","badges":[]}}}}}