{"entities":{"Q4219044":{"pageid":6248645,"ns":120,"title":"Item:Q4219044","lastrevid":39816251,"modified":"2025-01-27T17:49:59Z","type":"item","id":"Q4219044","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223728"}},"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":"Q4219044$96F15525-BFE5-4CA6-9316-FE18A68F964D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aee030fb5eaa257749c579d00fb2f22c6b2bd344","datavalue":{"value":"0921.04001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219044$02BCCA21-CC73-496D-9AA2-4DA49EA3993D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219044$05E85BF7-96EE-4694-B919-5737103F3FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"254a483b543e49cfcef342224fb41a569162f106","datavalue":{"value":{"time":"+1999-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4219044$D8BB0F7D-B5CC-4F80-A7EC-C463ADB28D25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219044$10694FA4-B4D4-4257-8231-69323020B4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219044$AF00DE6D-36CE-44EF-A287-F7E82A7EE24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219044$6E0AA2C0-48B1-4441-8594-9B556FC836E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67272e5d9dd2bec76690322b0f0a883b40acfc8b","datavalue":{"value":"1223728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219044$D01B08A5-1894-4A6C-870F-91CFD847EA9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71aaa40af1aa12299b86455e91fdd0d36d360068","datavalue":{"value":"well order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$CB973A80-165F-4165-AC3B-D79E9F0F1971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ccc74c4bbb2430bea1efc0ca6d8059812ee3de","datavalue":{"value":"noetherian order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$18DB96B0-2EA9-4CA0-A0B6-EB19C56E9406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47083091adc583b0dc35ccecd1af5e10baea8304","datavalue":{"value":"duality on binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$F7042ECE-727D-4684-8BEC-FBA79F622C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$861C0E9B-BB8D-4622-B24A-C402E338762E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556d07078d8a489ce76b0137cf03ab1710ae0223","datavalue":{"value":"recursive path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$31084866-3D08-441F-819F-6EE931566C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$8F2912ED-132F-44A1-A85A-91A1B9022B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a67c10adf3d196da32ced1af16347100b672c57","datavalue":{"value":"generalization of Kruskal's theorem to binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$974464E4-F83C-4CA4-AEC0-57541AA9E224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83528b0898623d5902c0fc9e086e0c3cd26ba48","datavalue":{"value":"complement of reverse","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$ECE09E05-3DBE-4879-8FF7-2278A7B24F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ccaa23b220797ddab61cbb88546b6627c35ff7","datavalue":{"value":"Fereira-Zantema theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$EB77917D-59E3-4417-A5B8-8FCE67060814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5eab80c06e146bc1a13b7f988b175041b8810f","datavalue":{"value":"Dershowitz's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219044$DDCB06F6-AB4C-4BE7-A4D4-2B301752C507","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":"Q4219044$699BBA45-4D83-48B2-94EC-F7C1202F799D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66973ba05952a470d6bcd83b2e282a50b706b084","datavalue":{"value":{"entity-type":"item","numeric-id":4783327,"id":"Q4783327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827561472709dbfaf0d4a41de178e387f2692084","datavalue":{"value":{"amount":"+0.7537216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$F14ED18E-AB06-41B7-BB77-33049190EF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce6d7f65601badf71a13d8218c90dfa8389e94e","datavalue":{"value":{"entity-type":"item","numeric-id":2849896,"id":"Q2849896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec26a6509fb001494e3a3b4f93b638555b57940","datavalue":{"value":{"amount":"+0.7281028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$EF693055-44BF-4A13-B6AC-F0669B2FE8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8841de150c6820cb0891814d1ceb2b47b2b0c2","datavalue":{"value":{"amount":"+0.7181423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$847366BA-0B59-4969-9F54-963FCC11F7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6472e09bc9d914d8cab37208ad74013f36ef11a","datavalue":{"value":{"entity-type":"item","numeric-id":1912706,"id":"Q1912706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c053c38a53b53a6895f63f8be5c27def8ca3d81","datavalue":{"value":{"amount":"+0.7072824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$E0B429CF-42E4-4FCE-BD5A-CAA36AAD2697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddb4a38748445ba0c4b8df2e12aaa6ff37bb5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5425348,"id":"Q5425348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e682b6a62242ba1e3e766637d00f10c7cd953be","datavalue":{"value":{"amount":"+0.7047075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$3104F0E1-8131-4C88-ADDE-48D59520BCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe20ad335a6a623d3d0db2c5dbe922dcce8cd35e","datavalue":{"value":{"entity-type":"item","numeric-id":4415258,"id":"Q4415258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534af6cba287667725b5c057ea059d527e438f91","datavalue":{"value":{"amount":"+0.69865096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$373F4C2E-6387-413B-8984-7C8F6BA560F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7652357e77a1571122db1de57d47e89f772e8","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4870421f4100e13596ce015e3947eb7460c58a3","datavalue":{"value":{"amount":"+0.6973502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$ECDC97B5-C736-423A-ACD9-AC42C21BBF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab2748b2dc355765f74038204b2a30e45a6e142","datavalue":{"value":{"entity-type":"item","numeric-id":1082075,"id":"Q1082075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b782e8f59211e75b6e7c97ae1d4e0253bec72fb","datavalue":{"value":{"amount":"+0.6969553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$5A5C1708-141D-4B22-8AA5-EB018677BFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712ca67f92282d0a546c8e6fc3e426d1727f3909","datavalue":{"value":{"entity-type":"item","numeric-id":4537515,"id":"Q4537515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7448b3e389bef2ba8a99aa05f4b833071d0b85","datavalue":{"value":{"amount":"+0.69630796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$ED342C99-DFEF-4BAA-A531-F0F4E486A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bd496afa6c1d8ee67fac2cbd35f7b8c204f6e2","datavalue":{"value":{"entity-type":"item","numeric-id":2125990,"id":"Q2125990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c5d3b62b592221ed22cd4e6596cdc47dc805f3","datavalue":{"value":{"amount":"+0.6949669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4219044$43EBCBA5-FDF0-49F1-981A-5C10488481D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4219044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4219044"}}}}}