{"entities":{"Q1816732":{"pageid":1827474,"ns":120,"title":"Item:Q1816732","lastrevid":46461504,"modified":"2025-12-24T20:14:17Z","type":"item","id":"Q1816732","labels":{"en":{"language":"en","value":"Multi-prover encoding schemes and three-prover proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 950751"}},"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":"Q1816732$78F27196-242F-40A0-911D-EF55EFD220C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53196f25ff4a2c975865630f5176de859021da76","datavalue":{"value":{"text":"Multi-prover encoding schemes and three-prover proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816732$45D5E96B-E24E-4FB7-9E8D-7E8C6FE56789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f7d619470ed8eb0537f2e36a6a00f9669656cfd","datavalue":{"value":"0861.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816732$D2F80CF4-D276-4069-AFC4-7291790FA0C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb4a17abdcf37f7572da8c995af52b66fc8d692","datavalue":{"value":{"entity-type":"item","numeric-id":168595,"id":"Q168595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816732$6E3D6877-945D-4ABF-9E1C-EBE4D903C1CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816732$B43A321B-DC8D-4E04-9FF7-2526923C8D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce816dc68f6ebcb23cff1815343bdf8cdb41cc89","datavalue":{"value":{"time":"+1997-05-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":"Q1816732$ABC1F454-5452-4F5B-92C8-BFCAB6AEEC2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37e680cdedcf7e33c2f5284f97f374414d6eb1f3","datavalue":{"value":"https://semanticscholar.org/paper/9df89975850bfe3f859dfb06a97a83ef6807b6e3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1816732$50F5B8D0-2890-4D9C-A5F9-D61D3469481C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816732$BEF331DD-2B39-4DDB-958B-511D22CCBA98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5e57dbf2160bebaabba3fc0a22a31e9f263571f","datavalue":{"value":"950751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816732$932CD2E8-C265-4F04-A011-EA88B6E7302A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deac5aa964f47cda6935e7d10d20bdc331ef28f9","datavalue":{"value":"multi-prover encoding schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816732$A01402EB-03EC-44A9-A024-A0E662CC6C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562a76038cea78a9ac597972f4de841382248123","datavalue":{"value":"parallel repetition conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816732$01EAE8AC-04DE-4BDE-A1DD-2E97706B5681","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":"Q1816732$D73F2857-C177-44CD-8A9F-DEBE04F2FA67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eb858d1401407062ea780f9f54ee9d25ba36e32","datavalue":{"value":"W2136037917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816732$1457D450-3107-43DF-88CC-C4FB1CBFC8F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2df94e5cf582b4f88b87815c99be6e7264d7b5b","datavalue":{"value":"10.1006/JCSS.1996.0066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816732$EE228056-A3B2-4C2E-BD94-A01957E9B21C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c87d7511b811ce88027d34ab476b12ff014f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1341733,"id":"Q1341733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b56062c6270e99096d79dc2510e5eba9ac010e","datavalue":{"value":{"amount":"+0.8179770708084106","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":"Q1816732$DDC4E8EF-CFF1-4CBE-AE25-42DA91E2ED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f13aee1b1b9049f646536e2fe35347157cb09d","datavalue":{"value":{"entity-type":"item","numeric-id":4281691,"id":"Q4281691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78943aeee5d844f4ce49e69006232b3a1047e742","datavalue":{"value":{"amount":"+0.8124613761901855","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":"Q1816732$B7AC03D9-FC6E-4C29-86E1-4A18754DAA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc3a4dd151406c9b814a1656e693d6353d838a8","datavalue":{"value":{"entity-type":"item","numeric-id":2817609,"id":"Q2817609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a5a97b20f3e3226123a448b6bd9064b837f7c4","datavalue":{"value":{"amount":"+0.8006138205528259","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":"Q1816732$77CB21F7-6DB2-4D2B-9C90-DC811E02B767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1816732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1816732"}}}}}