{"entities":{"Q1159977":{"pageid":1170726,"ns":120,"title":"Item:Q1159977","lastrevid":66278424,"modified":"2026-04-12T08:43:54Z","type":"item","id":"Q1159977","labels":{"en":{"language":"en","value":"Deciding freeness for program schemes with a single unary function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3748401"}},"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":"Q1159977$6AC645AE-3C5A-43AC-AE92-A87AFC90BA6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"136f691532d22891f1dafff01c4ea97efacd48b6","datavalue":{"value":{"text":"Deciding freeness for program schemes with a single unary function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159977$98901597-CDE7-401B-B5BA-0066C98D2C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"018daf535bdc112ed42cac46b54d8fc88c3e4e7d","datavalue":{"value":"0476.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$7DC2F46B-F335-4FF7-B6C5-96A432FBF156","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"515ec3f53e16d92a449d9bf724ff0fe3e0c26def","datavalue":{"value":"10.1016/0020-0190(81)90118-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$17718990-9ADF-4599-9E7E-A1AD30B4BB5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"633d5065ff653e84748cc5c6ad260d59e322b0ac","datavalue":{"value":{"entity-type":"item","numeric-id":908916,"id":"Q908916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159977$FC40F1F0-6592-46DA-9BD0-1EA356CB8452","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159977$BD6CE6CC-168D-4789-9149-9859316A0042","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1159977$E0988DF3-0139-46D6-BFB7-ADAA3C1AF703","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$CC38E87B-AB65-44E4-8A38-2AED53F8717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$18EE19D0-0BAC-4C1D-A612-E0C4408629DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$8FFC3378-C311-46F0-9B36-C81401C1F773","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77cb38f9e4c2809611b25d0e383f0a9907f18e48","datavalue":{"value":"3748401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$5A7C7AA1-E7F4-4460-95E7-78E3FD212DB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8693f522c7983557c145c5bb6985f7c0ae1ede04","datavalue":{"value":"multicounter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159977$0D947386-B02E-4D48-AB4A-FF8DB3FB50D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96a73329a8e9fe6e2760a2fde39dba3a69a757a","datavalue":{"value":"counter reversals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159977$479287B5-6355-4445-8A90-0C389856807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159977$47FFE127-59EB-4353-AF15-A36F4A6E81F5","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":"Q1159977$956E9081-D0FB-45F7-88F7-B2364572E31C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8732b1deaa78422e5dc3abfa25bc2481c8427898","datavalue":{"value":"https://doi.org/10.1016/0020-0190(81)90118-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1159977$18F45D8A-BCA6-455B-89FF-D109CD37C94B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e18a5b6787153c48a7b4421fece8b01cccd80e2f","datavalue":{"value":"W1982142491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159977$83695C14-B04F-4F30-82D0-27BBE51E791E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159977$8CF21FF1-49C3-4DE9-B55F-71CCCC355487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159977$A87258C2-E721-4E7E-9EAA-17404FB3E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159977$47DBAA3E-78BF-4E73-89A0-DF701C2EA949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding freeness for program schemes with a single unary function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_freeness_for_program_schemes_with_a_single_unary_function"}}}}}