{"entities":{"Q5747753":{"pageid":7777304,"ns":120,"title":"Item:Q5747753","lastrevid":51080396,"modified":"2026-01-16T13:41:02Z","type":"item","id":"Q5747753","labels":{"en":{"language":"en","value":"Monotonicity inference for higher-order formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785439"}},"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":"Q5747753$3D9965A1-34AE-46E1-98EF-9864DB5E805C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa18f020a2ca7ba087324184754971c98d1f420","datavalue":{"value":{"text":"Monotonicity Inference for Higher-Order Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747753$8E78E954-C153-43AF-AA72-372E7CA274A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30974cd0b37c0f4922b0dab6649529eabdcb5e86","datavalue":{"value":"1291.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$B3351D49-BBDD-4955-8EA8-569A1455055E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b563422276b06fa8e2521f1e64d15921119ed1b","datavalue":{"value":"10.1007/978-3-642-14203-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$8A9BFB9B-5521-4108-B2B3-A534EC5F30D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$CFC2853F-94A5-4F90-9B40-A8AADC1DF977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9a75665101462bc01a2c7426c95f31a74ce050","datavalue":{"value":{"entity-type":"item","numeric-id":438557,"id":"Q438557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$4A82A4FF-B6DA-4DCE-AA4D-E6C8EB5FDBE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$B5D8C5B7-F5B5-4328-AAC3-3F208931876F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747753$9D8A3770-57E2-481B-84F1-EB257FF1D602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$5829DFC4-72EF-4CAC-B9A9-7960544563D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$39EDFC05-E184-48FE-81E7-3AEB45DB1A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$BE6E79CF-D542-4E33-8CA8-1B1410DE9BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65767c4350fcbd7623b1ca69a5613d600474cbc7","datavalue":{"value":"5785439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$1A969BDD-DB59-4EE2-BF30-7C8586EAFC40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$4704C8C4-9675-46BA-9541-7E401B12A172","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":"Q5747753$309E786F-D24D-4917-BE11-01FCFA29AB9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"297b96df664aaa9e3bdd7833e045100595636860","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747753$87C07F53-FFC6-4999-84CD-8976FA428DAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f14ab065910d59d2259643775f5a429e847f438b","datavalue":{"value":"W1810279616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747753$DD591CE6-B21C-4512-B67C-C16DB581899E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$78134809-C3FA-4F71-9C62-8C65607E1E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$E44B1D5F-EF63-48D6-993A-F168F37B833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$D29C7E60-0603-4990-AC2B-AC8FAFFF907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$7E1A61BC-FBD7-4975-97D0-3886549F82AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88ce955fc019155ebd9bd8280efa709429c3b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2848413,"id":"Q2848413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$E194451A-2300-477F-AC6E-C255933FFF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7653da84007c7a5f47e587934a232ab2e277182a","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$ADFA40BF-55E1-42FD-9F03-E1F66013CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$D6E5C0B6-A395-4929-AF40-B156F04DC562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$34240463-6881-433F-9C14-EB43B2FC6E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$1DFC6D29-1BD9-44AA-9E1D-F88D8B52374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747753$42B12246-B70B-430B-8575-33427F24C136","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e220c0ba8d0d64c4b127dec5f5e7caa7de315d","datavalue":{"value":{"entity-type":"item","numeric-id":438558,"id":"Q438558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614028248845e6cf8a2395c66aec8bb2bc0bc1c9","datavalue":{"value":{"amount":"+0.9934359788894652","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":"Q5747753$7D874603-545D-4556-8AB2-0A641003253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a6d991b50ee3cacf0f632a65fb75701662b114","datavalue":{"value":{"entity-type":"item","numeric-id":2405244,"id":"Q2405244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b5266db86a1fb0d99caaf01dc24a0069bf771c","datavalue":{"value":{"amount":"+0.9440473914146424","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":"Q5747753$3FCFEE2C-5A97-4757-B482-00CFBEFF0921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b21e8d8c569aaef966ab3d814dc188b9b529f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4640286,"id":"Q4640286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd127140aeeac1651faebbc9c2eac6d4abcb6d2","datavalue":{"value":{"amount":"+0.9438278079032898","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":"Q5747753$F9A1146A-BDD6-4F82-B270-27EB797CAD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fc88041f16f9dc16cc8fbfeef56ff32d78e5f1","datavalue":{"value":{"entity-type":"item","numeric-id":5459181,"id":"Q5459181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70373251fe1f11e40300b1413d413f93a77dc47","datavalue":{"value":{"amount":"+0.7222753763198853","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":"Q5747753$0F773751-BD2F-4546-A760-EC58107035AE","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":"fd84e70a52f4103b529b1693f0f4f0a40f56c5ff","datavalue":{"value":{"amount":"+0.7219130396842957","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":"Q5747753$4B7CC8C9-31D2-4B46-9355-3F7811FBC5E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747753"}}}}}