{"entities":{"Q2849500":{"pageid":2860220,"ns":120,"title":"Item:Q2849500","lastrevid":44703351,"modified":"2025-11-25T07:14:07Z","type":"item","id":"Q2849500","labels":{"en":{"language":"en","value":"On Forward Closure and the Finite Variant Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210150"}},"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":"Q2849500$212EAD99-98EB-4833-901E-6B6F12AF749A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cdb14bf320cb68ac0f12574aafab5ce174e72cb","datavalue":{"value":{"text":"On Forward Closure and the Finite Variant Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849500$B1D732D9-1CF7-4809-94D6-2CF549F68CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78bd91307260b93e177fb986a8a92a575fde0f9f","datavalue":{"value":"1398.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$08A4CC3F-1F56-4F4C-9D40-C1C60CCDB271","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0119fd90fbfbe0e1cd03a9abe0f8167dfeaa98d6","datavalue":{"value":"10.1007/978-3-642-40885-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$64C25589-2BA2-450B-8A85-0E295E44C18A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a4fa8135045b32f4b54a4f974f66817ce07bc81","datavalue":{"value":{"entity-type":"item","numeric-id":2849498,"id":"Q2849498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849500$26741BB2-092A-4EDB-BFDD-C88DAEBE13D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7324ba4789d1725c0e73ea7f2a85d3083d893e48","datavalue":{"value":{"entity-type":"item","numeric-id":2849499,"id":"Q2849499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849500$43BFEFD9-EADA-4385-A3EA-6927B68FFB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849500$9C28E4B7-4B59-4242-8B88-A5C202B47C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849500$076BE3ED-157B-4D85-A746-79BFDFA97A81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849500$829A8BBB-A1AA-409E-BAD4-B45C10C9D995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849500$805D6F7A-CBBD-4DA9-A653-94218302CD60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$C49A4039-9912-40C6-81D4-55BFD92F6097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$B4601900-F52D-40A5-9247-E76374A088EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386924cc86646954ba16ffa3e5c83332e98694ab","datavalue":{"value":"6210150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$7A1088F7-E1B5-4231-B59C-447C379DA420","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849500$8BC51929-9732-4620-A91F-5D7C95ECBB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f56eadb17afde7e597c9c62459f15ba01d2726bd","datavalue":{"value":"finite variant property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849500$EE152295-063C-4BE7-BD36-7322B376B5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c76b54955fe018b0854348d14772fe7aedd9d6","datavalue":{"value":"forward closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849500$12A8EEFD-53B9-4BE6-B206-E4BB689890C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849500$56E049B7-5D5E-4F24-9BC0-3A2E85D16168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849500$27BE445C-9457-4DFD-B407-8D878491B36A","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":"Q2849500$88D8AC09-0CD9-4DF2-9896-C5CF18BF3D32","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a57c846738de12f8b5ae27c6c21eab7234519522","datavalue":{"value":"Q118190387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$210F775F-BFE9-4BDD-BBE6-636950073D32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67abef11b43a824db7768e423b6207a8881628cd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849500$74552970-C871-4E6D-BCE6-A96820938305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afee6f1e5106b423bcfacaa8c9f707950080bf70","datavalue":{"value":"W2112044534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849500$E57299A7-E396-4A82-82B4-E002B651982A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359b0758c18d85245100b70e15baca12eaae45d9","datavalue":{"value":{"entity-type":"item","numeric-id":5951911,"id":"Q5951911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1925df7ee4a3bf015588fa74f16c6a7c53d66cfd","datavalue":{"value":{"amount":"+0.8697859","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":"Q2849500$FE414851-6FA5-4AF6-9C21-152A6C14D2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6c97450da9a744384cd2ea590c4929ec2bc9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452407,"id":"Q3452407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0da5c4102c0288d55827fad4f65b285e1e9696d","datavalue":{"value":{"amount":"+0.8604646","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":"Q2849500$9BBB182A-4958-443E-A11F-D3740501E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e036dff9fb6f3a2f0cc6d985bf6feea8f72f4e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4812043,"id":"Q4812043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f224a0a2bb9c16a56869a02edd18a9c77c379b","datavalue":{"value":{"amount":"+0.8545482","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":"Q2849500$1E502CD0-3754-4117-9F81-F1D5FA15A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b60cd8e2ceeadab265b212b541ed2ad10af6ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1341147,"id":"Q1341147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f773a70f793bc8efc508ea9a07a47d01476836","datavalue":{"value":{"amount":"+0.8524053","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":"Q2849500$C5F97686-9BF2-4D9C-B190-4DFA0522A815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22ceb7ddde7ebbec75e6468cf8a483ec88de007","datavalue":{"value":{"entity-type":"item","numeric-id":2144371,"id":"Q2144371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1077957e25dcfefce567e0f65b225d9b5ea2bbe9","datavalue":{"value":{"amount":"+0.8520835","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":"Q2849500$A103D5BC-BB0A-47FE-9D29-3AB471CEE2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2816125364593998e04ac5ffeb9e56b0901e73e0","datavalue":{"value":{"entity-type":"item","numeric-id":3574256,"id":"Q3574256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228941f1151f971952acadc1fb7d4f382b6c4622","datavalue":{"value":{"amount":"+0.8516387","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":"Q2849500$490C8CFD-D9FE-410B-83E0-581CFF6C7E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cafafa3293ff846ebbca73ac21cd68e725a786f","datavalue":{"value":{"entity-type":"item","numeric-id":2097065,"id":"Q2097065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270d16367f5611de4ac8c767702f6a086532976e","datavalue":{"value":{"amount":"+0.84650147","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":"Q2849500$9731B6CF-3018-410B-A441-87235CC8C7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aec1ca9b731b8b9db46dd566566c9403124b3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2382962,"id":"Q2382962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f8ecdb73b5ecc070b6db6771937e4a948bc9d9","datavalue":{"value":{"amount":"+0.8464562","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":"Q2849500$AFCA1BDF-D37E-414E-893F-8604EE021630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b178bbb30668d7994ee972ab8e7980ec2957a90f","datavalue":{"value":{"entity-type":"item","numeric-id":3172291,"id":"Q3172291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb58f72533c0647156594373ef6665f252bccfb","datavalue":{"value":{"amount":"+0.8461174","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":"Q2849500$CDEFC0FE-201B-4CF4-86CC-37D76B7FFEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1107112fa49da1e569c721122d597f4480cad4e","datavalue":{"value":{"entity-type":"item","numeric-id":5263349,"id":"Q5263349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36364bd5ca3732d5b25d82bc2389f66b8e48b669","datavalue":{"value":{"amount":"+0.8449191","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":"Q2849500$73804AE3-8E4D-4EEF-8246-E35D9E595DD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849500"}}}}}