{"entities":{"Q3636833":{"pageid":5666739,"ns":120,"title":"Item:Q3636833","lastrevid":50694593,"modified":"2026-01-14T20:15:11Z","type":"item","id":"Q3636833","labels":{"en":{"language":"en","value":"The $\\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571855"}},"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":"Q3636833$2E6A1107-89AC-421F-822A-4E2239AE6574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7a98669ab42466b559289c48e704bb47bf7bbf9","datavalue":{"value":{"text":"The $\\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636833$85A9C840-3AFD-40A4-900F-4BA499A7AFCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a445f4e4becf77efdd4f5147f52de0c695bb174","datavalue":{"value":"1242.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636833$C87FCB6D-7CE1-42CF-9199-281A410CD9F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f9ee31348e155d2c355126434905a1848274780","datavalue":{"value":"10.1007/978-3-642-02348-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636833$E8C7FE5D-1771-4775-9B4C-8ABA83C98CAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$2EE13461-4BFC-4BD4-BB63-62AC778C2DFE","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":"Q3636833$96252A5B-F8FF-4913-8E77-037EEB1FD376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636833$6EE25F8B-258D-4DBA-930E-8919EB96CC03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636833$BC582837-5E74-42BD-873C-7471E8C2608A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636833$0A656D04-D633-4D2C-B453-8CE8A6C44FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0650ced7dacc0c52f15f463c86614d676e79beb7","datavalue":{"value":"5571855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636833$A89414F2-BDF7-4FDB-BB6C-B222BA4DBAAC","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":"Q3636833$70BB8702-0E54-4392-BF39-1441702D5285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd574f01bd095d23d62b2229512fdf13c2a8bbe4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02348-4_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636833$8754C2E3-F6C1-46E9-B060-7522B70412CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91eb3333e859a47411e2f23d876b1b583fa7e5a0","datavalue":{"value":"W1505655634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636833$2B72EB1F-9E00-4A54-8FD7-AA45B07FEC6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$32C01B9E-470B-4E52-A36B-701105700966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$0E29C87D-DBCA-4AB1-8134-6028E3D9C7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9535579de0a4982c9dc44ac0013ae83ec7474451","datavalue":{"value":{"entity-type":"item","numeric-id":2566066,"id":"Q2566066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$9E1635F0-F105-476E-819E-8F5296C1A6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$5B11AA0B-B2B0-4A2E-A4A3-9546BD1A02B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8556801d8d11c135149e743b011c2a995900adc","datavalue":{"value":{"entity-type":"item","numeric-id":5505544,"id":"Q5505544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$BFFC0970-34A9-410A-8169-99CFC640B925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e8427330070ad8cac76bb7e080b63f888dac29","datavalue":{"value":{"entity-type":"item","numeric-id":5444967,"id":"Q5444967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$C4D9F768-447B-483B-82F0-1B11AD496E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a488dfc1f4b2227eec634f19254790ea77c725d","datavalue":{"value":{"entity-type":"item","numeric-id":5622171,"id":"Q5622171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$84CE84A2-BE26-49AF-A761-D17DA05F9F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$36CA9FBB-2646-4D90-B191-9A0501F3F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf583aa3f302c811845d24da25af7f89bbfd4dad","datavalue":{"value":{"entity-type":"item","numeric-id":5501465,"id":"Q5501465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$B4C1B48C-F9F2-4555-9B81-3748418B1A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636833$DE892E5A-3A37-4A06-B3E2-9FE0117E568E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2aed8a6405f5af514daf5f7e35798aa7448078","datavalue":{"value":{"entity-type":"item","numeric-id":627134,"id":"Q627134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d800afe667a83615de69da59f494c6c5f3450f7","datavalue":{"value":{"amount":"+0.8464797139167786","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":"Q3636833$9EA1BA27-5E6E-4FAA-99AA-B97AF339BADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21827a3dc87c99c55f72e37691772912d775e438","datavalue":{"value":{"entity-type":"item","numeric-id":3644753,"id":"Q3644753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f090ed1a9cbd7e9238c38e1cd212d8073ec61670","datavalue":{"value":{"amount":"+0.8181387782096863","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":"Q3636833$CB7D06D9-8317-4E65-9980-38D692B522FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154a232b6e6da0785d372cafefb44b0468f34d27","datavalue":{"value":{"entity-type":"item","numeric-id":5166638,"id":"Q5166638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0730b666327a4570fc53b4b2c8a2bea67704b2aa","datavalue":{"value":{"amount":"+0.8096833229064941","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":"Q3636833$443DED7A-F401-4504-9E92-15C4AFCE4A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be165794240ddb108b137053134492f2a7bcc123","datavalue":{"value":{"amount":"+0.8079595565795898","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":"Q3636833$6137D5E3-590A-427D-86BD-251A65739509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f97b92586490fd2c6f65c10ae1ecca3d11b792","datavalue":{"value":{"entity-type":"item","numeric-id":4362915,"id":"Q4362915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d0181359c8248fc7bdd86c39bb0dba48f46e13","datavalue":{"value":{"amount":"+0.7984206676483154","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":"Q3636833$AC89D8D4-52C6-4D53-900E-584B0B59D8E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636833"}}}}}