{"entities":{"Q1894449":{"pageid":1905191,"ns":120,"title":"Item:Q1894449","lastrevid":71088894,"modified":"2026-04-13T19:24:39Z","type":"item","id":"Q1894449","labels":{"en":{"language":"en","value":"Closure properties and witness reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 777962"}},"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":"Q1894449$9F6220C2-D9A5-4080-A9AB-BBE6D1960804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8ec8cf692f8bbb27a2becd26d58e8eff3da6fce","datavalue":{"value":{"text":"Closure properties and witness reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894449$689B4F1D-300F-4756-9DC4-672ADC6F7BC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f43b26712b13972c6c2a7212e69da8aeab8bef7c","datavalue":{"value":"0838.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894449$3085D447-C823-4736-9A6E-A5EBB59CDEA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5507dbdfa5b5bfaac2e2b1ca6140ece115f7be","datavalue":{"value":{"entity-type":"item","numeric-id":1176440,"id":"Q1176440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894449$5FB49337-A0C9-443D-BFA6-EC28D3EB24FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894449$4D9EE050-CCB3-4D83-91CE-FDD6A944A7A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"173431d0b7d84004279f8f37d952977f00beeae8","datavalue":{"value":{"time":"+1996-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894449$5FC12D40-2F0C-4C42-937F-0510BFA2056C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4555351e04b05a5043868d57d82673771a332c31","datavalue":{"value":"https://semanticscholar.org/paper/4dca91bc5d804785ad5df93ebe87778b4bbc0560","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894449$5768E95A-9E30-4CA9-832C-BBEDC6CAF925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894449$708BB526-080B-4643-BC32-44FB6750CB62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8db315f10365c843948551f1a65ef970094dac65","datavalue":{"value":"777962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894449$E733C8EB-256A-4B5D-B912-815B72A64E08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590f7f190905b435af0cc042a4cfa72192265ba0","datavalue":{"value":"Witness reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894449$E289DE0F-9081-4CD9-9F6E-2C260E4ADDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894449$C863F988-67EE-4070-BE3C-B3C323A8AEAC","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":"Q1894449$59F907F2-8583-4EDB-95EC-2371A918BCB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57e94ed9d123fd8d34adcd0be1ad5ee799e396a3","datavalue":{"value":"W1969949312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894449$5A1FB30E-D71F-43B0-BB93-2E108213C432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730144617636d7c83c10656da5f693006030d2b7","datavalue":{"value":"10.1006/JCSS.1995.1032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894449$7B2E730F-546F-4290-A718-FE8641A35F41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f361bdda06dec85e32c6f67f76dcfd69b98af7","datavalue":{"value":{"entity-type":"item","numeric-id":2366687,"id":"Q2366687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f145ef3e4964f5b0e3caf7b00aed87c54648a0","datavalue":{"value":{"amount":"+0.86849403","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":"Q1894449$6D914881-6B14-4798-B983-51FBAB0B15AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17f84e6773402bef20d688ae18b31e65385aa80","datavalue":{"value":{"entity-type":"item","numeric-id":4838044,"id":"Q4838044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141cf7740ac3b4abcf13b1e615ecd54d1421f019","datavalue":{"value":{"amount":"+0.8566633","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":"Q1894449$A0CFCBD1-411F-40B9-925B-864147A55153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fae616dcabd3defe6f1a43ab3f26b191045ced2","datavalue":{"value":{"entity-type":"item","numeric-id":4589234,"id":"Q4589234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f87c4aabb0910fc1c8b05c8199035f8e32fb6fd","datavalue":{"value":{"amount":"+0.8499534","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":"Q1894449$183DDEB8-10D8-46E3-8ADB-4827A375ACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbce0acb74bcdbfd0438ad480b6361644553b347","datavalue":{"value":{"entity-type":"item","numeric-id":3680816,"id":"Q3680816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ff3713a718c04a36fb48a2006a13d9de78af45","datavalue":{"value":{"amount":"+0.84983206","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":"Q1894449$228A37D2-CB0A-4E5F-865D-4D7E8C37C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2e407036bc2b033c63a5cf954c5f74c0454949","datavalue":{"value":{"entity-type":"item","numeric-id":5958651,"id":"Q5958651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4ea032ec1a1a72397e8fdfdf5bb14a901955d0","datavalue":{"value":{"amount":"+0.8419348","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":"Q1894449$3A7AA673-6F45-420F-A7E8-78565AC83A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7eef64e6deb238b130e7f048ce76c34e6225e6","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140b89d9bab085f65bb47bc21a03978e237abfb0","datavalue":{"value":{"amount":"+0.84118783","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":"Q1894449$5A1FE82D-64DB-4140-98A3-00B3AC84E1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c290947043b32585fe8dd0687a171b1c9d45a18","datavalue":{"value":{"entity-type":"item","numeric-id":2710069,"id":"Q2710069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd272fc19d8d787af377ebbdee7aa74047ed8f1","datavalue":{"value":{"amount":"+0.8411395","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":"Q1894449$C7CCB6E3-E768-491D-BD1A-AA5903666361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"175e7422f43ddd1b68e55e38ac9744c101e0e836","datavalue":{"value":{"entity-type":"item","numeric-id":1946806,"id":"Q1946806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659f0194d90e8b35fb6c32d466ddecd25911adc4","datavalue":{"value":{"amount":"+0.8409786","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":"Q1894449$955F0287-ECD2-4187-B159-DCEF1E3569AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe70606238b1136cd360ed3cbdd0c0dd34664fc","datavalue":{"value":{"entity-type":"item","numeric-id":5408691,"id":"Q5408691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c767dcc2bdc97420bf1f38138d4fb40ccd7081c","datavalue":{"value":{"amount":"+0.84081304","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":"Q1894449$EC8BD93D-4E6A-4EED-B193-B8FA5E22AD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367ae390c8f0943c4b05e510e096081c18f3d70c","datavalue":{"value":{"entity-type":"item","numeric-id":4981121,"id":"Q4981121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6248200590b9943d7707b366f5a07ad4b796ac26","datavalue":{"value":{"amount":"+0.8398719","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":"Q1894449$5C3B2B71-7603-485B-887A-AB034D81F3F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closure properties and witness reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closure_properties_and_witness_reduction"}}}}}