{"entities":{"Q5687321":{"pageid":7716881,"ns":120,"title":"Item:Q5687321","lastrevid":46815546,"modified":"2025-12-25T15:52:58Z","type":"item","id":"Q5687321","labels":{"en":{"language":"en","value":"Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957324"}},"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":"Q5687321$1B136621-8FA3-4BB8-8601-786CE0FCAE7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5afc3795359894be20636ec88644a1dad2cdaae2","datavalue":{"value":{"text":"Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5687321$788B3441-E385-40A4-89D6-3ED429F61A28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"547f5f9485ecc69f8348827a1f744f314a196409","datavalue":{"value":"0863.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$02E2D826-C6B5-4D16-AFC8-06F8E854D0B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb627efcdaa5b989459eca2c12b00b4d0908f08","datavalue":{"value":"10.2307/2275790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$9A5D7D9A-721D-4131-ADFF-CF50EECE7565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b09a388965329c926d542d4fdd3e9db9fa7e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":162061,"id":"Q162061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$EFFD99DA-46A8-49F6-A870-6B8E3B72C679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc7f5b71d250a4b24a71a620593edb6d2ffc22d8","datavalue":{"value":{"entity-type":"item","numeric-id":175053,"id":"Q175053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$BAC22638-83DD-43B5-9D47-A9123779F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$17A4CF8A-08E1-431F-AC1F-200DC4279419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2bcabba238ebd3703bf94360bc556df90e8632","datavalue":{"value":{"entity-type":"item","numeric-id":1049746,"id":"Q1049746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$E2F3C518-9613-4482-B66B-960AD20D5BD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$E5092C33-D70D-4572-B671-2357208F510A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687321$2C5E1F48-591A-42A0-A47B-6FA2AD461847","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$37378492-1697-477C-9FBF-F4299E421F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$179809D4-D2DA-40BB-B345-EAB39996E693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$0D16D6A0-C6EA-4D54-98E9-F29A45F7164B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$1043F6E5-FA32-4B97-970E-AFADD3516062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e72e9750cb4845bd8cdf5b23df6fa94108643607","datavalue":{"value":"957324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$053E3456-5D94-4ED9-82B0-5449A49F1F26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05739d63d79bed9f420acf907c3e347694abc721","datavalue":{"value":"\\(\\forall \\exists\\)-theory of the weak truth-table degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$B8E3D531-93A7-453E-A85F-33AD6014A02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f29f8c121f47a154c10001f7bdbac3bbf1a0df","datavalue":{"value":"recursively enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$7060BF16-41C1-4285-B817-FF29251BF4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bc8b77b185ea9290aff4d4b0961af9697353e23","datavalue":{"value":"recursive polynomial many-one degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$9DC3770B-3AB5-4867-B985-32BEEDEC1D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69a3fbd3ecc6cb90d0b5fdddef6f946616f21955","datavalue":{"value":"decidable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$958E5DC9-D5B2-499E-9597-7A3D470ABEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$E6C262D5-9EF9-459F-AC62-72EFA4B9681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30685e66f52a189960de49ca7064a387ebc3307d","datavalue":{"value":"finite lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$EA1EACBC-5756-4973-8725-88ABEF6A810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b3a346a79f5ca189db87218f47db62c007bddf","datavalue":{"value":"distributive upper semi-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687321$9AB7DF07-A282-49E1-8424-1C78AFA25767","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":"Q5687321$E7102B8C-01F3-461C-B3E4-1666BBCA2C43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8db9df2314dc49441c02df92708a80a88a98c7d","datavalue":{"value":"https://doi.org/10.2307/2275790","type":"string"},"datatype":"url"},"type":"statement","id":"Q5687321$6A084F78-EFA4-4B48-A669-CD935E208B1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0751a2c8c02a2ed9ca6f5db07e21bfa767be2944","datavalue":{"value":"W2092944937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687321$7CDFD622-BD17-4F15-9342-D2375DC57BE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$0E71F20A-91A5-42E5-9841-4439B8A4559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f636e8c4b1d67294e13d2474bb5e573d2b309bca","datavalue":{"value":{"entity-type":"item","numeric-id":4921532,"id":"Q4921532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$6DAD768D-3B95-4F4B-9295-270AA19C4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ce067c8b5894e0c81d7ccc6c7ce7fcf53a63a1","datavalue":{"value":{"entity-type":"item","numeric-id":4032867,"id":"Q4032867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$E708FCB5-FB87-4660-8B07-05A882039988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$C35620ED-E7C5-4421-9796-B670A9C20FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd740859e54df15caf7c1b128907e8d20d45e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4087157,"id":"Q4087157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$A9A3047F-7F2B-4DCF-B46F-3D681E17134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfcc6f5a7085d2fce2cc3dbce48b00140ce31a8","datavalue":{"value":{"entity-type":"item","numeric-id":5287687,"id":"Q5287687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$F6AE575D-4688-41DB-8915-96F0931D7E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$33D12014-64A8-4D41-BEE9-5B88A420D58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$A8DDAD36-8B0C-40B1-A61E-20286E813BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0599a6875239b7e2bbd195f9458f46adf81eb955","datavalue":{"value":{"entity-type":"item","numeric-id":1334663,"id":"Q1334663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$31405689-45FE-4EEC-AAAB-ADCAD1D7FE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e624f8eefcb1931918dabd90e4516ecd170e232","datavalue":{"value":{"entity-type":"item","numeric-id":3220572,"id":"Q3220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$F6B07506-DB20-4D2B-95B5-4370579BE412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6e8863abdbdbf5ad762fa4fdd696792f3bd52a","datavalue":{"value":{"entity-type":"item","numeric-id":3755448,"id":"Q3755448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$BE3EF1F0-FFBA-4957-B730-A7773E0D60E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4b2cc56da0887f83cf9332aa80e63bf68370c4","datavalue":{"value":{"entity-type":"item","numeric-id":1193873,"id":"Q1193873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687321$1A5B7155-6C67-4791-82ED-E27327405E0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472da40979684d05ffbf8f1b7959c3eea01d1b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4835608,"id":"Q4835608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1917eea0517d769bccdce7940e48cfe886bdbb7c","datavalue":{"value":{"amount":"+0.8556782007217407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687321$11D3E2C6-78B1-4BF5-A079-01D6C66130FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9709db5af29614f1bd07ca63c06c7a72df0aa4d0","datavalue":{"value":{"entity-type":"item","numeric-id":4032867,"id":"Q4032867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f951530a267bc608d6fafeca5c7b5be8cbfc32f","datavalue":{"value":{"amount":"+0.8442268967628479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687321$3F2BE551-76AA-4B9E-8C7E-833028A71080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2889752b4fe8d6ceeaa51aa5a8ed21ef0e5aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4813796,"id":"Q4813796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168642a6f45472100864bf53571378e5c50be108","datavalue":{"value":{"amount":"+0.8416216969490051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687321$F8496365-A099-42CE-8674-29EBE4F75793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5687321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5687321"}}}}}