{"entities":{"Q5459181":{"pageid":7488740,"ns":120,"title":"Item:Q5459181","lastrevid":92386985,"modified":"2026-06-05T01:35:48Z","type":"item","id":"Q5459181","labels":{"en":{"language":"en","value":"Monotonicity Analysis Can Speed Up Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267654"}},"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":"Q5459181$3F02C3B4-EAB4-48EF-B0B2-2C24C6AE9E60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7060de430e928ec15225075dccac28c44b838346","datavalue":{"value":{"text":"Monotonicity Analysis Can Speed Up Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5459181$5C77BCB3-1EB2-4C58-83AD-886B5F4FD214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7a3b9bbfa5f983f9396b29b96bffc314212bc1b","datavalue":{"value":"1134.68407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459181$E81469BA-6832-4DDF-987B-979BCCA39ABE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"496ab6aa1193c2087deb525251e4362149205b5a","datavalue":{"value":"10.1007/11828563_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459181$5D794058-742B-4962-947B-23C736518959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86465ad6756de6194673fccf041df2527a42bc1b","datavalue":{"value":{"entity-type":"item","numeric-id":3498401,"id":"Q3498401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5459181$B4856BD6-AC6B-4ACF-A8FD-E738A30E17D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5459181$7E5588C6-77FD-4912-B12B-8CE6927EB603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459181$2ABE6AAB-DDB1-4291-A3FB-974B54C5DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459181$83DB5E17-BA02-4A53-8A4D-78A39F96912C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b36a81ca6816e2253f095afd7ac2fe1ca43ab032","datavalue":{"value":"5267654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459181$9DD95607-8B77-476C-9F07-947088066DB6","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":"Q5459181$C604A8A1-0756-45A5-902A-671AF4271FC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c97ec1b505c5e7d8568dd4ce25405c935fcf2f9","datavalue":{"value":"https://doi.org/10.1007/11828563_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5459181$47266134-9E25-4B6A-880D-B0FD497CFB8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"744e3ce44df73b39dba8bcc64834350903b50c43","datavalue":{"value":"W1657239165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5459181$290FB73D-3DCE-4C54-A9BB-3B75BBAE266E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c34fb65e9aa101c8178d4d41b73c4c24825c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4941829,"id":"Q4941829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974f2ed69d2cba0ed24cf320cd200b3719def554","datavalue":{"value":{"amount":"+0.86272717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$2BBAB94A-3A6C-4470-87E2-9A27BE0015B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399b76b054db3c26bb4d4e6af9104aa88734131e","datavalue":{"value":{"entity-type":"item","numeric-id":5504224,"id":"Q5504224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b049373076e4cc9acec0bbd9f3f7f5248470416","datavalue":{"value":{"amount":"+0.85916567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$530DB1D5-1859-458B-AA39-D29ADC815528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d771d298c04b7a4913ecc3242d3940e01b75b36","datavalue":{"value":{"entity-type":"item","numeric-id":3439281,"id":"Q3439281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b049373076e4cc9acec0bbd9f3f7f5248470416","datavalue":{"value":{"amount":"+0.85916567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$AC65384A-1FB6-4DFF-B82F-C54615F187B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74747c930fd16f41c41b115f19236c7f065dcbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966efbe5982c6b6733c2fbc72d5edffdf288822d","datavalue":{"value":{"amount":"+0.85270566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$72774699-2C8D-4ADC-857B-D900D4437734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b3832b6d84f54d6fa19a508bfa60a136154b8b","datavalue":{"value":{"amount":"+0.8468258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$7DC30585-032D-4A9C-9B04-9E9B0D238D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08f45d9e7056e96ec5a16090d6f5caacc2182f2","datavalue":{"value":{"entity-type":"item","numeric-id":4736996,"id":"Q4736996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c5d9d8ee95b74032a038ef1201173dfc925e9b","datavalue":{"value":{"amount":"+0.8303196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$613D1008-E495-4C42-91A9-FB68410B32BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6ac034a2bbd4376d994731363b779f7a693a18","datavalue":{"value":{"entity-type":"item","numeric-id":3057838,"id":"Q3057838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db15e244fe317a2955f912cd69f539cfbadd94e5","datavalue":{"value":{"amount":"+0.8246612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$FF671840-EF9B-4BE4-BF21-E67E928E90DC","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":"3e437ddd536e9353c81500a06c6aa381ac22b68d","datavalue":{"value":{"amount":"+0.8244314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$15BB3EE4-F0D9-44B9-BB38-ABD150F98B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87396fbb24716fca8e7441bf62b35d29db07e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1798673,"id":"Q1798673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f701afd991687a7dff1539be2b5c95db9258a89","datavalue":{"value":{"amount":"+0.8227679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$FDC4C685-0784-4D58-B1A0-01D417A8D895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560f5742f65df3117ea8ed4971289cab4b37e111","datavalue":{"value":{"entity-type":"item","numeric-id":4016555,"id":"Q4016555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc29831070fee0751fc86787559da06fdcfc298d","datavalue":{"value":{"amount":"+0.81955135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5459181$4A41238B-13C9-438E-AAA8-78A30F3CC99E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotonicity Analysis Can Speed Up Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monotonicity_Analysis_Can_Speed_Up_Verification"}}}}}