{"entities":{"Q3224670":{"pageid":3235378,"ns":120,"title":"Item:Q3224670","lastrevid":51441083,"modified":"2026-01-18T06:20:16Z","type":"item","id":"Q3224670","labels":{"en":{"language":"en","value":"Monotonicity constraints for termination in the integer domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020578"}},"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":"Q3224670$561E961A-4AED-47F3-A654-069036694111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d614eae51077059f94d308004fd37e0ebfa7c6ca","datavalue":{"value":{"text":"Monotonicity Constraints for Termination in the Integer Domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224670$6C59F5F6-5505-4FF4-8CDC-7FC30C1529FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49f68ff475c87c914ffe00cdff3b854554f74c46","datavalue":{"value":"1237.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224670$0573A3F9-2BFD-41A0-8D9F-24D522983935","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ac44e185e1ec9374fc98e538a0876703c956278","datavalue":{"value":"10.2168/LMCS-7(3:4)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224670$79FD06F1-9F43-4ADC-9168-286A7B3FAE1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224670$585624BA-DD32-4689-9907-01E1D842983E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224670$20FDCF1D-0B19-4D41-B595-AC2110E527CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224670$7D0A5157-A0D2-4022-85ED-0B4B3C74924D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55fe02b13b211f18925aa69feb211ceebc7ef2ac","datavalue":{"value":"6020578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224670$EB012C1F-1918-438B-93D4-B9778F20661B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224670$00CDBE9E-B0AA-43B9-AF18-9BFE0D405E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2bf6ebe98bbb0c498e9a7dc226d387337e2a3ec","datavalue":{"value":"SCT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224670$682E5F09-254B-42B4-B626-8A83BC551CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224670$B037E309-D592-42A6-A549-56BFAEDDC98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67f9f6bf951a54803051a1d015f6743500477b1","datavalue":{"value":"ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224670$0BC15536-7E71-44F4-8C10-B0111538E024","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":"Q3224670$39A69148-9DAC-4904-8F46-2B430BE637EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224670$806A5869-044F-4FF3-839B-F84589475875","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":"Q3224670$F3C0EB35-035C-4CF8-9C92-4624853D4DAE","rank":"normal"}],"P1643":[{"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":"58de070856ccdade86bc3732fe34adb5509363d1","datavalue":{"value":{"amount":"+0.919138252735138","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":"Q3224670$64F36111-7BD8-4602-8648-7B35068903DD","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":"cfb01b4df4831659db89eb5ab1ad9489321ea896","datavalue":{"value":{"amount":"+0.9158339500427246","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":"Q3224670$121D3037-F8D5-492B-967D-9A340A730473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1eb4086cfb55a47970b1fd7d42b8e5976dea293","datavalue":{"value":{"entity-type":"item","numeric-id":5475787,"id":"Q5475787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd810d2309c2e590063b736c3e0e43c0878c498","datavalue":{"value":{"amount":"+0.8634209036827087","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":"Q3224670$280AEAF7-5600-4082-8DCF-9ABE015AD6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a81980cc238688e5e5e79c7453bb441341a699","datavalue":{"value":{"entity-type":"item","numeric-id":3087439,"id":"Q3087439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0715d92221f723d3ca8777974eb178f429b2530e","datavalue":{"value":{"amount":"+0.8601894974708557","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":"Q3224670$47304EF2-CFCE-45C8-BF1C-D4C9ABFD276F","rank":"normal"},{"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":"9a1ec89e225a554e3c497e80694db7b2ac24214c","datavalue":{"value":{"amount":"+0.7714225053787231","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":"Q3224670$76B7CD1F-AF93-4945-989B-1035E17F2384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224670"}}}}}