{"entities":{"Q1599536":{"pageid":1610276,"ns":120,"title":"Item:Q1599536","lastrevid":72295008,"modified":"2026-04-14T03:56:35Z","type":"item","id":"Q1599536","labels":{"en":{"language":"en","value":"Solvability of context equations with two context variables is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753640"}},"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":"Q1599536$3B2FDFDF-9784-46B9-B1F0-4380E856F511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e26cfc66b9505a53fdb6b06ee24b06b76be665a9","datavalue":{"value":{"text":"Solvability of context equations with two context variables is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599536$729FFCD5-784D-4F64-A9EC-D5331EA8C826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17bc456a9935bb47d398e3e6b4b314cbfd17a0fd","datavalue":{"value":"1017.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$A6AD22A0-E819-44C8-AF75-3EB8E741410C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdef74c3015c2eb47207605c5cffbe54af2df392","datavalue":{"value":{"entity-type":"item","numeric-id":533877,"id":"Q533877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$4DEDF18D-3AEE-4052-8C4B-F035DA889277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$BB4E6D07-4D57-4B45-8D5E-7993B4704201","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$D30AE6CB-1A90-42AD-9FCB-BDD41C30BF0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ba1d953aa735572961ec1919ce144a2600d9eb","datavalue":{"value":{"time":"+2002-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599536$675790A3-9644-4B03-B358-0A92D4D20056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$4E57D39D-4AA5-4D57-A089-5171841BFEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$BFFA3DB7-E3E3-48AC-BF9E-13CB8839982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$F1777BE8-5C26-4ABF-B09D-1B834ACD8C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e8b4511a195e1890d103bb17c52e755c1853069","datavalue":{"value":"1753640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$FDA380C0-4265-4EB6-80C8-52E122AEF8D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860522228ae06ae28bf4edb68d858f5087c2f70c","datavalue":{"value":"context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599536$E8AA3E92-CA2E-4D4D-B365-1F047EE0F2B4","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":"Q1599536$2D98D7A3-AFAC-4AFE-9335-861F819B0B8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a512629ade6702d5b70528356df45bd05983ad6","datavalue":{"value":"https://doi.org/10.1006/jsco.2001.0438","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599536$4B1B0E5B-9883-4D93-AD88-C502C3AC1E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73fbc6ad8b50ba3d2c2e579ed7b27894ad114539","datavalue":{"value":"W2065197261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$663B35A5-BEB8-495D-BEE3-AA88A6A1750A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed432e48419c329dd9fcaadc072f6a166f773f93","datavalue":{"value":{"entity-type":"item","numeric-id":5916475,"id":"Q5916475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$CB13B9CF-1B23-41E4-BE96-43D8B8F8D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$5D86F677-7EF8-41D8-A230-DEF628DDDFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$23D8874E-27DC-483E-BB96-E7934F697636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f948edd10fb44ba3b5ed2c2fb7d1ceb79354a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1264439,"id":"Q1264439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$1C21BAC8-4890-4AF0-A984-DD9A65A0782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$BA4C1778-911F-48F5-A9BD-37858F072662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac0a1a323edf8763338426f5187bcb577288f83","datavalue":{"value":{"entity-type":"item","numeric-id":1225612,"id":"Q1225612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$880C2BD3-1BE3-42E1-BC6E-421C089801BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf4606e610fbe75ced44da4fb436394937a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3474892,"id":"Q3474892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$917EA76F-4491-433F-9242-991D66DC0D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c54f33d6db3b82c4cb7e4ec7066092bee067d1","datavalue":{"value":{"entity-type":"item","numeric-id":4371685,"id":"Q4371685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$7C4CA255-F11D-4B08-A3E3-3ED9A9831B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613e3988fb7cebf99242d8800f99ff1709b70e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055871,"id":"Q5055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$65521B25-333C-496F-951B-0FE35807B2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0daad49a65c93609568ffc0fd3faf6b98b22e8","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$2E756DAA-CAD6-4CA9-82C4-87083F0429FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$0830249F-1217-4F30-ADA9-111A2A40793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca5ec32ce26a515774bb803888bbb6ccf54093c","datavalue":{"value":{"entity-type":"item","numeric-id":4594232,"id":"Q4594232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$C11CF3C4-925C-4222-801F-6A22176F585D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36a71b29d604eef73543c48ebaf0f67c4b252d3","datavalue":{"value":{"entity-type":"item","numeric-id":1275018,"id":"Q1275018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$103EF4A2-714A-4EB4-811F-997FECB21173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e5d2486b418d47588e9e6c8f4b3f6c40689c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3838760,"id":"Q3838760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$0D7769D9-3F28-4853-9742-FCEC630C01A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e5c86fba34c4ab93cfafd86662a49208c0d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":4263157,"id":"Q4263157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$3E4CE022-20FB-4943-933B-4BF8B4A2BC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd5fb1b51412a0727f36b0bbfd69b4b1de3cc14","datavalue":{"value":{"entity-type":"item","numeric-id":1319389,"id":"Q1319389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$79B01718-6111-4857-A961-59EC1A69F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece58181552e46f48bbb6ee55f52ce198d5bc025","datavalue":{"value":{"entity-type":"item","numeric-id":4218135,"id":"Q4218135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599536$13E5A30E-422D-40A6-8279-3AA1F31436C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d37874857681f5e4afd6f9855ea768d1dcc3c664","datavalue":{"value":"10.1006/JSCO.2001.0438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599536$673C9BCF-0421-4CE6-8A8D-7382D440154D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f244b3c739c60c7602871754c7bcdd404e369625","datavalue":{"value":{"entity-type":"item","numeric-id":4263157,"id":"Q4263157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","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":"Q1599536$9537FBD0-0075-4BE4-BFCC-8CA9CA02F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1739c74610171e87fe0ad937fad68bbb03f48abc","datavalue":{"value":{"entity-type":"item","numeric-id":5110922,"id":"Q5110922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff117aa43f3fe9251ed9e2bd380dd43ae18ce641","datavalue":{"value":{"amount":"+0.8425521","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":"Q1599536$FE171ECB-B647-4611-8409-2C58B7E4202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc2778082dab54389bf3f6531b64bd849fa82fe","datavalue":{"value":{"entity-type":"item","numeric-id":5158360,"id":"Q5158360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e711d2d9957e87260c56f4a371a86f5b1639378","datavalue":{"value":{"amount":"+0.84200007","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":"Q1599536$ABFC531A-0351-4735-BCD7-B73A1F7C3141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2508ab34086599b962a14fe4ce32a2143219f8bd","datavalue":{"value":{"entity-type":"item","numeric-id":4733856,"id":"Q4733856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9aba6807368d87eb26de66c0998ad8e25aa905","datavalue":{"value":{"amount":"+0.840717","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":"Q1599536$BF9956CA-3A1E-4BFC-8059-9FD4737BDC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a047f62cd8cc3bb0839f3a1d6f462a8e1df5b7","datavalue":{"value":{"entity-type":"item","numeric-id":3839876,"id":"Q3839876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50a0b5af8c26c29d49c305bbedf19399ff9f2ba","datavalue":{"value":{"amount":"+0.8337056","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":"Q1599536$F1DD2C4A-3363-4615-A372-9A946FA36C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9de86fcce9c5068e68a6554eafb1e1e71e0109","datavalue":{"value":{"entity-type":"item","numeric-id":3430310,"id":"Q3430310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6652b964417297da090fe477882d1245caf1cff0","datavalue":{"value":{"amount":"+0.83297247","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":"Q1599536$0C6B3046-C637-447C-BEE1-2ECB201A4770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3bec5f0f00b33b7834635adb8205e5b6aa52fe","datavalue":{"value":{"entity-type":"item","numeric-id":2871582,"id":"Q2871582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78245cf89631f5668156c000895221a1d3bf2b8c","datavalue":{"value":{"amount":"+0.8305111","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":"Q1599536$F938FED5-D90C-4FB9-8FC9-E79AF103EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d98daaad6acefa6bd2fbcc9bbddcb4b4e606b","datavalue":{"value":{"entity-type":"item","numeric-id":3293390,"id":"Q3293390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bef90427f2e1542a868e2bd0a1adff18836dd9","datavalue":{"value":{"amount":"+0.8247349","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":"Q1599536$2F46D4CD-01CF-43B0-8512-C79D8ECBAC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1536841c61f1c7aefd3ae2b314d83b77ac2b067e","datavalue":{"value":{"entity-type":"item","numeric-id":1798903,"id":"Q1798903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16af51d7597ec82c79389e24f94919c4966acff","datavalue":{"value":{"amount":"+0.820539","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":"Q1599536$1C41462D-AE05-4804-9F45-671C1CAFE3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f2f2a6c1dd9f64c248b53ce1e4138cd6b02287","datavalue":{"value":{"entity-type":"item","numeric-id":4304097,"id":"Q4304097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1020dc14f2492cdc3517d38a039ddd9e1d1376","datavalue":{"value":{"amount":"+0.8196796","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":"Q1599536$ACF532EA-7BFB-4B53-8012-13D378BE9ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solvability of context equations with two context variables is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solvability_of_context_equations_with_two_context_variables_is_decidable"}}}}}