{"entities":{"Q6536286":{"pageid":14147429,"ns":120,"title":"Item:Q6536286","lastrevid":55962757,"modified":"2026-02-21T13:38:04Z","type":"item","id":"Q6536286","labels":{"en":{"language":"en","value":"On the Monniaux problem in abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834938"}},"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":"Q6536286$BB0EC8CF-2B5A-4212-B199-1520F9D44E52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"042442f4bc724e741b6ffb2c645663f33e690acc","datavalue":{"value":{"text":"On the Monniaux problem in abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536286$5798AD44-6593-4D87-B630-EFCE8B3E8CB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e312f77f7bf2edc80fb2c6c7838c4aca2281d90b","datavalue":{"value":"1539.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536286$9490F8BD-D4F3-4B20-A987-73363C99A468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"887bcb50d196f7a2bfe9bf40b2a5fed91f803a77","datavalue":{"value":"10.1007/978-3-030-32304-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536286$B83D9780-55C7-4019-8D24-8B3239A5F59C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$1B836D6D-C147-4AA5-88A6-18DF2DD26B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e40f8335b4373d4377ddbb7c5fcf2e4c426cc56","datavalue":{"value":{"entity-type":"item","numeric-id":832092,"id":"Q832092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$104CE310-28CF-4C6A-A7AA-3A7E7CABAD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8f70b6480dcfbe2b16a82d6df026e1a943f3a72","datavalue":{"value":{"entity-type":"item","numeric-id":2051371,"id":"Q2051371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$D95C58F3-6423-4681-B276-2A51D8FD906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$41F37FE9-F31D-4E04-A7DB-D8E2CD6B67B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a391655797fb80a8e19ac091f518a0e89e1110a","datavalue":{"value":{"entity-type":"item","numeric-id":264570,"id":"Q264570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$926B7D8F-D0CD-465F-9CB1-E4C785697FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$296261E2-A9F4-4357-BE67-A1D9D964822D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536286$144DDFCC-0820-4BC8-8E35-E90220720BF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536286$EA22AE15-D64B-4A01-A30B-8B706D72F710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536286$266C7D75-436A-40B5-9DC9-5DA2E17F61E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93d20503fce1e61fc6d6d04b21f84fe648e5f7af","datavalue":{"value":"7834938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536286$CF1E7DB8-8188-4A32-A245-511CBDBFBF4A","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":"Q6536286$8FF55C3F-5940-416E-A21C-AD986DC82BF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f1af32ae3ba7765734d88c893dbd9950057d9e","datavalue":{"value":{"entity-type":"item","numeric-id":6041168,"id":"Q6041168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$81525627-DF12-4EF6-A624-6EC72C6CD622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d275c14e843c4cb3c40c9b93a2b6fdb3ead3368","datavalue":{"value":{"entity-type":"item","numeric-id":4507329,"id":"Q4507329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$3303BBF1-2FC2-4F3E-AD80-712C2BFC8C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$0CAC3F2D-C7EE-4470-BD83-9A4B69F9B692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$12FA17CF-F8F1-4F65-9FC8-08547F4C88E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6320bcdb669492dcf10c397f92f5845b27f99b66","datavalue":{"value":{"entity-type":"item","numeric-id":845249,"id":"Q845249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$FBDB58C8-86C5-48BF-85E3-DC5FE5035AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589d339280e9709a418e32c42fec86e3ea479ace","datavalue":{"value":{"entity-type":"item","numeric-id":4636627,"id":"Q4636627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$29C2604D-A324-419D-BE0A-371E4A380C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf6822cd255b2088c71042a9d3ef5571ea81a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2321928,"id":"Q2321928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$A908A599-FAB4-4B26-9EC7-4F3AEC8EB3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06792372c31ab179cb1ad0a30bc7ab6136b78bbd","datavalue":{"value":{"entity-type":"item","numeric-id":2891416,"id":"Q2891416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$48006ECA-E79C-4EE4-9E86-25CA86035562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f101b5f0fc995f830634b7b6cd442baff4f961a","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$C4992C81-125D-461E-9492-9A3A19148810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$47EB0883-0193-4AA7-9D6A-1B6A31AAA8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bdbd355b7f4a72f4540104290ef2ee5af97cfda","datavalue":{"value":{"entity-type":"item","numeric-id":3423136,"id":"Q3423136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$41AD6FD4-3265-4B4B-8521-4F3AE075FDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533c73fd3bc256dec44dea269587bb2e0bc2dfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5145329,"id":"Q5145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$4CE8DC49-3D22-46F4-A37B-55DDECDBCAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4719fb59209121c58d2497b93ce038b91f5ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3462041,"id":"Q3462041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$A672BC9C-DE2B-4447-800B-9CC60BD7EC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$72D5E735-FF22-4724-BFEA-9FFA2B2BD374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ddb78b26aecdb96b3b1b1080e0c8a22ac7e8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2415375,"id":"Q2415375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$CC2F7944-4C5B-4862-9BFF-2CA53618D647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536286$6D26B1B8-EE4C-4A94-8A71-E2A885BEFE5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31f9bd1ae71ffb8e69a96d2a409d50fbc1aa141","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f049e0f5d94ebb981405b5ed51f024cac1654999","datavalue":{"value":{"amount":"+0.7410457134246826","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":"Q6536286$5FE9803F-5885-4A0C-A7F1-2FCA2C2FD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2926bb22504cc84dd44c32153de12a2f8f517e","datavalue":{"value":{"entity-type":"item","numeric-id":5738909,"id":"Q5738909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091419d5b574c42595b9af4a0c530bf7c816d4dd","datavalue":{"value":{"amount":"+0.740940272808075","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":"Q6536286$C1F27A97-AD3C-4D20-80C0-E93BB707B9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dba47fdb308b827ae5c4f66f81b03f8e3d58db","datavalue":{"value":{"entity-type":"item","numeric-id":6164426,"id":"Q6164426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042de84ba62b6d7c737ce91a550c5e610dd6bfde","datavalue":{"value":{"amount":"+0.7388287782669067","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":"Q6536286$6A8D5065-E91C-49FB-9F3E-959792628846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188199799457d5ebc189ea21b8be89543254cc3","datavalue":{"value":{"entity-type":"item","numeric-id":2568451,"id":"Q2568451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039bd6e2e0af5fd8c5d25c4de368c66edf550535","datavalue":{"value":{"amount":"+0.7357787489891052","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":"Q6536286$F8EC6925-48ED-4C2A-A94D-9406BBFB9D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29a42598b8e28c519becb6d2261c85d2e0cc1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4813401,"id":"Q4813401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097a842d7f2689a3915b4f5bfd7f2202ef525564","datavalue":{"value":{"amount":"+0.7337268590927124","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":"Q6536286$74291805-63AC-4D68-9CE3-A3F4524653D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536286"}}}}}