{"entities":{"Q2963252":{"pageid":2973977,"ns":120,"title":"Item:Q2963252","lastrevid":52741760,"modified":"2026-01-23T09:56:58Z","type":"item","id":"Q2963252","labels":{"en":{"language":"en","value":"Termination conditions for positivity proving procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6683869"}},"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":"Q2963252$588F1AF0-DC84-47D3-BFA8-2812DFCB1755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ac9ddcc85a99c7f4e981fcc92ef4236787fac3","datavalue":{"value":{"text":"Termination conditions for positivity proving procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963252$483B8D1A-1C02-4694-B000-BACC465A4FE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6afffb8b968434f118fac062e57e3b02c61f9575","datavalue":{"value":"1360.68951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$96C0F9DD-646B-4891-86E2-428967E581ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d37af6d66e0a7a5b6038a6ff755eb71a55f0878","datavalue":{"value":"10.1145/2465506.2465945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$B459FD1A-86EA-4DA0-9D96-A7011EDB7CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9dacdcce608377dd73b09f23885c2ccde5b6e8","datavalue":{"value":{"entity-type":"item","numeric-id":259717,"id":"Q259717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963252$410209AC-1470-404A-B116-C54A010CB863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec1477732eece6fa4283c42d71dc7a2b1c7097d4","datavalue":{"value":{"entity-type":"item","numeric-id":2963207,"id":"Q2963207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963252$6C8E5F60-5F02-442B-AD31-048E053995A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ff77e7ec0010dc728a970344576af099b4bd62b","datavalue":{"value":{"time":"+2017-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963252$8B38E08A-0F3C-4758-ADBD-1A7A5B875EF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$339EB176-E608-4E80-93A6-4EC408A35761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$4AD0F7F8-9F83-4AF8-8F1D-74B4814596DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$1EB8A279-D56A-4B79-9B82-BF5511F3C4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e09b37ced8a1d939600c2b75ce8c60ec834b03","datavalue":{"value":"6683869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$169E70A1-9F43-4884-AE6E-CD5392E9F701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f8f6585f87e8969181df0994d0449c7d17b4b5c","datavalue":{"value":"cylindrical decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963252$0E1854EB-A5EF-44C7-B9CE-1E829D22DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4ac42fde1c77a0a5d44aa1190c5cf4be145090","datavalue":{"value":"P-finite sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963252$01088983-0B01-4304-AB53-40310D68EDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850292df385db1a7791464d9ea1bb117e138f458","datavalue":{"value":"positivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963252$76D9D417-EE13-4026-AE54-2D3233F5725D","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":"Q2963252$B4F848C4-55BA-443B-8651-B616F04955B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ffc5f45a5875b9ae50e4a37caa071a13844ca78","datavalue":{"value":"https://doi.org/10.1145/2465506.2465945","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963252$69BC7240-C1D3-4850-ACDE-EBFCFC8D76F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6acbb4d2f72349c9084cffddd2d8bd6d66b9ec42","datavalue":{"value":"W1987402948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963252$25705B33-89F7-498A-9F7A-AE0F9DF84948","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b28cbec1eafc230df67cbef713e2d10349ad3c3","datavalue":{"value":{"entity-type":"item","numeric-id":2946538,"id":"Q2946538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ac82dd2e10d7c01129622d94fd4d8b938508f4","datavalue":{"value":{"amount":"+0.8667917847633362","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":"Q2963252$CD8DF62F-4684-4554-8679-1735871D59AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f92072815096a400b395a9f70fb8db1c5b04db1","datavalue":{"value":{"entity-type":"item","numeric-id":967380,"id":"Q967380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6e3aa0a22f48c987b5fb0a4aab791501aee008","datavalue":{"value":{"amount":"+0.7894101142883301","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":"Q2963252$B2676DCD-A40A-4973-B732-1FAC870E3289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96f1582167acaf08aaffbb4d313f96838f1b5b1","datavalue":{"value":{"entity-type":"item","numeric-id":976706,"id":"Q976706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bd8adf18261cb85c7f592491bf9575ef4fcbdc","datavalue":{"value":{"amount":"+0.7808505892753601","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":"Q2963252$1F147CA0-0F53-4356-8482-4877D155DF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc65a0d08a213398e7cc68005d561668c91c2174","datavalue":{"value":{"entity-type":"item","numeric-id":2799201,"id":"Q2799201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1d93bdb96bd704fd7c401bc8da387c72f73b9b","datavalue":{"value":{"amount":"+0.775292158126831","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":"Q2963252$DA156ECC-D148-4A29-A52D-1290A085F122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b9ba98b3e97b1e68487900c15cd30ae7a11e99","datavalue":{"value":{"entity-type":"item","numeric-id":6102090,"id":"Q6102090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ccc72bb59845d4580defacbb523539ec406efb","datavalue":{"value":{"amount":"+0.7741588950157166","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":"Q2963252$B1A636C3-5DB4-49D8-96A3-DC1D294CC92E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963252"}}}}}