{"entities":{"Q4594232":{"pageid":6623817,"ns":120,"title":"Item:Q4594232","lastrevid":52959104,"modified":"2026-01-23T22:05:15Z","type":"item","id":"Q4594232","labels":{"en":{"language":"en","value":"Undecidability of the first order theory of one-step right ground rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808108"}},"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":"Q4594232$D17DCD35-11F6-4238-A7B7-46629361A951","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a9665c99f2202f1ccf2dba4e9bc3443e6e4e592","datavalue":{"value":{"text":"Undecidability of the first order theory of one-step right ground rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594232$10CE02E7-D7F8-4E31-90C1-F6E366AC6AFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"764c82611aab3ca7d334a91a4de007acb0f9a0cb","datavalue":{"value":"1379.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594232$0C187595-4629-4206-A857-5687AF6DE26A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a56d44d351bd5cdea5f15094dd023cdd2b23c765","datavalue":{"value":"10.1007/3-540-62950-5_75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594232$9A80D43C-8C08-49E7-8432-A81A51CCBC0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594232$9ED47A35-B513-40AD-9783-B07E26CEE023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594232$CD62DEE4-4A5D-4046-908D-18D856B2E64B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594232$82A5F14F-40D7-4E6C-AD66-6BC5AF534169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594232$1CD75593-58F5-49EF-B6C7-BE16982319B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594232$1A386C95-E81B-475B-827B-7221ACD76E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1a9f16c1f762374a5f6d9c5f7d32df060eb920d","datavalue":{"value":"6808108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594232$537F470A-06A3-4C34-BFBC-857A7897177B","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":"Q4594232$77407ACA-54EE-4322-AFEC-6634F672AC2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37ba2a7f912c15792f379d5653abeb28d0c6389b","datavalue":{"value":"https://doi.org/10.1007/3-540-62950-5_75","type":"string"},"datatype":"url"},"type":"statement","id":"Q4594232$9FB65281-31C8-4ECE-A408-06C68FA7A550","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e38c23c41c550d01612518c52a216b688bea8375","datavalue":{"value":"W1605324791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594232$A46AFF12-B3D0-4E97-98A3-2B46F7F609DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e16ea31fc7095481288ec58b7b46315e0644820","datavalue":{"value":{"entity-type":"item","numeric-id":5055866,"id":"Q5055866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2acf7aaa1f1dfb4169642d29dfd33c535b2bbd49","datavalue":{"value":{"amount":"+0.9094192981719972","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":"Q4594232$CB7C553C-D3EA-4982-9E0A-2CF9041A9833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c26c7a9ed2151b60f7622ce24d2ac4e1eb1974","datavalue":{"value":{"entity-type":"item","numeric-id":1275021,"id":"Q1275021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ff254a39c35910d4db4b2573e88387ab28f543","datavalue":{"value":{"amount":"+0.9078301191329956","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":"Q4594232$E831BFA8-CF69-40E3-B19D-A57EB8A08B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d73fc7f53fa052605ebfbce06c6385f0ac212f","datavalue":{"value":{"entity-type":"item","numeric-id":1854538,"id":"Q1854538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb02efe748fc6598c499613fafef677e17d79bea","datavalue":{"value":{"amount":"+0.8697211742401123","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":"Q4594232$40DE4ABC-862A-406B-8A7E-C72BD53F1D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c1811bce0d61e1666e35f29a2a12d53fc691c5","datavalue":{"value":{"entity-type":"item","numeric-id":1764424,"id":"Q1764424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0e6149c238ec5002ec397b4e0f575b1cfc71a5","datavalue":{"value":{"amount":"+0.8311383724212646","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":"Q4594232$96472B45-1A32-4A1F-A459-F0E093E051A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee06c78db2eaf7c3ea3bed7c34b921a6fa749a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4737205,"id":"Q4737205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062eb4443bf67bd13e6d1debd969b0dbafb06838","datavalue":{"value":{"amount":"+0.8149114847183228","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":"Q4594232$76041794-0087-4835-B6A4-A6E1390186F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594232"}}}}}