{"entities":{"Q1006896":{"pageid":1008744,"ns":120,"title":"Item:Q1006896","lastrevid":69813216,"modified":"2026-04-13T09:33:35Z","type":"item","id":"Q1006896","labels":{"en":{"language":"en","value":"A complexity tradeoff in ranking-function termination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5533206"}},"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":"Q1006896$B029E8E4-39A0-4131-9751-A3DBBCE6C3E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"150c4bb093cf2c93505734aa77ad9159e1d03fa5","datavalue":{"value":{"text":"A complexity tradeoff in ranking-function termination proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006896$999F7454-2872-43DA-8E3E-7905395DC85E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"012efe6c053e89e587e421d0c727deec55f8828d","datavalue":{"value":"1172.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006896$B37D30A0-874A-41F8-B7DC-BA1D20D7CA08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7451b1685ab310bbd75f08ab9f181e107023a28","datavalue":{"value":{"entity-type":"item","numeric-id":418007,"id":"Q418007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$592867F1-6E51-47D2-A55D-28784B251317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$FCDBD825-2642-4932-BBBF-A7C4FB4F3C3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"928b264ace34efebecc8631b263762d6e421a407","datavalue":{"value":{"time":"+2009-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006896$A38B0780-AD94-4545-80AB-20533A202414","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006896$B96F7132-ACEE-4AC6-98AC-5F2BFBE162A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2840bdb15e47bb077274025615147bd5854e2b11","datavalue":{"value":"5533206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006896$CED24966-CA74-4F22-9826-464ECF3CF204","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85506a407d23b27610f7a9af8841cf49046dd82a","datavalue":{"value":"size-change termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006896$D9333D12-F390-4722-BCD7-35986E09CEB7","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":"Q1006896$64EEBC88-59B5-4C23-AADC-DEB4D30C68D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11e38db8ea2bd26ef683e08013c5a0cd37e45dfb","datavalue":{"value":"https://doi.org/10.1007/s00236-008-0085-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006896$D9003547-ED57-4E08-9852-DACF4E9BACED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9a3551262f70afb47f915b1b15c29f92316b2b7","datavalue":{"value":"W2093424728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006896$17BF3DF4-510C-4B50-8166-BAA83AF3B6BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f0620a2a0d40e692b45bbf0272c4661cd2a317","datavalue":{"value":{"entity-type":"item","numeric-id":3434633,"id":"Q3434633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$166F8E4C-7CAB-461F-9C87-5D253157AE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfff23f9499e89b3973add75878139e084d48a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5458329,"id":"Q5458329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$42A5AA4E-91A2-4D57-B8FE-D8B67B288FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb9c6cd37893258384b0a55e5dca1ea33216750","datavalue":{"value":{"entity-type":"item","numeric-id":5475787,"id":"Q5475787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$6BEE63EC-A275-4F0F-B831-13CB886F73C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$CE92467E-6059-498C-ADA8-33B58905B353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf35d8ad10a2efeaac0d7afd81d2b3ee6efd37","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$352A3258-BCBD-41D7-899F-36007B39F815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$616246FE-914A-40F9-9F24-40CB4FA1216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81efc7cefbda4dcacc3e834753ebf33f8a172d17","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$801AD4FF-4C41-4A46-97AB-C79727694F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$33B1B51E-62B5-49B9-90B4-1FB0F239CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$357B999E-E3D5-4295-BB1A-743750EA6CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$00E602E8-8BDD-4B36-9A99-AAB73876D2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$7ECFD1BC-E8D9-4B59-A26D-07D8AD23073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee8d08af278d5175f8b634d1aaf204daca32132","datavalue":{"value":{"entity-type":"item","numeric-id":2573795,"id":"Q2573795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006896$CE633741-372C-4B19-AB41-F386069F70FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2e50a717c512b5337ee4d9ff8dac9d7531ff1f6","datavalue":{"value":"10.1007/S00236-008-0085-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006896$6E077B8C-9C92-40E3-B99A-C09AABBD5B42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41ec267e9cad032a4874ca7bb352e31dafbe1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636808,"id":"Q3636808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84be0e0be849da0739541e8f23f6bc5bb604a990","datavalue":{"value":{"amount":"+0.8690314292907715","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":"Q1006896$54393958-544E-4045-A390-9A6A3C4DC29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680b4ce50056d1199fe7a2e6542875cbacc21cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5901015,"id":"Q5901015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c242930e9ae505515805e44586cc7301f7f91af2","datavalue":{"value":{"amount":"+0.8106916546821594","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":"Q1006896$0C49079D-152D-4227-9B0A-89273BD0863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991e036fec7b4adcff8f8ce7aba69b3f42ef0842","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96e416cbf7213aa134697af3915f244a4ec8716","datavalue":{"value":{"amount":"+0.7987139225006104","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":"Q1006896$803325B5-E073-47FC-A4C3-29A6AC89840C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41f0ae6eea19ca2ba3d0099c1396f05f2775ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5458329,"id":"Q5458329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f097e1b05a6d4813d56115fb867f2ee7c22be2b","datavalue":{"value":{"amount":"+0.7965843081474304","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":"Q1006896$A70C5792-996D-4F60-B9F5-B648CFE100A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d340389d4186f94c0de0895e618a499702371e15","datavalue":{"value":{"amount":"+0.7763290405273438","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":"Q1006896$FF119D76-5C12-4AB8-870B-AAD883031101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complexity tradeoff in ranking-function termination proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complexity_tradeoff_in_ranking-function_termination_proofs"}}}}}