{"entities":{"Q3087439":{"pageid":3098154,"ns":120,"title":"Item:Q3087439","lastrevid":58110909,"modified":"2026-04-03T20:37:29Z","type":"item","id":"Q3087439","labels":{"en":{"language":"en","value":"SAT-based termination analysis using monotonicity constraints over the integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939280"}},"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":"Q3087439$626252C2-4C0C-44A6-8574-FE8799998207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5359d0b1065fecef95f92974dcde4c2cd33e0296","datavalue":{"value":{"text":"SAT-based termination analysis using monotonicity constraints over the integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087439$47789677-304C-449F-8683-3312754E9F5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a773f2074bd7baeda95cb53893e458b8058fca08","datavalue":{"value":"1222.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087439$18BD40D6-340E-433C-8B92-91D97F5835D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62076d306377b43dcd9107baf7bd99b602e1eec8","datavalue":{"value":"10.1017/S1471068411000147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087439$7FE8FBE4-5FC8-4DB2-9A7B-BCCCF8747AF2","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":"Q3087439$830B7183-8319-4133-ADF5-3A2AF2F58C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61ff6c72e8b48d52630531ff381052c52a411ba6","datavalue":{"value":{"entity-type":"item","numeric-id":3087438,"id":"Q3087438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087439$DB59D7FA-DFF8-4119-99CA-A5FFB44A8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087439$535CE007-AE83-49A7-A66C-7AE7C5173BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087439$3FF91F9A-8D15-485E-8D03-205B67F501D9","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":"Q3087439$4F85987F-0433-4DEA-B064-D598ACA245F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087439$2D525D5D-7EC1-4E3E-BED0-C58029753168","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-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":"Q3087439$7DCB8AF0-E51A-484B-B565-8E236ED4FF24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b5204921a1fe46e673b17e2881ff5416b773502","datavalue":{"value":"https://arxiv.org/abs/1107.5980","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087439$5469ED18-8F73-4A55-8925-0DE873356B45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087439$F2B3DA5F-F641-498C-8CED-0845EBFD942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087439$370D229D-ABD6-4A9E-B2B3-8E21406A575C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67b069b0f48f507308d60d65e268ee62cbeebf19","datavalue":{"value":"5939280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087439$DC9270F9-AE77-4F80-B39E-702AF9147DA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087439$1B97FD31-FFAE-4B7E-8057-C5156CC8F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a950c057a5b88eb1370f747aece032da58f7332b","datavalue":{"value":"monotonicity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087439$B5F5E92D-2D3E-4F7A-8B50-4DE9E0084841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087439$7504D42A-C88B-4A29-9483-92B6276E227D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087439$1F92DC4C-923A-4D10-A9BB-FF086D841B3F","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":"Q3087439$F17CFB28-EED5-42F6-A37E-EB5A4AA142C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced3b913b09e86cfeb91f326a2ba44ffdb3909db","datavalue":{"value":{"entity-type":"item","numeric-id":3636817,"id":"Q3636817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087439$851ACFF3-9418-4BEB-908F-DE9B05C410E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54bc2f0d0c2cd481766ba9aea7e30902d3582ef3","datavalue":{"value":"W2018610026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087439$5685ACFC-0041-4940-8B6A-BCCC65B2DED7","rank":"normal"}],"P1643":[{"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":"d2c286745e56d20da8ff7ab341425fdecb047cfe","datavalue":{"value":{"amount":"+0.864213228225708","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":"Q3087439$5D2C6EAB-BCC0-4A31-A78E-9F9101938329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5fff97d0c1bf72e84ed08bdfb74870110c5377","datavalue":{"value":{"entity-type":"item","numeric-id":3224670,"id":"Q3224670"},"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":"Q3087439$824EBDD4-3A5D-4906-93D7-4E752381BF5A","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":"f70820c048a9a4412e6c6939a903792d3130c7c0","datavalue":{"value":{"amount":"+0.8467534184455872","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":"Q3087439$BD92BB41-45C2-4997-A9A4-B6CE9DEAA372","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":"927eda411e98ee32044c592241e80bef7bc604aa","datavalue":{"value":{"amount":"+0.8438156247138977","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":"Q3087439$368ADD13-774C-4A40-AEF5-64F7DE868E3F","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":"c75a95d40fe588245be657baea525bf0389f4e40","datavalue":{"value":{"amount":"+0.7675567865371704","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":"Q3087439$F993B87E-FFB4-4AC0-877E-25358319EEF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087439"}}}}}