{"entities":{"Q6164427":{"pageid":13299308,"ns":120,"title":"Item:Q6164427","lastrevid":98860820,"modified":"2026-06-05T18:39:48Z","type":"item","id":"Q6164427","labels":{"en":{"language":"en","value":"Invariant inference with provable complexity from the monotone theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719732"}},"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":"Q6164427$7D37267D-5532-4398-8552-47A8CEF868A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cbdadeeb7ed474f8994269076d677853607e201","datavalue":{"value":{"text":"Invariant inference with provable complexity from the monotone theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164427$90D3CEBD-B1AD-4E7A-AFB2-5E913291E85C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c221365f23f687758a08cf23f2df9713811de31","datavalue":{"value":"1524.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164427$C1076E35-7EF9-441F-AF09-78CA5B4159F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1213041ae8cbe626b3f06916cf8051c48d6cacec","datavalue":{"value":"10.1007/978-3-031-22308-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164427$509D5CB0-2071-4F98-86F1-FC2EBD7350B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c22d5c521eed0274338a690fb46b58ea42148e","datavalue":{"value":{"entity-type":"item","numeric-id":2961564,"id":"Q2961564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$FF72B23E-AF2A-44A0-89FB-672C77F89617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$376344D3-33C5-4DAB-B47C-941BAA50F6DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$942A8EEB-25BD-4938-9CD2-A44FA5E38878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164427$4D7E690A-B089-497F-B916-36EF363024DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"952cacbbb9d8461b24769addec2cd3e0dc2ee7dc","datavalue":{"value":"https://arxiv.org/abs/2208.07451","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164427$C601EF46-BFC3-4F43-9614-6100F98D7828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164427$C3007EA2-83CD-4EFB-81C7-C8B05C394E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164427$502846AB-3638-420E-B876-470084F07F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164427$07CF1856-A30B-47C3-BA42-723693B0F294","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7051303e13ba44e39b95fe70a98708b7cfca1c5c","datavalue":{"value":"7719732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164427$FF84A248-B87E-4EAE-8C0F-AB02558F3CEE","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":"Q6164427$54E42EDB-4E23-4BCB-ABAF-7215F314F979","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$3DEAD6B5-0E5B-4EC7-95A4-299C62F4F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$F5A3B7EF-490B-4707-8CD3-84A14DC2802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b0c7960baec2620149acfd97bb31ebbe0b06","datavalue":{"value":{"entity-type":"item","numeric-id":2506483,"id":"Q2506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$BCC0C068-889A-461B-8BDF-A308143F19D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$B2879BA0-6039-4D2A-B4F7-4A9E55EF9E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$712B867A-2F0A-4FEA-A56A-D6AD3C0D61C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1da1b48aad7248192eb6bac6e3c0872fcb00b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$87B7A26A-C8C4-4386-89AB-4254B24CF936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287ce212309ee4ddd9b507d9a84e962109b2c30","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$B95033D8-3F4D-40FD-9CBF-F14946882094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52434a7b41f30fab230ee6e27dddd9bc1100c6d5","datavalue":{"value":{"entity-type":"item","numeric-id":5740643,"id":"Q5740643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$FE29D754-404E-493F-95B6-484F4E2F2611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8f47b13e9bf6c14eafb655479f0051bd4d0e16","datavalue":{"value":{"entity-type":"item","numeric-id":5191104,"id":"Q5191104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$7B4839F6-A6C0-460C-9F53-FC3EDDB9A9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$A5E8A58A-9A44-4355-937B-6E29167F424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21151cd03525ca9e174b285b75395f4449a7e97","datavalue":{"value":{"entity-type":"item","numeric-id":2576880,"id":"Q2576880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$8670036A-34CA-4A32-B5C3-91994C7CE727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$5A5CC5EA-AB09-45DF-8A88-E2C11CBC60F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f5fe16c10b367806254ac5d3ded4c8ea8c23ec","datavalue":{"value":{"entity-type":"item","numeric-id":4821338,"id":"Q4821338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$2D409BD0-EA25-4483-8D5D-1DBD43AB7129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba81c30cda24c3d605c0679939d82fa6643c181","datavalue":{"value":{"entity-type":"item","numeric-id":5822054,"id":"Q5822054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$49C3D57A-F912-4731-85A5-58988C90F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$4EBAB45B-162A-4DD0-9042-9F4CE553E5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5beae24d5dbbf1bf9dba875d1d837f23285613","datavalue":{"value":{"entity-type":"item","numeric-id":2796033,"id":"Q2796033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$829C04AA-EAD3-4741-B53E-20158509EDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$7FBC1A0B-3648-4984-A8DD-4A5C97F35ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5543be9943ed5afa4e775fa2b368abaa7788d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$FE9E5196-A669-4B28-BBDA-1B35BB5EEE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164427$0A111EF4-1457-4824-86C8-607369BDF516","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":"65432bdcdf1c6d0d9ca7b84dccf96820de08acae","datavalue":{"value":{"amount":"+0.7421976923942566","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":"Q6164427$11707F48-09E6-4E1E-BA15-48E6C050377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09b005b504b6e916040423dd9a76490020cc9e9","datavalue":{"value":{"entity-type":"item","numeric-id":5747753,"id":"Q5747753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a584a49d24d0c58ba377950641a78bbe201c33d","datavalue":{"value":{"amount":"+0.7327920198440552","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":"Q6164427$9B5AB620-B3D7-4D2D-823B-D826131369DC","rank":"normal"},{"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":"1f9e517606e1e1e430f3af688148d207f3527ef2","datavalue":{"value":{"amount":"+0.7309273481369019","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":"Q6164427$B39236AD-1D84-42F7-A8E4-E47F966A6AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e918abf53f2e174854da4dc97996ca5d16fd1088","datavalue":{"value":{"amount":"+0.7237622141838074","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":"Q6164427$B1136415-E527-4EEA-A4D5-4E73EFFFDDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f5185cc790a15e02721fd0da0e503f46206e","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22955d0f9cdc3b8c33f901b985c87011b942df7","datavalue":{"value":{"amount":"+0.718201756477356","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":"Q6164427$83F5B9F2-95E6-416E-9FA9-B4CC8EAF7FF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant inference with provable complexity from the monotone theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_inference_with_provable_complexity_from_the_monotone_theory"}}}}}