{"entities":{"Q6575359":{"pageid":14186514,"ns":120,"title":"Item:Q6575359","lastrevid":42357852,"modified":"2025-06-12T19:11:10Z","type":"item","id":"Q6575359","labels":{"en":{"language":"en","value":"On undecidability of subset theories of some unars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7883841"}},"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":"Q6575359$06C6FF54-F0A5-4B7C-9FE8-CE5E5ACAE05B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12dc2a962b1b53ba8c6d2a344a16d77f19dc39f6","datavalue":{"value":{"text":"On undecidability of subset theories of some unars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6575359$6FE1F8ED-E765-456E-97B5-12546948ED06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dac73b6b19a10586f5165ac508b8eb9fc4e3964","datavalue":{"value":{"entity-type":"item","numeric-id":2066098,"id":"Q2066098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$98C2C001-7D4E-4C80-8FCB-FA3A78DA57A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$E25D0250-607D-44F7-AEE4-E8A35A63344D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20bb98d83d204109387fd4af6383bb63aeda87a0","datavalue":{"value":{"time":"+2024-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6575359$119E91AA-F306-40F1-AB49-6AC7D9197337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6575359$29D1FE86-72DE-404A-8473-D7C92A712C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6575359$FB4DFC7F-34B5-4C21-8312-1EA6B7C6CCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6575359$A133E207-9540-4D02-9BA1-B75B88D20FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"693557f00cdb9b1ebd4eaa66fec8f00d836db1b5","datavalue":{"value":"7883841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6575359$CB3F9B2A-0CA3-4B52-82DF-F5FC72A938C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef714248d8020aa89e7ae1129dd36941c77e1dc","datavalue":{"value":"unar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6575359$A28A7643-30A3-424C-AE84-3E3E644403CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e0de32a4c7fc556ad371487b32f353f10a043b","datavalue":{"value":"theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6575359$8B547125-03B5-4915-8CDC-8733E6283D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6575359$F5FA268D-0207-444B-87CD-E3FF9EFEFFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6575359$6169C888-4146-4993-B359-AA09E6A2E267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5158c2131941133226772562ba45d2554b03868","datavalue":{"value":"subset algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6575359$1B20B2EA-DC05-413B-930A-E751680E59AF","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":"Q6575359$4F6B75CF-E848-4491-9B31-914489324627","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$B22B3F1C-553F-4BAD-BE66-7F2F48B0DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89733801ec08ee508f50509674fa0e87039d9377","datavalue":{"value":{"entity-type":"item","numeric-id":650885,"id":"Q650885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$B015534E-B214-4AC4-BE21-2B5ECF85D023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe2a703001e3c53ee246cd4912e1918433e21d0","datavalue":{"value":{"entity-type":"item","numeric-id":2342107,"id":"Q2342107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$A52E07E1-33B4-4ECA-A2EA-920A2724F512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c99c288e74a2442f10fd42332d7cce4f6b1f89","datavalue":{"value":{"entity-type":"item","numeric-id":2207016,"id":"Q2207016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$BC717B70-31FC-4159-BBC5-92D6B126EC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9109232f0243413c25f2a47d60115fd0dfc306","datavalue":{"value":{"entity-type":"item","numeric-id":2043872,"id":"Q2043872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$B2EF0060-4120-41C8-BC5B-F88A674D818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677e414a2d2c1edb2a42f283e07f1503eb2b35c1","datavalue":{"value":{"entity-type":"item","numeric-id":5896424,"id":"Q5896424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$9538E689-91BB-4466-8787-DE153B0E28B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b781ba0e1f33493c50d3ec09be507bc039f7155d","datavalue":{"value":{"entity-type":"item","numeric-id":5903185,"id":"Q5903185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$25D96DA2-38F6-4D1F-93F2-4D7A1316F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6575359$2C2FD480-28A6-4B75-8EF9-A882C277014F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0501032b1bad91c629c613368fceee202376731","datavalue":{"value":"10.1134/S1064562424701874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6575359$6A56B650-52A6-481A-B2D7-D7D021CEFFC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6575359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6575359"}}}}}