{"entities":{"Q378203":{"pageid":379970,"ns":120,"title":"Item:Q378203","lastrevid":61425513,"modified":"2026-04-10T23:17:13Z","type":"item","id":"Q378203","labels":{"en":{"language":"en","value":"New proof for the undecidability of the circular PCP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6225261"}},"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":"Q378203$E0148938-B40C-4CC5-BFB4-A048F7A5E2D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05d75b4233a4aeffd6ebab5bc0fc88ced6188647","datavalue":{"value":{"text":"New proof for the undecidability of the circular PCP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q378203$B3A2A537-A183-4600-99E4-4A10A499865E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"473fd78362463c151b0f0e3902562b31b811d43e","datavalue":{"value":"1359.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378203$332EB9AD-7A3B-46AD-BEB3-2B129A52B3F1","rank":"normal"}],"P16":[{"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":"Q378203$48B5251B-470C-4DDC-B9F9-15FCFF5F9B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$7F4DE56D-767C-47D2-96F7-18F929588771","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$688106D2-BF98-46B6-A0FA-8BFD6AD63CAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da4a2887762bfc0135842b48e115e887ee73eaa","datavalue":{"value":{"time":"+2013-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q378203$A247ADB8-98E8-4203-AC14-348E3D90065C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378203$0C72F4A6-A32C-4FAA-AC46-5E53B8990612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378203$990C7FBE-BD6C-4E33-963A-91F013B39F22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38c9e6cf954022ff45431198101b941b50588c45","datavalue":{"value":"6225261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378203$D9F5C865-2A08-4A47-AA6F-B5D868ECFA09","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":"Q378203$AE128896-5A00-40F6-B649-60A180A2D695","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ccfd4b2e99dc9f423fe581e999f10b69db041ec","datavalue":{"value":"https://doi.org/10.1007/s00236-013-0183-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q378203$BF69C8CE-BD68-4DAB-ACA3-4A8C2607A332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9968da4216e7e72e5207c3a28cc5ef80a54f164f","datavalue":{"value":"W2088935605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378203$E57CD132-0573-4240-8882-12D819DBCC61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4418d0aa23bb89e943024665e5bf40044d577a","datavalue":{"value":{"entity-type":"item","numeric-id":2247995,"id":"Q2247995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$5365E1B0-E106-41D4-90D6-5912774E3BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c5cfb3d178d43826ee569fdac066339db3f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":5414545,"id":"Q5414545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$2D8C4652-1AD6-4575-A974-FBB6CBEB7277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac892d27a03563e9b14e13872e570d1bd56d99d","datavalue":{"value":{"entity-type":"item","numeric-id":5586335,"id":"Q5586335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$1F0E9252-855C-4088-9E67-DCAB3B564CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a169be5edf58519a52a3686eab210593766babd","datavalue":{"value":{"entity-type":"item","numeric-id":5786283,"id":"Q5786283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$B16A0BE2-B918-49BE-A721-55F624994CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0b8a5888a26501f99b9921effa60fdaeffe2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1763707,"id":"Q1763707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$0B7CC306-5D50-49D4-BA31-AFE6D8C608C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$BF32C36E-AEEC-43AF-8072-8DEA290CA579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$EC5080B0-1B5A-45C1-A241-97568505E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31570aef269799d433b4eee3cebf43b1b15c053","datavalue":{"value":{"entity-type":"item","numeric-id":792770,"id":"Q792770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$DDEA3B0A-3BBD-4DFD-97F8-874C961D578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ef6793a6bca14ceb02ba7d1c63fc8a26092bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3741057,"id":"Q3741057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q378203$5391B7E9-D5B6-4387-9247-6090133E8480","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d68acafd7c39e0808980ac07c9320be396bba792","datavalue":{"value":"10.1007/S00236-013-0183-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q378203$F9E4AE87-0511-4524-90A2-1D53EA079D6B","rank":"normal"}],"P1643":[{"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":"c287bdcd7cd1021ee9e2e7c3f16aec092095557d","datavalue":{"value":{"amount":"+0.857319712638855","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":"Q378203$D2E9FF4B-A3F5-4F57-8084-305B31AED06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be5b5b1cd225482704d45c93b83519c103b4910","datavalue":{"value":{"entity-type":"item","numeric-id":496055,"id":"Q496055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e000b158e86d1fc8df81d9ffd268986e005bade2","datavalue":{"value":{"amount":"+0.8472258448600769","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":"Q378203$90E2C466-441D-40D0-A644-7DC31ED34F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271691eb42baca8a53e27ecc66c74d6674a58096","datavalue":{"value":{"entity-type":"item","numeric-id":792770,"id":"Q792770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9491da5e3cf12ad6397ac72146a835807a162344","datavalue":{"value":{"amount":"+0.8227167129516602","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":"Q378203$008BCB6E-AC25-4A6B-900D-19884B389E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fddbfc8ff36c00343cd853ea77407a88fa92226","datavalue":{"value":{"entity-type":"item","numeric-id":4729772,"id":"Q4729772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac21380977a9933b3b4191ad82ed703180de4213","datavalue":{"value":{"amount":"+0.8205539584159851","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":"Q378203$00B6977A-3E36-43D5-ACB8-0736BFAA5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6880021429e8662860ea98ddfe00404eae122","datavalue":{"value":{"entity-type":"item","numeric-id":1605309,"id":"Q1605309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c3b959750cdc67cd76b7457f88a5bd2fdb8658","datavalue":{"value":{"amount":"+0.7878347039222717","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":"Q378203$F35F96B8-12D9-4739-BB04-10357E48421D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New proof for the undecidability of the circular PCP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_proof_for_the_undecidability_of_the_circular_PCP"}}}}}