{"entities":{"Q1791165":{"pageid":1801907,"ns":120,"title":"Item:Q1791165","lastrevid":72966453,"modified":"2026-04-14T09:04:35Z","type":"item","id":"Q1791165","labels":{"en":{"language":"en","value":"Verification of PCP-related computational reductions in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946984"}},"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":"Q1791165$928B2DCA-DDC5-4A7E-A2D6-BAF4ED70AC51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca7e7304bc0f1a986be8130765a213708db22f64","datavalue":{"value":{"text":"Verification of PCP-related computational reductions in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791165$68B7FCC8-DE53-4D6A-8885-C984B4536E25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36f48b46962f80565bc604a3aac611e427e8e01a","datavalue":{"value":"10.1007/978-3-319-94821-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791165$428C4E13-E83A-4714-AD2D-3A92A30AB507","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e7e54e22918a5af75f6588d5e6c4a6d7874c28","datavalue":{"value":{"entity-type":"item","numeric-id":1687734,"id":"Q1687734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791165$D126A5B5-BA85-4F80-9A73-1EF5B88C98BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44837076b8d3c871bc239384798d7f8de8a00ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1791164,"id":"Q1791164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791165$7B3A14F4-D1CD-456F-84FB-49C78D1CA0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791165$677262B7-B08C-4436-BAE2-D7B78FDA17DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791165$3CBEFCF0-6C58-433E-A686-9D63F616E07E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e095e123e47a55e985984796037752c810e90239","datavalue":{"value":"https://arxiv.org/abs/1711.07023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791165$3D29F2E8-2E59-42A0-8A93-585226B5FF03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791165$C0DD6FBA-5F30-4610-A2AB-62DEDC8067AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791165$AE48338E-6760-473E-9917-DD9257FBFF16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e16f68a45d96109fac340460af3b0055ba50fde7","datavalue":{"value":"6946984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791165$1FD981A6-5C08-4A96-8487-7560F41B92CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791165$C0D13975-4EA3-4533-8AA4-ED44AAB4978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791165$98BB22D5-21C8-49C7-97D1-55F8F7F4C59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791165$31D4DEBB-8E29-440E-BC3F-074EF40DFA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1581ce9800a3b93e819c4ace556ef49ac26ef003","datavalue":{"value":"computational reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791165$28F05F06-5C95-4A9D-ADA9-0BCE46C641B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791165$30287D0E-D1F9-436C-BD0D-359C030D0F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791165$EC79098B-8E0B-4217-8026-0F43CF1D750D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791165$E8946A62-9792-48C9-9FED-AEC5DD91A195","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":"Q1791165$EF1E1105-FEAB-4C76-85F7-0AA75217B112","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bb0801663375aa0c773d634d59da12185c89233","datavalue":{"value":"W2769209754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791165$096F58FD-F8EE-42A4-994C-1E8C2FDDE46E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36258116623966e4f90ed7ba6a441e7310ba87bc","datavalue":{"value":{"entity-type":"item","numeric-id":2152300,"id":"Q2152300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7d2fce96d67ed3986743c7ca6d37d8dab9c062","datavalue":{"value":{"amount":"+0.669418454170227","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":"Q1791165$711CF436-B5F9-4021-A64D-C9BCD8FB2BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0bcaf068507f31c1070aaacf73fbf8754edeba","datavalue":{"value":{"entity-type":"item","numeric-id":3086251,"id":"Q3086251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c56577ddebc3b3e4fab7ed8bdcc22c179e767ff","datavalue":{"value":{"amount":"+0.6688742637634277","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":"Q1791165$F646D0D0-1126-48E3-8C3B-FCDCB951DAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9c0cad21e522f68c5dbb1674293a997ec5823c","datavalue":{"value":{"entity-type":"item","numeric-id":5855841,"id":"Q5855841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270f56bfe037f6246534145b619fd6ce648ecb85","datavalue":{"value":{"amount":"+0.6678690910339355","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":"Q1791165$FD9E3EF8-A14B-4FAB-95DD-D014F0595BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c28a5a34431c10c887eb301147d1df2eec8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2729239,"id":"Q2729239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee645a3a8b495f3f1c0e598c8e4ddc0caf171f7","datavalue":{"value":{"amount":"+0.6673478484153748","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":"Q1791165$69918E15-DD1F-4D36-8AE7-A4654D8F9A4A","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":"0ab61d777b172ad76be39f27bb812a909de83eaa","datavalue":{"value":{"amount":"+0.659306526184082","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":"Q1791165$4EA4DD40-8EC6-44FC-8672-09EE9B161299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of PCP-related computational reductions in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_PCP-related_computational_reductions_in_Coq"}}}}}