{"entities":{"Q5458329":{"pageid":7487888,"ns":120,"title":"Item:Q5458329","lastrevid":50333807,"modified":"2026-01-13T20:27:10Z","type":"item","id":"Q5458329","labels":{"en":{"language":"en","value":"A SAT-Based Approach to Size Change Termination with Global Ranking Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262371"}},"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":"Q5458329$B515D749-1DD4-4AE2-A195-7FE05142CAFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78671b2a66d4be443519ce51308cad3d45b2117d","datavalue":{"value":{"text":"A SAT-Based Approach to Size Change Termination with Global Ranking Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458329$50360FA6-8FB1-4EA9-896B-EE7CDDEA65A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2fdefb78af3c18e46098d499f4167c06bc20e48","datavalue":{"value":"1134.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458329$27D0C140-E4D7-4F1B-A3BA-1CEA7DEE9832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d90a37fa265f14cfad96789c2cc3e05366ac7c","datavalue":{"value":"10.1007/978-3-540-78800-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458329$08D98C4A-84FD-463E-A653-CE441DA1DB94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$4A577E73-581F-4EF5-BC2F-C0569A586388","rank":"normal"},{"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":"Q5458329$F5A28250-916D-4195-AE12-A8C63ACCCA71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$7B16C7B2-297B-442D-B7C9-8847E599B5D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458329$FE99D271-E28D-47E3-8126-D5E5984800DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458329$14619427-BC42-462E-A6F9-D164AC3912DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458329$3DEDB959-619F-49B5-9480-EA6D42A51E4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86cc0ce7ff50a8c3e6d31d6ae235241c83a890a8","datavalue":{"value":"5262371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458329$94F41501-E69B-433A-8878-C6D96EA37D3C","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":"Q5458329$F65424D9-7C33-4056-8D6D-412378CEB83A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ce4bceccc2046796c279cc37a254698c0097e73","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458329$721B993B-F564-4D1A-8888-D63517B8FC93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10ec7dc6c57d22e50d4d88a6a2e07e0c510b58bd","datavalue":{"value":"W1578701395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458329$9C699E72-9829-41A4-89E3-85138D40DC35","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":"Q5458329$D5B9F8D1-17CD-462F-9DD5-5E76EE56579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9ea86fc7f6543a480dc78fc3d6cbe5a733f697","datavalue":{"value":{"entity-type":"item","numeric-id":3636808,"id":"Q3636808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$49219E6F-144E-4E1F-9C9E-993A1591378A","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":"Q5458329$1B75A671-1E44-4634-815D-8887205C429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad026089fb04c0f4f8582f6eea53ec98c478bf49","datavalue":{"value":{"entity-type":"item","numeric-id":5437652,"id":"Q5437652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$04094E6F-A68C-4D07-B0A5-1D0CF6AFB8F4","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":"Q5458329$4EA0E8C6-57BC-46BC-8EAA-C373CD2BD7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e113c611b02519817e62b446cccab827e73f9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527280,"id":"Q3527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$A28606EF-63B8-4C20-B0D3-2B6981C2CE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$38F0D175-6A5D-4435-BB27-B462CBB3B68A","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":"Q5458329$D23EA2EA-7972-491B-81BF-6009C2ECE5E5","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":"Q5458329$7300A6F3-987E-4881-8975-F8B709242C35","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":"Q5458329$02DD596D-47C8-4042-A02A-5343E7D8666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8a0484d56d68801f0437288a1ce7994f7539d9","datavalue":{"value":{"entity-type":"item","numeric-id":3608789,"id":"Q3608789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$C8DAA41A-F561-463A-810E-B455B5115280","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":"Q5458329$10F433AC-8CD9-46F7-8D14-F70FD77E2D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71712455a619c09bf3f52fa45ff271444532140","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$E706A82F-8E63-414B-AF3D-82782A2861CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$D6F40FD7-47FD-46F1-A85A-D93F86E92D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9921526a786e42a43beffe992b99dad14d7b7b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458329$0034FF76-BB2B-4FC7-9661-2F079C2D39B4","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":"Q5458329$7E397C53-A837-4E0E-8F1A-FA717FD88F8B","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":"a105cb3a2ea9c72124dfbc37c31744ff5383e52f","datavalue":{"value":{"amount":"+0.8606035709381104","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":"Q5458329$6E4866B7-0745-4B52-8326-9CC110828543","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":"9528849ef759bea855c9647dc0ecafe65bcf7bfb","datavalue":{"value":{"amount":"+0.8448500037193298","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":"Q5458329$DCFEA892-0DC6-41CF-9ADA-0C603551EADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e00fae84e9186cb3b3f21c2ae70c0c58ee9ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4933307,"id":"Q4933307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce3f7830c905ad1a8bb1790f2707ffb4ab347bd","datavalue":{"value":{"amount":"+0.8048883676528931","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":"Q5458329$73B16038-23CE-42A8-B380-B528B34B80EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b460585061ba390a5382076b7dbf0928c22f0b","datavalue":{"value":{"entity-type":"item","numeric-id":5902130,"id":"Q5902130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5cabded93fefd1a0a34be7f621646aee9eb1d2","datavalue":{"value":{"amount":"+0.7981414198875427","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":"Q5458329$B8BD2734-8E05-47CA-B20A-A74259929472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24e49fd58412f09a125d3826396932e2a3b5921","datavalue":{"value":{"entity-type":"item","numeric-id":1006896,"id":"Q1006896"},"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":"Q5458329$2DE838C6-F47C-4234-A31C-71BC09557D31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458329"}}}}}