{"entities":{"Q5495852":{"pageid":7525412,"ns":120,"title":"Item:Q5495852","lastrevid":52059452,"modified":"2026-01-20T20:46:00Z","type":"item","id":"Q5495852","labels":{"en":{"language":"en","value":"Some trade-off results for polynomial calculus (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327016"}},"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":"Q5495852$5E195D02-43B6-4453-9620-4E7A010D3530","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75a29f12798c8b5e1af6f81cad7fa7b8ce4826d9","datavalue":{"value":{"text":"Some trade-off results for polynomial calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495852$09F180F7-55B3-46C0-91D0-EDE5ED7AC172","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"365f01419a70f5f7bae416f4d4c3dbf1384d159f","datavalue":{"value":"1293.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495852$D6F82158-2CB3-4ACF-AF21-29CEF0009CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"043762b9c24373afaabb8a3a89ad74a2794aa628","datavalue":{"value":"10.1145/2488608.2488711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495852$BB83BA88-D0A9-4264-8D32-0FFADFD1FB7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff3c506b464b7cf7771c813e7be5802adf11614a","datavalue":{"value":{"entity-type":"item","numeric-id":2817795,"id":"Q2817795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495852$BA9F0C3D-871D-454B-AB9F-B34A9FCF0479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ade4990ab7a79bdd900e48d3fab8c751fcf8949","datavalue":{"value":{"entity-type":"item","numeric-id":989568,"id":"Q989568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495852$F1D09CBF-72DB-4F18-A215-E4E3B3559A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5575411c19a6c8624a4fb6e628341a5c88aeaafd","datavalue":{"value":{"entity-type":"item","numeric-id":2637285,"id":"Q2637285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495852$159E7634-CF45-4434-ACE3-FAA3F88F5AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495852$6E738738-A4A7-48B3-A3FA-96C060786596","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495852$49BAC325-32BC-44D0-8271-176E57E0E80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495852$4A1F6F9F-BF91-43A6-AC93-9CB3B88D838C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ccf7371809e883a80dc8dee5fc9befc8a13df86","datavalue":{"value":"6327016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495852$C363F50D-E643-44C7-B700-9A8C93743064","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97a2f7b1e26aba7985a63cca47df55e4508bdd8","datavalue":{"value":"PCR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$7EBBBE37-5227-4665-8391-2E3DF53EC9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"308cf63ea8c077f8633f0af8aef370fde0dd7b99","datavalue":{"value":"degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$E8DB96D2-67C8-42B0-B2D3-2A2DA5005B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4d2fd9d3aba13427b19742e855926a12038048","datavalue":{"value":"pebble games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$8A6B69B3-6C88-4B25-A23F-940A51BFFDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca44df0ff8ddc53421c3b1f861f5f40d6ca54f94","datavalue":{"value":"pebbling formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$14CE9D92-6304-40C1-A51D-FE2327282244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$C0F4F89D-4901-4E77-AD0E-8DEB7E1839A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$8DE54551-FEAC-4CF5-81D6-1BD9965AED27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$AD073EF4-67D4-4055-9FE1-167C3DD402AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184549fba51ad87148b4352e5fbc245d48ad5011","datavalue":{"value":"size-space trade-offs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$B9A24DF4-B3C4-4DA2-99B4-692088D036C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495852$A65C9655-F0B2-4FCA-8ADC-DBB1038AFBDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af9f80e527ec777308252c7863176bcae5262c53","datavalue":{"value":{"entity-type":"item","numeric-id":13477,"id":"Q13477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495852$BC7987BC-3C33-495D-B7D7-411CBBC3BCE1","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":"Q5495852$A00B1996-6BF7-470F-8CD9-4F7E140F7558","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ccaab8cb0f657e7c73e93feb470e811da08199a","datavalue":{"value":"https://doi.org/10.1145/2488608.2488711","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495852$FB086B09-9BD7-43E0-9ADE-16ACA7B395D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c810263f31478a15a8cfa48ee0e180cdea9d739","datavalue":{"value":"W2134253979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495852$7A0B173A-9315-438B-BC45-22DF0DE58E7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38c7209c99d8d20a2d820b43521862d39695f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5361813,"id":"Q5361813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495852$9553B900-82A5-4C1D-9BD7-16ABD222A829","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf59ad3fdfcc433db477addd67277c9ce5f58ea","datavalue":{"value":{"entity-type":"item","numeric-id":2946621,"id":"Q2946621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76aad6d5a9a2b3725bd024b3da868a0f9b716e03","datavalue":{"value":{"amount":"+0.8487940430641174","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":"Q5495852$2176C1F6-EAA2-47E0-8E5B-5428C1AB6B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97afecf8a6fd088b7de2ee63de752be7c0b6ae0f","datavalue":{"value":{"entity-type":"item","numeric-id":2944568,"id":"Q2944568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a4b611e33003d23d5db1594e970ae8df1c0f63","datavalue":{"value":{"amount":"+0.8220617175102234","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":"Q5495852$07CE3E21-8F7A-44E8-AB63-9F15661608B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c41e77da8546870df37bf2b0e6927e7c9bfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5326581,"id":"Q5326581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33cb91bbeabf4529f9232b541f164d1e9fdd52d6","datavalue":{"value":{"amount":"+0.798275351524353","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":"Q5495852$ADB463EA-DC5B-47E2-BFA6-CD6C7472C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a99b2168dd8c9604fc3f70ef4a7f9e43cf94ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b1244ea55b764399b83dbdb6b573a0f643b4fb","datavalue":{"value":{"amount":"+0.78900146484375","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":"Q5495852$385C13D7-3FBE-4490-927E-97F8146AC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4081d2a0215b083c4262ab1d473dfcd8460929cd","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689687e793f37f9cf8298a0a63c098527b9470ea","datavalue":{"value":{"amount":"+0.7821597456932068","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":"Q5495852$60E35BAC-5813-4451-844D-44371BFF8DF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495852"}}}}}