{"entities":{"Q2810966":{"pageid":2821704,"ns":120,"title":"Item:Q2810966","lastrevid":83332406,"modified":"2026-05-07T07:15:32Z","type":"item","id":"Q2810966","labels":{"en":{"language":"en","value":"On the complexity of semantic self-minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589705"}},"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":"Q2810966$41AAC13F-1D5B-4AED-A7DE-0DF41B146FD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8516b9f6153a4909bc07982b31ba488a938138f","datavalue":{"value":"1339.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$30DDB96F-6F88-4C59-A73F-1EAFD7CD2C29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fdb1575e4393343f448214fce081917e8b8a353","datavalue":{"value":{"entity-type":"item","numeric-id":2810965,"id":"Q2810965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$949EB6CE-23B1-402D-A47A-8D204EBDAAB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$C2D89A5A-5410-4EAA-ACA9-F7CDD64A4E5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810966$582D9E23-6D3A-48BF-BC06-C001D14AE102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$E9F4E08F-94E4-4D54-B134-3E5800D1944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$60F0BF23-0B47-4F09-9C02-C015A26EECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$46423B44-2124-4CA8-BE62-6CB6B8DA9416","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fde5aad11174a01868ebe82e075ba2783b2b8cf","datavalue":{"value":"6589705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$9D9A8D9D-C459-46BD-95A6-FF0CFA093AE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660b7e7766a4a60341a2c6ce449db8bd86c90a86","datavalue":{"value":"3-valued model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810966$C232AA30-4307-43DC-82BE-41223BC7E84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efa77e6e470ffaeb85f89dc302af88b281a13a64","datavalue":{"value":"partial state spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810966$A4B36CE3-4221-481F-8F08-0243AB1A4146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810966$99D70972-4DCB-47C9-AC25-431EE3ECB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d8495596cc6305d29b5bca42f4f0aa321c215c","datavalue":{"value":"supervaluations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810966$DC2F99E1-FFF8-402E-AC35-49084F601F29","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":"Q2810966$DB324C7A-DF4F-4A23-9880-8470291C24AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a385b603c328ec5e331def8611351df5b689a9c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810966$9EE0BE2A-956A-48AE-AC95-E99C558BD00E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ec50403eb0d3dafb3ec351108dafa70cc8e46c7","datavalue":{"value":"W2100973900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$AA0F3137-CF9D-4BBD-8794-F35FEACCAA39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$D35569D2-C0AD-4AA3-B270-8C4403FF2DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88638e4b60d05022da4de7c6bddc71ac604ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5458354,"id":"Q5458354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$A859E08D-290C-4FDE-B133-5DE57D849778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f10cff2d6a692f113dea626a2bf1dcb72ab4ac","datavalue":{"value":{"entity-type":"item","numeric-id":2851316,"id":"Q2851316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$5B2DD3C2-CDB8-4D3B-942D-097C76D98909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$EEE1414E-1B30-4DA0-B576-87CBAF96DC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$B41E1CAF-2F8B-4174-8A68-36B2325F926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$B6C211DA-616D-4086-84BC-E297B6291E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$320C0822-DF2E-4C14-8301-1B9797EAD5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$52C2884C-D4C4-462B-ACF4-3941219BD25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$90A508C0-92F0-419A-AD5F-E43D501C57A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$F88673CD-1D2F-465B-8DAB-785065392B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228823855efb83bd72957df80935faa3afe5b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$399A12C5-BBF9-4B86-A07C-1498B18AD380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ded9b57b69cdd985cfd619876f5c125f9cf497","datavalue":{"value":{"entity-type":"item","numeric-id":3197780,"id":"Q3197780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$DEC88CC9-29B8-4A55-B0A8-C580CB8F5DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$C0EFE07E-8D34-4903-A365-5B7D3E963541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810966$CB4E6FCA-0868-4AF3-8E33-AD17F427CB9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a9210360de90dbfa8f2f24ba4c760545f43a767","datavalue":{"value":"10.1016/J.ENTCS.2009.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810966$EA6B3132-BCCF-42C3-BA5D-DDD7CCCD5D21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229e485f572cee5cbd2f24e415ff73fb9d1a0191","datavalue":{"value":{"entity-type":"item","numeric-id":4443550,"id":"Q4443550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e93af502a40385f731a3ce930bfc2983ec1f82d","datavalue":{"value":{"amount":"+0.845955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$3FE59415-5DE8-491B-88CB-221C77C466C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdab498229489b8a2fa076928694d17290b2174","datavalue":{"value":{"entity-type":"item","numeric-id":598312,"id":"Q598312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d2661410de73021a0459c35e7d5014a1279bd1","datavalue":{"value":{"amount":"+0.8401285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$7E0DB262-5039-4CF7-A6BA-5C1B17E83B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c348e3a86913b2904da07a573d200451d1686bd","datavalue":{"value":{"entity-type":"item","numeric-id":4375792,"id":"Q4375792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75374b80b39e764f2d06a8b3424affb666445519","datavalue":{"value":{"amount":"+0.83600986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$61CE0BCA-7E9A-4372-A627-9649A9175B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfaf6e312ed3489d1603b4e9355ab1da93ec2d7","datavalue":{"value":{"entity-type":"item","numeric-id":1045987,"id":"Q1045987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bab1be5ab3ad0dc6fb4ef86ee65b8550320bb2","datavalue":{"value":{"amount":"+0.8342625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$4FA30161-7F1B-40E0-84E3-DDEBAE76B69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafbe9b6d0e8c49a2acfd1b9299a1babc7c022e1","datavalue":{"value":{"amount":"+0.8333467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$61EE5A11-8AC8-4BB2-87DB-30CD1B25AAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fda2a6f8fe8b744fa34dcb1c77a9ba67ecd8067","datavalue":{"value":{"entity-type":"item","numeric-id":2762521,"id":"Q2762521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafbe9b6d0e8c49a2acfd1b9299a1babc7c022e1","datavalue":{"value":{"amount":"+0.8333467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$B6149EB8-017C-46F5-9D3D-07E6F428AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86743e4958128bd55d27906c113c38fa09365c5d","datavalue":{"value":{"entity-type":"item","numeric-id":692908,"id":"Q692908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1fcc9d4be279f6c708bc20b1a7fa1b8fc1cbdf","datavalue":{"value":{"amount":"+0.8279246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$BC7133E5-0189-4D85-A03A-58F5C9FD522E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2101bf51e49ffa8d4e237c138429322c9ce4570","datavalue":{"value":{"entity-type":"item","numeric-id":3126759,"id":"Q3126759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8240a6d980d3e081a4959d536aebc79b45a49866","datavalue":{"value":{"amount":"+0.82674485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$1B576F3B-F279-4D37-BE27-458BA4156B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36c34a03c64f9126c7be658954f7832bc98bbab","datavalue":{"value":{"entity-type":"item","numeric-id":2401929,"id":"Q2401929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1df127676dedea9f09cbca2d269d02a270d0a1e","datavalue":{"value":{"amount":"+0.8250695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$1B28F4C5-52DB-4051-8AA7-D216CC213AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363030eaab0200e9d7889fde389b8314b386eeff","datavalue":{"value":{"entity-type":"item","numeric-id":5402506,"id":"Q5402506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c777379c5f06770a885b9da33019ca9190ae1fc","datavalue":{"value":{"amount":"+0.82426953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810966$708A3EFB-1365-4F7B-8212-6B9E60FEECFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c487a43f3e4c21ae7f2d1feae2bd448174db298","datavalue":{"value":{"text":"On the complexity of semantic self-minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810966$50FBE474-210C-4467-BCF7-0E5DE5CF2DD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of semantic self-minimization","badges":[]}}}}}