{"entities":{"Q4601128":{"pageid":6630711,"ns":120,"title":"Item:Q4601128","lastrevid":40740305,"modified":"2025-04-04T13:06:15Z","type":"item","id":"Q4601128","labels":{"en":{"language":"en","value":"Small Semi-Thue System Universal with Respect to the Termination Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6827713"}},"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":"Q4601128$7844CFD5-0941-4612-BC08-86DC00E21E79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"763150ddefafd6d40067c30668c55cb7a3003c6c","datavalue":{"value":{"text":"Small Semi-Thue System Universal with Respect to the Termination Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601128$780F7860-6E43-41A9-B2FC-CB6FE36F1951","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40420a893dc661f6245cee6bebb62a13da092ed8","datavalue":{"value":"1420.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601128$5E4C1C3D-E057-4BC4-8480-4AA755DEA756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"112c9e8bc44dd85c73a2407fd8d5a1c21ffcd541","datavalue":{"value":"10.3233/FI-2017-1559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601128$A6880A05-21BA-4E3F-965E-CE7F3F58486A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2b10c5ab67ffe56bd27c9275fad196c0a4c065","datavalue":{"value":{"entity-type":"item","numeric-id":832934,"id":"Q832934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601128$BFCC17AE-7B26-44CA-B85C-8E4C56A280EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d83211de22bb9037eb8bb17627d49ead9fa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601128$6A6A6A9C-842C-4EE9-A977-AFCC15F16B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b09d98ecfbc58c6f9b7cf10e965a5f90896b23","datavalue":{"value":{"entity-type":"item","numeric-id":741170,"id":"Q741170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601128$ECBA7D51-DE03-4C7D-8BE1-2212C9CD163A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601128$0A16477F-A24C-420D-A4AD-1A055A6A3482","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3706de551438a6e783012180a02b770ee4195f88","datavalue":{"value":{"time":"+2018-01-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":"Q4601128$94F34BF1-76BE-4784-B539-A97CC4A81F9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601128$5411A7CC-0353-4C6C-8880-FC4D7182399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601128$C59F417F-BAF2-48DF-95E8-C7228E9AF119","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"053cbcf1e16437d6f52c261140c94f822cbf344b","datavalue":{"value":"6827713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601128$82E9398A-7C8D-44F8-A5FC-4BA857C816E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7fd71c45c3ec574821ea7dae35cee1e6ae176","datavalue":{"value":"semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601128$4914509D-3315-4149-9E7D-243C6DFA2BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3968ae427822213403560fd1b9ea6c0167c35d","datavalue":{"value":"termination problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601128$D6432BF3-A3D4-44AF-A956-747A971B6332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601128$BE65F3F6-AB2D-4571-878C-F79F8EBA41F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af65d1077e34da9f085b55e634c84ac86ea36b9c","datavalue":{"value":"universal semi-Thue system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601128$9B3A8BC7-BB63-4DCE-B454-B0A406D60EEA","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":"Q4601128$82EC80AD-AF50-47F7-900C-F6B93078B8A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16167fd6d5b4021e444c6cb91b1f513e36e96daf","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1559","type":"string"},"datatype":"url"},"type":"statement","id":"Q4601128$CB8CFF16-1F70-4051-AFFE-C8EA29D2976A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"896b152851fe34d980d6c7f7a5d1e5cea99e458b","datavalue":{"value":"W2742797454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601128$A9313D80-029F-4F3A-9341-234D23F0249D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d52969ea1e81fc7bc56326da841ac5dc3c3f2ad","datavalue":{"value":{"entity-type":"item","numeric-id":673625,"id":"Q673625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c097f98eeeea5ab12929d29b6f19f50db61db97f","datavalue":{"value":{"amount":"+0.89071727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$4BB91902-E9CE-4B37-8BD6-49EFB28FBC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7fb917ab86bed9f7c8506bd3dcb053612a6fc4","datavalue":{"value":{"entity-type":"item","numeric-id":5055868,"id":"Q5055868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ee3301aec429674e6aff7a599acb6a64cf4334","datavalue":{"value":{"amount":"+0.87347937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$39562AD3-19D1-4438-8758-2E57CE97F951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff888c320fd48cc58ee6b4dbc52b43e2d3417a69","datavalue":{"value":{"entity-type":"item","numeric-id":3632014,"id":"Q3632014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf834cf158c0d9abd65d2a30c0c7fb75ee5c0923","datavalue":{"value":{"amount":"+0.8568263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$A522377A-288F-417D-AED5-90865E0855BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d44e87f73a811a6febc07e0b627479ac905611","datavalue":{"value":{"entity-type":"item","numeric-id":3608492,"id":"Q3608492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf834cf158c0d9abd65d2a30c0c7fb75ee5c0923","datavalue":{"value":{"amount":"+0.8568263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$BC8FF6D3-0D19-4B71-9186-2BEB7E7335AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74ec44ef0d5ef6ee536349187f045e94d7dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3345796,"id":"Q3345796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922bc3085381f6cd5d3dab532e6398974ef54624","datavalue":{"value":{"amount":"+0.8461535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$017D473E-336C-4032-AD33-F7119D84C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce1cb4a5436cb33917e18e73d9b627a316455d2","datavalue":{"value":{"entity-type":"item","numeric-id":2849972,"id":"Q2849972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e2d0556f21da7c2fe7b0b3ca58ca294edf0754","datavalue":{"value":{"amount":"+0.8394301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$2533698C-76BC-4524-A42B-A3412103846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb28fa1db83cfc75f243e61ea1414f17f1e05ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4988934,"id":"Q4988934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458706878b0d2db51b2fe840d037c20bc39bf194","datavalue":{"value":{"amount":"+0.83696747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$1C1E712D-4AA6-4556-A3DC-7708AD829DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1ec2dff25dac97acd5fe3d2a3f4ee951e71222","datavalue":{"value":{"entity-type":"item","numeric-id":1092041,"id":"Q1092041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7579e80baa9eda368d5fe898139ebaaf473194","datavalue":{"value":{"amount":"+0.83395696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$B6AA33DB-A06E-453D-B05F-F6DF3A85F13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4563dcbe81f5177777a458580e3f55c1218e79","datavalue":{"value":{"entity-type":"item","numeric-id":2247995,"id":"Q2247995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e287cc39052ac9292640998884722b2ebc1337","datavalue":{"value":{"amount":"+0.8274089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601128$12485801-9222-45CB-8D94-DD5A645FC72A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4601128"}}}}}