{"entities":{"Q4810571":{"pageid":6840151,"ns":120,"title":"Item:Q4810571","lastrevid":74868792,"modified":"2026-04-15T00:44:58Z","type":"item","id":"Q4810571","labels":{"en":{"language":"en","value":"Using Indicators in Finite Termination Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091780"}},"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":"Q4810571$EBDCFF67-1B5B-4481-8505-9A82E231F5E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cac30cf1345b79bafc0b02a765986b670960169","datavalue":{"value":{"text":"Using Indicators in Finite Termination Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4810571$ACF9CA6C-6DB2-4A07-A193-A3584A48BD1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38b91892e6cf962965b29133f3f19211bc39f3a6","datavalue":{"value":"1062.90069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4810571$138312A8-B20F-46C8-A3CF-C25A9B29623D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac43f23abe5ef8f4be5736c3085496bb012bce2e","datavalue":{"value":"10.1080/1055678031000066598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4810571$42ED7F7A-6165-4F1C-AAE1-99FA3F10CAFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01d65233360f4e08a4af43cfa7b1ad49e3171840","datavalue":{"value":{"entity-type":"item","numeric-id":970183,"id":"Q970183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4810571$E2DEA43B-2962-4D08-B77A-4428692C7241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb7ff5b4e0498639a02f6cf15ce5a825154c8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":175184,"id":"Q175184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4810571$6B710178-C42C-4DEA-B947-A611590057C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c569ac5f3b2dec61f8c32df80bd77a482bd61ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1297862,"id":"Q1297862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4810571$35AC4F6D-6478-45D4-B882-5FEF4EF9E25E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"940bfd82d93d0a0f8bba8894177c9d9473a815f7","datavalue":{"value":{"time":"+2004-08-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":"Q4810571$95B8C746-9735-422E-9E11-B14BFC4CDFDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"117f8455527dcd81f822bf5d4536ea786562e79f","datavalue":{"value":"https://digital.library.unt.edu/ark:/67531/metadc710721/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4810571$FC82AB22-E4B0-40A2-8AA4-752390AC5F13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ac3edbc9a781214f87fc7c9c04c2c17e13b7ca7","datavalue":{"value":"90C51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4810571$5969B316-1ECE-425F-9D23-42BAC88FC6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4810571$09E2AD4A-2F18-49EC-B082-0275506EEFA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6748b6020d9216477f2c92ee3fc9516c52d35341","datavalue":{"value":"2091780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4810571$4FE49083-4584-4794-8C2C-549838B50AC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34c4fcdb5209a79c235a94ac1bfd1551e9a21f2a","datavalue":{"value":"active set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4810571$C9CF803C-0851-4DAE-95DD-22E43228515B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ad5b617b53554ca0a584d2a1a7be40d5d54122","datavalue":{"value":"finite termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4810571$FAEB9261-50B0-4B6E-929E-CDB5D0DE630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66d9986bc46242039764ef7b8648a07606dc3f2a","datavalue":{"value":"interior point algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4810571$61E70D19-BDD2-4AE1-87CA-CF4B37123029","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":"Q4810571$AEDC8769-DA1F-4C36-8806-F9F17F02DC1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b3e0b162baf08b59bfb549becb7e290e7da7287","datavalue":{"value":"W2018072192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4810571$6E5C4E8D-857C-44E0-9C8A-223A16DD3783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ece56173b7186930c6a2471566566ba3cd24f908","datavalue":{"value":{"entity-type":"item","numeric-id":6585816,"id":"Q6585816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4810571$C903D27C-BF31-49A6-AF85-B058B9380159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a86e17e3675090fd8c0634a8601eeca917fd489","datavalue":{"value":{"entity-type":"item","numeric-id":4292667,"id":"Q4292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7759d7a249f13f74eee9564ee94fc825db93873","datavalue":{"value":{"amount":"+0.8056197166442871","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":"Q4810571$12F3022A-4190-47A2-9171-D51CA47FD03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5296282819cb236a8e776dec01a1a1a69e28fd","datavalue":{"value":{"entity-type":"item","numeric-id":4945278,"id":"Q4945278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d652a49e5ec2b110416764de32bf73b4f0b7602b","datavalue":{"value":{"amount":"+0.8049618601799011","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":"Q4810571$4058CC29-D92E-4C95-B014-64B265E73487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccbeabb1d8c545267dca9a84e4b54ec4f642495e","datavalue":{"value":{"entity-type":"item","numeric-id":4925002,"id":"Q4925002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdcaa67f8fcf47f546be88a7838c1f315a4171a","datavalue":{"value":{"amount":"+0.8049201369285583","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":"Q4810571$377C0017-8936-45AF-AE2E-D86828BCDE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb4a6722051d4353286af20652a66fa4b38a7a7","datavalue":{"value":{"entity-type":"item","numeric-id":4717948,"id":"Q4717948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6249407e1c4d4f7cb64c1daa66978d5425dc5be","datavalue":{"value":{"amount":"+0.7934442162513733","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":"Q4810571$DECF1AC4-0420-43FD-91FC-44E826DE7916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5e5b8f31c7dcf39c9df3e682d2c6f68069f002","datavalue":{"value":{"entity-type":"item","numeric-id":1174842,"id":"Q1174842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494136b07beb761baa51c7d34a25f2fc15604024","datavalue":{"value":{"amount":"+0.7698262929916382","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":"Q4810571$58CB64E5-D07C-4467-B7F9-4B3AF35FD8BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using Indicators in Finite Termination Procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_Indicators_in_Finite_Termination_Procedures"}}}}}